****************************************************************** CALL FOR PARTICIPATION RV 2014: 14th International Conference on Runtime Verification September 22 - September 25, 2014, Toronto, Canada http://rv2014.imag.fr ****************************************************************** ***************** OVERVIEW ***************** Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are important for system correctness, reliability, and robustness; they are complementary to conventional testing, and 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. Topics of interest to the conference include: - specification languages - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - fault detection, localization, containment, recovery and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization - monitoring techniques for safety/mission-critical systems - monitoring distributed systems, cloud services, and big data applications - monitoring security and privacy policies Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. ***************** INVITED TALKS ***************** - *Kevin Driscoll* Fellow at Honeywell Labs, USA *Murphy Strikes Again* - *Assaf Schuster* Professor of Computer Science, Computer Science Department, Technion, Israel *Monitoring Big, Distributed, Streaming Data* - *Jeannette Wing* President's Professor of Computer Science, Computer Science Department, Carnegie Mellon University, USA *Formal Methods: An Industrial Perspective* ***************** INVITED TUTORIALS ***************** - *Vijay K. Garg & Neeraj Mittal* UT at Austin & UT at Dallas *A Lattice-Theoretic Approach to Monitoring Distributed Computations* - *David Basin & Felix Klaedtke* ETH-Zurich & NEC Labs, Europe *Runtime Monitoring and Enforcement of Security Policies* ***************** VENUE ***************** The Fields Institute for Research in Mathematical Sciences 222 College Street, Toronto, Ontario, Canada http://www.fields.utoronto.ca/ ***************** REGISTRATION ***************** Registration on line to Aug. 21, on site Sept. 22 Registration fees $575, after Aug. 21 $675 Student $350, after Aug. 21, $450 Fees include proceedings and 1x Conference banquet Additional banquet tickets $80 Registration link: http://www.fields.utoronto.ca/programs/scientific/14-15/RV2014/ ***************** ACCEPTED PAPERS ***************** - Pierre Fraigniaud, Sergio Rajsbaum and Corentin Travers. On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems - Simon Varvaressos, Kim Lavoie, Sebastien Gaboury and Sylvain Hallé. Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces - Clemens Ballarin. Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A - Martin Hentschel, Richard Bubel and Reiner Hähnle. Symbolic Execution Debugger (SED) - Jiannan Zhai, Nigamanth Sridhar and Jason Hallstrom. Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems - Emmanouil Koukoutos and Viktor Kuncak. Checking Data Structure Properties Orders of Magnitude Faster - Maria Christakis, Patrick Emmisberger and Peter Müller. Dynamic Test Generation with Static Fields and Initializers - Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamano, Willy Wolff, Alexandra Jimborean and Philippe Clauss. Speculative Program Parallelization with Scalable and Decentralized Runtime Verification - Christian Colombo and Yliès Falcone. Organising LTL Monitors over Distributed Systems with a Global Clock - Erdal Mutlu, Vladimir Gajinov, Adrian Cristal, Serdar Tasiran and Osman Unsal. Dynamic Verification for Hybrid Concurrent Programming Models - Hsi-Ming Ho, Joel Ouaknine and James Worrell. Online Monitoring of Metric Temporal Logic - David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel. Scalable Offline Monitoring - David Basin, Felix Klaedtke, Srdjan Marinovic and Eugen Zalinescu. On Real-time Monitoring with Imprecise Timestamps - Anand Yeolekar. Improving dynamic inference with variable dependence graph - Ming Chai and Holger Schlingloff. Monitoring Systems with Extended Live Sequence Charts - Laura Bozzelli and César Sánchez. Foundations of Boolean Stream Runtime Verification - Mitra Tabaei Befrouei, Chao Wang and Georg Weissenbacher. Abstraction and Mining of Traces to Explain Concurrency-Bugs - Stefan Mitsch and André Platzer. ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models - Johannes Geist, Kristin Y. Rozier and Johann Schumann. Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems - Malte Isberner, Falk Howar and Bernhard Steffen The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning - Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sebastien Gaboury and Sylvain Hallé. Portable Runtime Verification with Smartphones and Optical Codes - Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos On-Line Monitoring for Temporal Logic Robustness - Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon Moore, Qingzhou Luo, Aravind Sundaresan and Grigore Rosu. ROSRV: Runtime Verification for Robots - Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick Meredith, Traian Serbanuta and Grigore Rosu. RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties - Duc Hiep Chu, Joxan Jaffar and Vijayaraghavan Murali. Lazy Symbolic Execution for Enhanced Learning - Kuei Sun, Daniel Fryer, Ashvin Goel, Dai Qin and Angela Demke Brown. Robust Consistency Checking for Modern Filesystems - Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay and Saddek Bensalem. Faster Statistical Model Checking by Means of Abstraction and Learning ***************** CHAIRS AND ORGANIZERS ***************** - General Chair: Sebastian Fischmeister (University of Waterloo, Canada). - PC co-Chairs: - Borzoo Bonakdarpour (McMaster University, Canada) - Scott Smolka (Stony Brook Universtiy, USA) - Tools Track Chair: Ezio Bartocci (TU Vienna, Austria) - Runtime Monitoring Competition Co-Chairs: - Ezio Bartocci (TU Vienna, Austria) - Borzoo Bonakdarpour (McMaster University, Canada) - Ylies Falcone (Université Joseph Fourier, France) - Publicity Chair: Ylies Falcone (Université Joseph Fourier, France) - Local Arrangements Chair: Patrick Lam (University of Waterloo, Canada) ***************** FURTHER INFORMATION ***************** More information about RV2014 is available from the conference web site: http://rv2014.imag.fr