Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings Legay Axel Heftet / 2013 / Engelsk
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers Bensalem Saddek Heftet / 2009 / Engelsk
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings Bensalem Saddek Heftet / 2014 / Engelsk
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings Atig, Mohamed Faouzi Heftet / 2018 / Engelsk
