Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings PDF
Preview Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings
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
The list of books you might like
