Personal Info about Alexandru Mereacre

Postdoctoral researcher at University of Oxford


Lecture Notes


Publication slides


Teaching


Publications

2013
LinkIlya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems. Hybrid Systems: Computation and Control (HSCC), pages 293–303, 2013.
2011
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science, Volume 7, pages 1–34, 2011.
DownloadBenoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Efficient CTMC Model Checking of Linear Real-Time Objectives. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6605 of LNCS, pages 128–142, 2011.
DownloadAlessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems. 14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pages 83–92, 2011.
DownloadAlexandru Mereacre. Verification of Continuous-Space Stochastic Systems. Phd Thesis at RWTH Aachen University, 2011.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Observing Continuous-Time MDPs by 1-Clock Timed Automata. Workshop on Reachability Problems (RP), Volume 6945 of LNCS, pages 2–25, 2011.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Reachability probabilities in Markovian Timed Automata. Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), pages 7075–7080, 2011.
2010
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Computing Maximum Reachability Probabilities in Markovian Timed Automata. Technical report at Computer Science Department, RWTH Aachen University number AIB-2010-06, 2010.
DownloadMarijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen. Computing Optimal Schedules for Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, Volume 6, pages 276–286, 2010.
DownloadBenoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Efficient CTMC Model Checking of Linear Real-Time Objectives. Technical report at RWTH Aachen University number , 2010.
2009
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative model checking of continuous-time Markov chains against timed automata specifications. Technical report at RWTH Aachen University number AIB-2009-02, 2009.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. IEEE Symposium on Logic in Computer Science (LICS), 2009.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Volume 5799 of LNCS, pages 104–119, 2009.
Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Talk at ULB, Brussels, Belgium, 2009.
Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Talk at AlgoSyn seminar, Aachen, Germany, 2009.
Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Talk at LICS, LA, USA, 2009.
Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability. Talk at Dagstuhl, Germany, 2009.
Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains. Talk at TUD, Dortmund, Germany, 2009.
2008
DownloadTingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains. Hybrid Systems: Computation and Control (HSCC), Volume 4981 of LNCS, pages 244–258, 2008.
DownloadJoost-Pieter Katoen, Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains. Formal Modeling and Analysis of Timed Systems (FORMATS), Volume 5215 of LNCS, pages 203–217, 2008.
Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains. Talk at AlgoSyn Seminar, 2008.
Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains. Talk at FORMATS'08, 2008.
DownloadTingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability. Proceedings of IEEE Real-Time Systems Symposium (RTSS), pages 173–182, 2008.
2007
DownloadTingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. Technical report at RWTH Aachen number AIB-2007-21, 2007.
Alexandru Mereacre. Modeling and Verification of Time-Inhomogeneous Markov Chains. Master Thesis at RWTH Aachen/University of Trento, 2007.