Alexandru Mereacre

	2009
4		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA 2009: 104-119
3		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS 2009: 309-318
	2008
2		Joost-Pieter Katoen, Alexandru Mereacre: Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. FORMATS 2008: 203-217
1		Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC 2008: 244-258

Coauthor Index

1	Taolue Chen	[3] [4]
2	Tingting Han	[1] [3] [4]
3	Joost-Pieter Katoen	[1] [2] [3] [4]