EPTCS 57 - QAPL 2011
Mieke Massink, Gethin Norman (Eds.): Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. 2011 EPTCS 57 [ contents ]- Aleksander Andreychenko, Pepijn Crouzen, Verena Wolf: On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models. ... 1
- Florian Leitner-Fischer, Stefan Leue: QuantUM: Quantitative Safety Analysis of UML Models. ... 16-30
- Michal Rutkowski: Two-Player Reachability-Price Games on Single-Clock Timed Automata. ... 31-46
- Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Real-Reward Testing for Probabilistic Processes (Extended Abstract). ... 61-73
- Joseph Assouramou, Josée Desharnais: Analysis of Non-Linear Probabilistic Hybrid Systems. ... 104-119
- Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen: Distances for Weighted Transition Systems: Games and Properties. ... 134-147
- Mathieu Tracol, Josée Desharnais, Abir Zhioua: Computing Distances between Probabilistic Automata. ... 148-162
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team