Alexandru Mereacre

E-Mail:

mereacre-at-cs.rwth-aachen.de

Phone:

+49-241/80-21206

Fax:

+49-241/80-22217

Postal Address:

Alexandru Mereacre

Lehrstuhl für Informatik II

RWTH Aachen

D-52056 Aachen

Germany

Visiting Address:

Room 4203

Ahornstraße 55

D-52074 Aachen

Time-Inhomogeneous Markov Chains
Piecewise Deterministic Markov Processes
Stochastic Model Checking
State-space minimization techniques

Transition probabilities for Inhomogeneous Continuous Time Markov Chains

Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains

Exercises for Semantics and Verification of Software (2008-2009)
Exercises for Advanced Model Checking (2009)
Exercises for Foundations of the UML (2009-2010)

		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.

		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.
		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.
		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.

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.

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)