Programme of FIT at ETAPS 2008
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:
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
ByteCode,
COCV,
CMCS,
DCC,
FESCA,
FIT,
FORMED,
GALOP,
GT-VMT,
LDTA,
MBT,
MOMPES,
PDMC,
QAPL,
RV,
SafeCert,
SC,
SLA++P,
WGT,
WRLA
ETAPS 2008 |
Top |
HTML 4.01 |
Last Update: 2008-01-13