| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Adaptable Value-Set Analysis for Low-Level Code | Brauer, Jörg et al. | 2012 |
| 2 | Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas | Cardelli, Luca et al. | 2011 |
| 3 | 10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis | Baier, Christel et al. | 2010 |
| 4 | 10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis | Baier, Christel et al. | 2010 |
| 5 | METAMOC: Modular Execution Time Analysis using Model Checking | Dalsgaard, Andreas E. et al. | 2010 |
| 6 | A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic | Larsen, Kim G. et al. | 2009 |
| 7 | Priced Timed Automata: Theory and Tools | Larsen, Kim G. | 2009 |
| 8 | Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work | Larsen, Kim G. et al. | 2005 |
| Number of result pages: | 1 |
| Number of documents: | 8 |
