Runtime Verification
4. RV 2013: Rennes, France
Axel Legay, Saddek Bensalem (Eds.): Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 8174 ISBN 978-3-642-40786-4 [ contents ]
3. RV 2012: Istanbul, Turkey
- Shaz Qadeer, Serdar Tasiran (Eds.): Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Springer 2013 Lecture Notes in Computer Science 7687 ISBN 978-3-642-35631-5 [ contents ]
2. RV 2011: San Francisco, CA, USA
- Sarfraz Khurshid, Koushik Sen (Eds.): Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 7186 ISBN 978-3-642-29859-2 [ contents ]
1[0]. RV 2010: St. Julians, Malta
- Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (Eds.): Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6418 ISBN 978-3-642-16611-2 [ contents ]
9. RV 2009: Grenoble, France
- Saddek Bensalem, Doron Peled (Eds.): Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Springer 2009 Lecture Notes in Computer Science 5779 ISBN 978-3-642-04693-3 [ contents ]
8. RV 2008: Budapest, Hungary
- Martin Leucker (Ed.): Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Springer 2008 Lecture Notes in Computer Science 5289 ISBN 978-3-540-89246-5 [ contents ]
7. RV 2007: Vancover, BC, Canada
- Oleg Sokolsky, Serdar Tasiran (Eds.): Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers. Springer 2007 Lecture Notes in Computer Science 4839 ISBN 978-3-540-77394-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team