[Om-announce] [fm-announcements] RV 2014: Call for Participation

Klaus Havelund klaus.havelund at jpl.nasa.gov
Tue Jul 29 06:15:16 CEST 2014


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20140728/65bbc095/attachment-0001.html>
-------------- next part --------------
---
To opt-out from this mailing list, send an email to

fm-announcements-request at lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner at lists.nasa.gov 


More information about the Om-announce mailing list