| No. |
Title |
Author |
Year |
| 1 |
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432) |
Gleirscher, Mario et al. |
2020 |
| 2 |
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462) |
Havelund, Klaus et al. |
2018 |
| 3 |
Model-Checking Counting Temporal Logics on Flat Structures |
Decker, Normann et al. |
2017 |
| 4 |
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices |
Kühn, Franziska et al. |
2014 |
| 5 |
10451 Abstracts Collection -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems |
Havelund, Klaus et al. |
2011 |
| 6 |
10451 Executive Summary -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems |
Havelund, Klaus et al. |
2011 |
| 7 |
08332 Abstracts Collection -- Distributed Verification and Grid Computing |
Bal, Henri E. et al. |
2008 |
| 8 |
08332 Executive Summary -- Distributed Verification and Grid Computing |
Bal, Henri E. et al. |
2008 |
