Proceedings: LNCS Volume 6418
Welcome to RV 2010Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, symbolic dynamic analysis, trace analysis, log file analysis, etc. RV can be used for many purposes, such program understanding, systems usage understanding, security or safety policy monitoring, debugging, testing, verification and validation, fault protection, behavior modification (e.g., recovery), etc. A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g. checked against formalized/programmed specifications, analyzed with special algorithms, visualized, etc.
Accepted papers will be published LNCS. Selected papers will be published in an issue of Formal Methods in System Design after the conference.
History: The RV series of events started in 2001, as an annual workshop. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS. Starting with year 2010, RV is an international conference. The permanent page contains links to past RV events.
University of Malta's own RV 2010 website.
Chairs and Organizers
Howard Barringer (University of Manchester, UK)
Klaus Havelund (NASA/Jet Propulsion Laboratory, USA)
Insup Lee (University of Pennsylvania, USA)
Programme committee chairs:
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Oleg Sokolsky (University of Pennsylvania, USA)
Local organization chair:
Gordon Pace (University of Malta)
Bernd Finkbeiner (Saarland University)
Tool demonstrations chair:
Nikolai Tillmann (Microsoft Research)
Ylies Falcone (INRIA Rennes)
- CF Papers & Tutorials
(PDF) - (TXT)
- Invited Speakers
- Tutorial Programme
- Accepted Papers
- Open E Tuning
- Best Paper Awards
- Photos of the event
- Important Dates
- Venue and Travel
- Social Programme
- What to do in Malta?
- Samsung 3D Glasses
- DLP 3D Glasses
- Practical Issues
- Heart Check Pen
- FM Transmitter