Runtime verification

Abstract

This volume contains the proceedings of the 18th International Conference on Runtime Verification (RV 2018), which was held during November 10–13, 2018, at the Royal Apollonia Beach Hotel, Limassol, Cyprus. The RV series consists of annual meetings that gather together scientists from both academia and industry interested in investigating novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared with conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. 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 of 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 RV conferences took place in Istanbul, Turkey (2012); Rennes, France (2013); Toronto, Canada (2014); Vienna, Austria (2015); Madrid, Spain (2016); and Seattle, USA (2017). There were 49 submissions, 38 as regular contributions, six as short contributions and five as tool papers. Each submission was reviewed by at least three Program Committee members. The committee decided to accept 21 papers, 15 regular papers, three short papers, and three tool papers. The evaluation and selection process involved thorough discussions among the members of the Program Committee and external reviewers through the EasyChair conference manager, before reaching a consensus on the final decisions. To complement the contributed papers, we included in the program three invited speakers covering both industry and academia: – Rajeev Alur, University of Pennsylvania, USA – Jim Kapinski, Toyota Motor North America (TMNA) – Fritz Vaandrager, Radboud University, The Netherlands Additionally, the proceedings also contain three invited contributions. The conference included six tutorials that took place on the first day. The following tutorials were selected to cover a breadth of topics relevant to RV: – Cesar Sanchez presented a tutorial on “Online and Offline Stream Runtime Verification of Synchronous Systems” – Shaun Azzopardi, Joshua Ellul, and Gordon Pace presented a tutorial on “Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond” – Ylies Falcone presented a tutorial on “Can We Monitor Multi-threaded Java Programs?” – Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, and Alexander Weiss presented a tutorial on “Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing” – Doron Peled and Klaus Havelund, presented a tutorial on “Runtime Verification – From Propositional to First-Order Temporal Logic” – Ezio Bartocci presented a tutorial on “Monitoring, Learning and Control of Cyber-Physical Systems with STL” We would like to thank the authors of all submitted papers, the members of the Steering Committee, the Program Committee, and the external reviewers for their exhaustive task of reviewing and evaluating all submitted papers. We highly appreciate the EasyChair system for the management of submissions. We acknowledge the great support from our sponsors. Toyota InfoTech and Runtime Verification Inc. acted as gold sponsors and Denso as bronze sponsor.