Programme of FESCA at ETAPS 2008
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:
- 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