Runtime Verification and Monitoring

[rv05 AT alan.cs.uni-sb.de (Bernd Finkbeiner)]

                 Call for Participation
                 
                        RV'05
 
         Fifth Workshop on Runtime Verification
           http://react.cs.uni-sb.de/rv2005/
 
                    July 12, 2005
 
        The University of Edinburgh, Scotland, UK
 
               Affiliated with CAV'05
          http://www.cav2005.inf.ed.ac.uk/
 

The objective of RV'05 is to bring scientists from both academia
and industry together to debate on how to monitor, analyze and
guide the execution of programs.  The ultimate longer term goal
is to investigate the use of lightweight formal methods applied
during the execution of programs from the following two points of
view.  On the one hand, whether run-time application of formal methods
is a viable complement to the traditional methods proving
programs correct before their execution, such as model checking
and theorem proving.  On the other hand, whether formality
improves traditional ad-hoc monitoring techniques used in
performance monitoring, distributed debugging, etc.  Dynamic program
monitoring and analysis can occur during testing or during operation.
 

INVITED SPEAKERS:
 
Trishul Chilimbi (Microsoft Research)
Klaus Havelund  (Kestrel Technology)
 

ACCEPTED PAPERS:
 
Feng Chen, Marcelo d'Amorim and Grigore Rosu
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP 
 
Tayfun Elmas and Serdar Tasiran 
VyrdMC: Driving Runtime Refinement Checking with Model Checkers  
 
Arvind Easwaran, Sampath Kannan and Oleg Sokolsky 
Steering of Discrete Event Systems: Control Theory Approach  
 
Yaniv Eytani 
Concurrent Java Test Generation as a Search Problem   
 
Amir Pnueli, Aleksandr Zaks and Lenore Zuck 
Monitoring Interfaces for Faults  
 
Oleg Sokolsky, Usa Sammapun, Insup Lee and Jesung Kim
Run-Time Checking of Dynamic Properties  
 
Volker Stolz and Eric Bodden 
Temporal Assertions using AspectJ  
 
Yuhong Zhao, Simon Oberthuer, Martin Kardos and Franz Josef Rammig 
Model-based Runtime Verification Framework for Self-optimizing Systems  
 

WEBSITE:
 
http://react.cs.uni-sb.de/rv2005/
 

REGISTRATION AND ACCOMMODATION:
 
http://www.cav2005.inf.ed.ac.uk/
 
Alert: please register and book accommodation and travel soon.  Events
in Edinburgh related to the G8 summit in July mean many accommodation
and travel options are getting booked up.
 

PROGRAM COMMITTEE:
 
Howard Barringer  (University of Manchester)
Saddek Bensalem  (VERIMAG Laboratory)
Nikolaj Bjørner  (Microsoft)
Bernd Finkbeiner  (Universitaet des Saarlandes)
Cormac Flanagan  (University of California, Santa Cruz)
Vijay Garg  (University of Texas, Austin)
Ann Gates  (University of Texas, El Paso)
Yuri Gurevich  (Microsoft Research)
Klaus Havelund  (Kestrel Technology)
Gerard Holzmann  (NASA Jet Propulsion Laboratory)
Michael Moeller  (University of Oldenburg)
Doron Peled  (University of Warwick)
Grigore Rosu  (University of Illinois, Urbana-Champaign)
Henny Sipma  (Stanford University)
Oleg Sokolsky  (University of Pennsylvania)
Scott Stoller  (State University of New York, Stony Brook)
Serdar Tasiran  (Koç University)
Nikolai Tillmann  (Microsoft Research)
Sergio Yovine  (VERIMAG Laboratory)
 
 
ORGANIZING COMMITTEE:
 
Howard Barringer  (The University of Manchester)
Bernd Finkbeiner  (Universitaet des Saarlandes)
Yuri Gurevich  (Microsoft Research)
Henny Sipma  (Stanford University)