FMPPTA'2003

April 26, 2003,
Nice, France

Saturday, April 26

8:45 - 9:00: Introduction
Michel Charpentier and Beverly Sanders
9:00 - 10:00: Invited Speaker: Dominique Méry (Université Henri Poincaré, Nancy, France)
The Leader Election Protocol (IEEE 1394)

10:30 - 11:00: A Unity based formalism for dynamic distributed systems
Daniel Zimmerman
11:00 - 11:30: The reconstruction of a mobile agent computation and its validation
Mamoun Filali, Philippe Mauran, Gérard Padiou and Philippe Quéinnec
11:30 - 12:00: Timing analysis of concurrent real-time programs with deadlines
Sibylle Peuker and Ian Hayes

1:30 - 2:00: Task graph scheduling using timed automata
Yasmina Abdeddaim, Abdelkarim Kerbaa and Oded Maler
2:00 - 2:30: Verification of real-time systems by abstraction of time constraints
Mustapha Bourahla and Mohamed Benmohamed
2:30 - 3:00: Model checking a cache coherence protocol for a Java DSM implementation
Jun Pang, Wan Fokkink, Rutger Hofman and Ronald Veldema

3:30 - 4:00: Founding FireWire bridges through Promela prototyping
Izak van Langevelde and Judi Romijn
4:00 - 4:30: Towards a theory of bisimulation for a fragment of Verilog
Li Yongjian and He Jifeng
4:30 - 5:00: Specification of a gas station using a formalism integrating formal datatypes within state diagrams
Christian Attiogbé, Gwen Salauen and Pascal Poizat
5:00 - 5:30: A self-stabilizing distributed algorithm for minimal total domination in an arbitrary system graph
Wayne Goddard, Stephen Hedetniemi, David Jacobs and Pradip Srimani
5:30: Closing remarks and discussion: the future of FMPPTA

Last modified: Tue Jul 22 10:00:27 EDT 2003