Personal Info about Alexandru Mereacre

Postdoctoral researcher at University of Oxford


Lecture Notes


Publication slides


Teaching


Publications

2013
 
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, and Alessandro Abate. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems. In Hybrid Systems: Computation and Control (HSCC). pages 293–303. ACM, 2013.

2011
 
Alessandro Abate, Joost-Pieter Katoen, and Alexandru Mereacre. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems. In 14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). pages 83–92. ACM Press, 2011.
 
Benoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Efficient CTMC Model Checking of Linear Real-Time Objectives. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pages 128–142. Volume 6605 of LNCS. 2011.
 
Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science, 7(1-2):1–34, 2011.
 
Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Observing Continuous-Time MDPs by 1-Clock Timed Automata. In Workshop on Reachability Problems (RP). pages 2–25. Volume 6945 of LNCS. Springer-Verlag, 2011.
 
Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Reachability probabilities in Markovian Timed Automata. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). pages 7075–7080. IEEE, 2011.
 
Alexandru Mereacre. Verification of Continuous-Space Stochastic Systems. PhD Thesis, RWTH Aachen University, 2011.

2010
 
Benoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Efficient CTMC Model Checking of Linear Real-Time Objectives. Technical Report , RWTH Aachen University, 2010.
 
Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Computing Maximum Reachability Probabilities in Markovian Timed Automata. Technical Report AIB-2010-06, Computer Science Department, RWTH Aachen University, 2010.
 
Marijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, and Joost-Pieter Katoen. Computing Optimal Schedules for Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6(3):276–286, 2010.

2009
  Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Quantitative model checking of continuous-time Markov chains against timed automata specifications. Technical Report AIB-2009-02, RWTH Aachen University, 2009.
 
Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. In IEEE Symposium on Logic in Computer Science (LICS). IEEE CS Press, 2009.
 
Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains. In 7th International Symposium on Automated Technology for Verification and Analysis (ATVA’09). pages 104–119. Volume 5799 of LNCS. 2009.

2008
 
Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains. In Hybrid Systems: Computation and Control (HSCC). pages 244–258. Volume 4981 of LNCS. Springer Verlag, 2008.
 
Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability. In Proceedings of IEEE Real-Time Systems Symposium (RTSS). pages 173–182. IEEE CS Press, 2008.
 
Joost-Pieter Katoen, and Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains. In Formal Modeling and Analysis of Timed Systems (FORMATS). pages 203–217. Volume 5215 of LNCS. Springer-Verlag, 2008.

2007
 
Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. Technical Report AIB-2007-21, RWTH Aachen, 2007.