Programme of FIT at ETAPS 2008

(Foundations of Interface Technologies)

Saturday, April 5, room: Room X.

09:00 - 10:30 SESSION 1

Multiple viewpoint contracts and residuation
Albert Benveniste (IRISA / INRIA)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Behavioral Types as Interfaces for Concurrent Processes
Naoki Kobayashi (University of Tokyo)
Modelchecking Nonfunctional Requirements for Interface Specifications
Florian Kammueller (TU Berlin)
Component Interfaces for System Synthesis
Sven Schewe and Bernd Finkbeiner (Saarbrücken)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Interfaces for Reliability
Mariëlle Stoelinga (University of Twente)
An Algorithmic Approach to Compositional Verification of Sequential Programs with Procedures: An Overview.
Dilian Gurov (KTH Stockholm), Marieke Huisman (INRIA Sophia Antipolis), Christoph Sprenger (ETH Zurich)
Using Interface Specifications for Verifying Crypto-protocol Implementations.
Jan Jürjens (Open University, UK)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4

Real-time systems
Playing Games with Timed Interfaces
Kim G. Larsen (Aalborg)
Compositionality in Real-Time Model Checking
Jasper Berendsen and Frits Vaandrager (Radboud University Nijmegen)
Interface Algebra for Analysis of Hierarchical Real Time Systems
Arvind Easwaran, Insup Lee, Oleg Sokolsky (University of Pennsylvania)
Automatic assumption synthesis from timed automata for compositional model checking
Hans-Jörg Peter, Bernd Finkbeiner, Sven Schewe (Saarbrücken)

Detailed Programme Information:

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