| No. |
Title |
Author |
Year |
| 1 |
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal |
Feng, Lu et al. |
2014 |
| 2 |
Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) |
Feiler, Peter et al. |
2012 |
| 3 |
10451 Abstracts Collection -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems |
Havelund, Klaus et al. |
2011 |
| 4 |
10451 Executive Summary -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems |
Havelund, Klaus et al. |
2011 |
| 5 |
07011 Abstracts Collection -- Runtime Verification |
Finkbeiner, Bernd et al. |
2008 |
| 6 |
07011 Executive Summary -- Runtime Verification |
Finkbeiner, Bernd et al. |
2008 |
| 7 |
Runtime Verification for Wireless Sensor Network Applications |
Sokolsky, Oleg et al. |
2008 |
| 8 |
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification |
Batt, Gregory et al. |
2006 |
