Programme of FESCA at ETAPS 2008

(Formal Foundations of Embedded Software and Component-Based Software Architectures)

Saturday, March 29, room: Room III.

09:00 - 10:30 SESSION 1

Formal models for component-based assembly
Cost Analysis for Embedded Systems
Tolga Ovatman, Aske Brekling and Michael Hansen
Inference of session types from control flow
Peter Collingbourne and Paul Kelly
Transaction scripts: Making implicit scenarios explicit
Sotiris Moschoyiannis, Amir Razavi and Plau Krause

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Contracts and components
An I/O Automata based approach to verify component compatibility
Samir Chouali, Hassan Mountassir and Sebti Mouelhi
Reasoning about QOS contracts in the Probabilistic Duration Calculus
Dimitar P. Guelev and Dang Van Hung

12:30 - 14:00 Lunch

Detailed Programme Information:

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