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