| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... Notes in Computer Science, Band 8415) | 978-3-642-54847-5 | 2014 | Yassine Lakhnech · Axel Legay |
| Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings | 978-3-642-40786-4 | 2013 | Axel Legay |
| Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers | 978-3-642-04693-3 | 2009 | Doron A. Peled |
| Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, ... Notes in Computer Science, Band 11181) | 978-3-030-00358-6 | 2018 | Mohamed Faouzi Atig · Simon Bliudze · Bruno Monsuez |