Programme of RV

SATURDAY, April 3

9.00
10.00
Introduction

Invited talk
Specifying and testing software components with SpeC#.
Wolfram Schulte, Microsoft Research, Washington, USA 
10.00
10.30
Coffee
10.30
12.30
Testing conformance of real-time software by automatic generation of observers.
Saddek Bensalem, Marius Bozga, Moez Krichen and Stavros Tripakis

Deductive runtime certification.
Konstantine Arkoudas and Martin Rinard

Enforcing concurrent temporal behaviors.
Doron Peled and Hongyang Qu

JVM independent replay in Java.
Viktor Schuppan, Marcel Baur and Armin Biere

Program instrumentation and run-time analysis of scoped memory in Java.
Diego Garbervetsky, Chaker Nakhli, Sergio Yovine and Hichem Zorgati
12.30
14.00
Lunch
14.00
16.00
Invited talk:
Semantics and runtime monitoring of TLCharts: statechart automata with temporal logic conditioned transitions.
Doron Drusinsky, Naval Postgraduate School and Time Rover, California, USA

Simulation of simultaneous events in regular expressions for run-time verification.
Usa Sammapun, Arvind Easwaran, Insup Lee and Oleg Sokolsky

Monitoring algorithms for metric temporal logic.
Prasanna Thati and Grigore Rosu

Run-time checking of refinement.
Serdar Tasiran and Shaz Qadeer
16.00
16.30
Coffee
16.30
18.00
jMonitor: Java runtime event specification and monitoring library.
Murat Karaorman and Jay Freeman

Runtime verification of concurrent Haskell programs.
Volker Stolz and Frank Huch

Guaranteeing correctness properties of a Java card applet.
Lars-Aake Fredlund 
Evening
Post-Conference Workshops Dinner