Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(8)
Joost-Pieter Katoen
9
Tingting Han
6
Taolue Chen
4
Boudewijn Haverkort
1
Alessandro Abate
1
Conferences
(7)
LICS
1
RTSS
1
TACAS
1
Dagstuhl Seminars
1
Hybrid Systems
1
Journals
(2)
CORR
1
IEEE Transactions on Industrial Informatics
1
Keywords
(33)
Embed
Subscribe
Academic
Authors
Alexandru Mereacre
Edit
Alexandru Mereacre
Rheinisch Westfalische Technische Hochschule Aachen
Publications: 10
|
Citations: 27
|
G-Index: 5
|
H-Index: 3
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Real-Time & Embedded Systems
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
8 co-authors
from 2008 to 2011
; Cited by
50 authors
Bing
Cumulative
Annual
Order by:
Publications
(10)
BibTeX
|
RIS
|
RefWorks
Download
Quantitative automata model checking of autonomous stochastic hybrid systems
(
Citations: 1
)
Alessandro Abate
,
Joost-Pieter Katoen
,
Alexandru Mereacre
Published in 2011.
Efficient CTMC Model Checking of Linear Real-Time Objectives
Benoît Barbot
,
Taolue Chen
,
Tingting Han
,
Joost-Pieter Katoen
,
Alexandru Mereacre
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 128-142, 2011
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen
,
Tingting Han
,
Joost-Pieter Katoen
,
Alexandru Mereacre
Journal:
Computing Research Repository - CORR
, vol. abs/1101.3, 2011
Computing Optimal Schedules for battery Usage in Embedded Systems
(
Citations: 2
)
Marijn R. Jongerden
,
Alexandru Mereacre
,
Henrik C. Bohnenkamp
,
Boudewijn R. Haverkort
,
Joost-Pieter Katoen
Journal:
IEEE Transactions on Industrial Informatics
, vol. 5, no. 3, pp. 276-286, 2010
Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes
Alexandru Mereacre
Conference:
Dagstuhl Seminars
, 2010
Order by:
Citations
(27 times by 26 publications)
Model Repair for Probabilistic Systems
(
Citations: 1
)
Ezio Bartocci
,
Radu Grosu
,
Panagiotis Katsaros
,
C. R. Ramakrishnan
,
Scott A. Smolka
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 326-340, 2011
Measuring performance of continuous-time stochastic processes using timed automata
Tomás Brázdil
,
Krÿcal Jan
,
Jan Kretínský
,
Antonín Kucera
,
Vojtech Řehák
Journal:
Computing Research Repository - CORR
, vol. abs/1101.4, pp. 33-42, 2011
Fluid Queue Models of Battery Life
Gareth L. Jones
,
Peter G. Harrison
,
Uli Harder
,
Tony Field
Conference:
Modeling, Analysis, and Simulation On Computer and Telecommunication Systems - MASCOTS
, pp. 278-285, 2011
Automata-Based CSL Model Checking
Lijun Zhang
,
David N. Jansen
,
Flemming Nielson
,
Holger Hermanns
Journal:
Computing Research Repository - CORR
, vol. abs/1104.4, 2011
Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems
Sadegh Esmaeil Zadeh Soudjani
,
Alessandro Abate
Conference:
Quantitative Evaluation of Systems - QEST
, 2011
Comments