RV'01 Schedule, 23 July 2001

Proceedings: Cover.ps, TOC.ps, 01.ps, 02.ps, 03.ps, 04.ps, 05.ps, 06.ps, 07.ps, 08.ps, 09.ps, 10.ps, 11.ps

The proceedings have been published in Electronic Notes in Theoretical Computer Science
and are available at their web-site: ENTCS.

9:30 Welcome
9:40 Invited Talk: Deploying Robust Autonomous Systems: Lessons from the Remote Agent
Nicola Muscettola
10:30 Break
10:45 Collecting and Analyzing Data from Distributed Control programs
David Kortenkamp, Tod Milam, Reid Simmons, and Joaquin Fernandez
11:10 Efficient Automated Trace Analysis: An example with Morphine
Mireille Ducasse and Erwan Jahier
11:35 Static Verification of Dynamically Detected Program Invariants: Integrating Daikon and ESC/Java
Jeremy W. Nimmer and Michael D. Ernst
12:00 Lunch
13:30 Java-MaC: a Run-time Assurance Tool for Java Programs
Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky and Mahesh Viswanathan
13:55 Dynamics: Comprehensive Support for Run-Time Monitoring
Ann Gates and Steve Roach
14:20 Monitoring Java Programs with Java PathExplorer
Klaus Havelund and Grigore Rosu
14:45 Break
15:05 Jass - Java with Assertions
Detlef Bartetzko, Clemens Fischer, Michael Moeller and Heike Wehrheim
15:30 Dynamic Assertions using TXP
Surrendra Dudani, Joao Geada, Grzegorz Jakacki and Daniel Vainer
15:55 Timing Analysis and Code Generation of Vehicle Control Software using Taxys
Stavros Tripakis and Sergio Yovine
16:20 Break
16:40 On the Construction of Monitors for Temporal Logic Properties
Marc Geilen
17:05 Checking Finite Traces using Alternating Automata
Bernd Finkbeiner and Henny Sipma
17:30 Round Table Discussion