Publications
136 Entries
2012
-
Model checking probabilistic systems against pushdown specifications , 2012, In: Information processing letters : devoted to the rapid publication of short contributions to information processing. 112, 8-9, p. 320-328, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Probabilistic omega-automata , 2012, In: Journal of the ACM. 59, 1, p. 1-52Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Rare-event verification for stochastic hybrid systems , 2012, HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. Dang, T. & Mitchell, I. M. (eds.). Association for Computing Machinery (ACM), New York, p. 217-226, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Stochastic Game Logic , 2012, In: Acta Informatica. 49, 4, p. 203-224, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Waiting for locks: How long does it usually take? , 2012, Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. Stoelinga, M. & Pinger, R. (eds.). Springer, Berlin [u. a.], p. 47-62, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2008
-
Principles of Model Checking , 2008, Neuerscheinung ed., Cambridge, 975 p.Research output: Book/Report/Anthology > Monograph