| No. |
Title |
Author |
Year |
| 1 |
An omega-Algebra for Real-Time Energy Problems |
Cachera, David et al. |
2015 |
| 2 |
Partial Higher-dimensional Automata |
Fahrenberg, Uli et al. |
2015 |
| 3 |
Information Leakage of Non-Terminating Processes |
Biondi, Fabrizio et al. |
2014 |
| 4 |
Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) |
Droste, Manfred et al. |
2014 |
| 5 |
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091) |
Borba, Paulo et al. |
2013 |
| 6 |
The Quantitative Linear-Time--Branching-Time Spectrum |
Fahrenberg, Uli et al. |
2011 |
| 7 |
On Timed Alternating Simulation for Concurrent Timed Games |
Bozzelli, Laura et al. |
2009 |
| 8 |
An Introduction to the Tool Ticc |
Legay, Axel et al. |
2006 |
