Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings