Programme of RV at ETAPS 2008

(8th International Workshop on Runtime Verification)

Sunday, March 30, room: Room X

09:00 - 10:30 SESSION 1

OPENING, INVITED TALK, SECURITY
Introduction and Welcome
Invited talk: Orchids, and Bad Weeds
Jean Goubault-Larrecq (LSV/ENS Cachan) with contributions from Julien Olivain (Above Security)
Model-based Run-time Checking of Security Permissions using Guarded Objects
Jan Jürjens (Open University)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

SYNTHESIZING MONITORS
Synthesizing Monitors for Safety Properties - This Time With Calls and Returns
Grigore Rosu, Feng Chen (UIUC) and Thomas Ball (Microsoft Research).
Forays into Sequential Composition and Concatenation in EAGLE
Joachim Baran and Howard Barringer (University of Manchester)
Checking Traces for Regulatory Conformance
Nikhil Dinesh, Aravind Joshi, Insup Lee and Oleg Sokolsky (UPenn)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

INVITED TALK AND DEADLOCKS
Invited talk: Runtime Certification
John Rushby (SRI)
Deadlocks: from Exhibiting to Healing
Yarden Nir-Buchbinder, Rachel Tzoref and Shmuel Ur (IBM Haifa)
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity
Horatiu Jula and George Candea (EPFL)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4

APPLICATIONS AND FRAMEWORKS
Property Patterns for Runtime Monitoring of Web Service Conversations
Jocelyn Simmonds, Marsha Chechik, Shiva Nejati (University of Toronto), and Elena Litani and Bill O'Farrell (IBM Toronto)
Runtime Monitoring of Object Invariants with Guarantee
Madhu Gopinathan (Indian Institute of Science) and Sriram Rajamani (Microsoft Research India)
A Lightweight Container Architecture for Runtime Verification
Hakim Belhaouari and Frederic Peschanski (Laboratoire d'Informatique de Paris 6)

Detailed Programme Information:

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-13