Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings

439 Pages·2015·15.96 MB·English

by  Ezio Bartocci, Rupak Majumdar (eds.)

Ezio Bartocci
Rupak Majumdar (Eds.)
3
3
3
9

S
Runtime Verification
C
N
L
6th International Conference, RV 2015
Vienna, Austria, September 22–25, 2015
Proceedings
123
Lecture Notes in Computer Science 9333
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zürich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7408
Ezio Bartocci Rupak Majumdar (Eds.)
(cid:129)
fi
Runtime Veri cation
6th International Conference, RV 2015
–
Vienna, Austria, September 22 25, 2015
Proceedings
123
Editors
EzioBartocci Rupak Majumdar
TU Wien MaxPlanckInstitute for Software Systems
Vienna Kaiserslautern
Austria Germany
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-319-23819-7 ISBN978-3-319-23820-3 (eBook)
DOI 10.1007/978-3-319-23820-3
LibraryofCongressControlNumber:2015947804
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
SpringerChamHeidelbergNewYorkDordrechtLondon
©SpringerInternationalPublishingSwitzerland2015
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
SpringerInternationalPublishingAGSwitzerlandispartofSpringerScience+BusinessMedia
(www.springer.com)
Preface
Thisvolumecontainstheproceedingsofthe15thInternationalConferenceonRuntime
Verification (RV 2015), which was held on September 22–25, 2015 at TU Wien,
Vienna, Austria.
The RV series is an annual meeting that gathers together scientists from both
academia and industry interested in investigating novel lightweight formal methods to
monitor,analyze,andguidetheexecutionofprograms.The discussioncenters around
twomainaspects.Thefirstistounderstandwhethertheruntimeverificationtechniques
canpracticallycomplementthetraditionalmethodsforprovingprogramscorrectbefore
their execution, such as model checking and theorem proving. The second concerns
formal methods and how their application can improve traditional ad-hoc monitoring
techniques used in performance monitoring, hardware design emulation, etc.
RV started in 2001 as an annual workshop and turned into a conference in 2010.
The workshops were organized as satellite events to an established forum, including
CAV and ETAPS. The proceedings for RV from 2001 to 2005 were published in the
Electronic Notes in Theoretical Computer Science. Since 2006, the RV proceedings
have been published in Springer’s Lecture Notes in Computer Science. The previous
five editions of the RV conference took place in Malta (2010), San Francisco, USA
(2011), Instanbul, Turkey (2012), Rennes, France (2013), Toronto, Canada (2014).
RV2015received45submissions,fromwhichtheProgramCommitteeaccepted15
regularpapers,4short papers,and2tool demonstrationpapers.All papers received at
least 4 reviews. The paper selection process involved extensive discussion among the
members of the Program Committee and external reviewers through the EasyChair
conference manager. The status of the papers had been decided once a consensus had
been reached by the committee.
To complement the contributed papers, we also included in the program three
invited lectures by P. Godefroid (Microsoft Research, USA), S. Sankaranarayanan
(University of Colorado Boulder, USA), and G. Weissenbacher (TU Wien, Austria),
and four tutorials presented during the first day.
RV 2015 also hosted two co-located events: the 5th International Challenge on the
Rigorous Examination of Reactive Systems (RERS) and the 2nd International Com-
petition on Runtime Verification (CRV).
We are extremely grateful to the members of the Program Committee and their
sub-reviewers for their insightful reviews and discussion. The editors are also grateful
to the authors of the accepted papers for revising the papers according to the sug-
gestions of the Program Committee and for their responsiveness on providing the
camera-ready copies within the deadline.
We would also like to thank Klaus Havelund and all the members of the RV
Steering Committee for their advice on organizing and running the conference.
VI Preface
Special thanks also to the Austrian Association of Computer Science, and in par-
ticular,KarinHieblerandChristineHaas,fortheirsupportandvaluableassistancewith
the online registration.
TheEasyChairconferencemanagementsystemwasusedinthesubmission,review,
andrevisionprocesses,aswellasfortheassemblyofthesymposiumproceedings.We
thank the developers of EasyChair for this invaluable service. Finally, we thank
NVIDIA for providing their equipment as the best paper award.
June 2015 Ezio Bartocci
Rupak Majumdar
Organization
General Chair
Radu Grosu TU Wien, Austria
Program Chairs
Ezio Bartocci TU Wien, Austria
Rupak Majumdar Max Planck Institute, Germany
Tools Track Chair
Dejan Ničković Austrian Institute of Technology, Austria
Runtime Monitoring Competition Chairs
Yliès Falcone Université Joseph Fourier, France
Dejan Ničković Austrian Institute of Technology, Austria
Giles Reger University of Manchester, UK
Daniel Thoma University of Lübeck, Germany
Publicity Chair
Dejan Ničković Austrian Institute of Technology, Austria
Program Committee
Thomas Ball Microsoft Research, USA
Howard Barringer The University of Manchester, UK
Ezio Bartocci TU Wien, Austria
David Basin ETH Zurich, Switzerland
Andreas Bauer KUKA Systems, Germany
Saddek Bensalem CEA-Leti, France
Eric Bodden Fraunhofer SIT and TU Darmstadt, Germany
Borzoo Bonakdarpour McMaster University, Canada
Luca Bortolussi University of Trieste, Italy
Laura Bozzelli Technical University of Madrid (UPM), Spain
Rohit Chadha University of Missouri, USA
Satish Chandra Samsung Electronics, USA
Dino Distefano Queen Mary, University of London, UK
VIII Organization
Alastair Donaldson Imperial College London, UK
Alexandre Donzé UC Berkeley, USA
Georgios Fainekos Arizona State University, USA
Yliès Falcone Université Joseph Fourier, France
Bernd Finkbeiner Saarland University, Germany
Milos Gligoric University of Illinois at Urbana-Champaign, USA
Radu Grosu TU Wien, Austria
Kim Guldstrand Larsen Aalborg University, Denmark
Klaus Havelund NASA/JPL, USA
Aditya Kanade Indian Institute of Science, India
Panagiotis Katsaros Aristotle University of Thessaloniki, Greece
Sarfraz Khurshid The University of Texas at Austin, USA
Marta Kwiatkowska University of Oxford, UK
Insup Lee University of Pennsylvania, USA
Axel Legay IRISA/Inria, Rennes, France
Martin Leucker University of Lübeck, Germany
Rupak Majumdar Max Planck Institute, Germany
Oded Maler VERIMAG, France
Leonardo Mariani University of Milano Bicocca, Italy
Dejan Ničković Austrian Institute of Technology, Austria
Joel Ouaknine University of Oxford, UK
Gordon Pace University of Malta, Malta
Doron Peled Bar Ilan University, Israel
Pavithra Prabhakar IMDEA Software Institute, Spain
Grigore Rosu University of Illinois at Urbana-Champaign, USA
Abhik Roychoudhury National University of Singapore, Singapore
Koushik Sen U.C. Berkeley, USA
Scott. A. Smolka Stony Brook University, USA
Oleg Sokolsky University of Pennsylvania, USA
Bernhard Steffen TU Dortmund, Germany
Scott Stoller Stony Brook University, USA
Serdar Taşiran Koç University, Turkey
Emina Torlak University of Washington, USA
Lenore Zuck University of Illinois at Chicago, USA
Additional Reviewers
Barbot, Benoit Donzé, Alexandre
Biondi, Fabrizio Fahrenberg, Uli
Caravagna, Giulio Faymonville, Peter
Colombo, Christian Feng, Lu
Decker, Normann Ghorbal, Khalil
Defrancisco, Richard Gligoric, Milos
Deligiannis, Pantazis Graf, Susanne
Organization IX
Grigore, Radu Nouri, Ayoub
Isakovic, Haris Olsen, Petur
Ivanov, Radoslav Pace, Gordon
Jovanovic, Aleksandra Park, Junkil
Kim, Chang Hwan Peter Phan, Dung
Kuester, Jan-Christoph Pinisetty, Srinivas
Kulahcioglu Ozkan, Burcu Poplavko, Peter
Lascu, Andrei Pouget, Kevin
Legunsen, Owolabi Poulsen, Danny Bøgsted
Lluch Lafuente, Alberto Ratasich, Denise
Lukina, Anna Sanchez, Cesar
Maubert, Bastien Sankaranarayanan, Sriram
Mehne, Ben Stümpel, Annette
Mereacre, Alexandru Thoma, Daniel
Mikučionis, Marius Thomson, Paul
Moore, Brandon Torfah, Hazem
Moy, Matthieu Vandin, Andrea
Naujokat, Stefan Wang, Shaohui
Nenzi, Laura Zalinescu, Eugen
Neubauer, Johannes