| No. |
Title |
Author |
Year |
| 1 |
Towards Concurrent Quantitative Separation Logic |
Fesefeldt, Ira et al. |
2022 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Rossmanith, Peter et al. |
2019 |
| 3 |
LIPIcs, Volume 138, MFCS'19, Complete Volume |
Rossmanith, Peter et al. |
2019 |
| 4 |
On the Complexity of Reachability in Parametric Markov Decision Processes |
Winkler, Tobias et al. |
2019 |
| 5 |
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121) |
Jansen, Nils et al. |
2018 |
| 6 |
Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181) |
Barthe, Gilles et al. |
2015 |
| 7 |
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) |
Cohen, Albert et al. |
2013 |
| 8 |
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems |
Fu, Hongfei et al. |
2011 |
| 9 |
07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems |
Haverkort, Boudewijn et al. |
2007 |
| 10 |
07101 Executive Summary -- Quantitative Aspects of Embedded Systems |
Haverkort, Boudewijn et al. |
2007 |
