Programme of FESCA at ETAPS 2007
Saturday, March 24, room: CP2-108
09:00 - 10:30 SESSION 1
- Introductory Remarks
- Invited Talk
- SENSORIA: Semantic-based Development of Service-Oriented Systems
- Martin Wirsing (LMU)
10:30 - 11:00 Coffee Break
11:00 - 12:30 SESSION 2
- Formal models for component-based assembly
- A True-Concurrent Interpretation of Behavioural
Scenarios
- Sotiris Moschoyiannis, Paul Krause and Michael Shields
- Trustworthy interface compliancy: data model
adaptation using B refinement
- Samuel Colin, Arnaud Lanoix, Jeanine Souquieres
- Towards Component Verification in the Generic
Component Framework
- Julia Padberg, Hartmut Ehrig, Fernando Orejas
12:30 - 14:00 Lunch
14:00 - 16:00 SESSION 3
- Behavioural models
- DeSpec: Modeling the Windows Driver Environment
- Tomas Matousek and Pavel Jezek
- WCET Analysis of Data Dependent, Component
Oriented, Embedded Software Systems
- Peter Szulman
- Composing Modal Properties of Programs with Procedures
- Marieke Huisman, Dilian Gurov
16:00 - 16:30 Coffee Break
16:30 - 17:30 SESSION 4
- Contractual runtime verification
- A Formal Semantics for a Quality of Service
Contract Language
- Fabricio Chalub, Alexandre Sztajnberg
- Executable Contracts for Incremental Prototypes
of Embedded Systems
- Lionel Morel and Louis Mandel
17:30 Concluding Remarks
Sunday, March 25
18:45 SOCIAL EVENT
- Joint Workshops
Pre-Conference Dinner (tickets needed)
- Dinner at Bom Jesus, Braga
- Shuttle departure from University Campus, Gualtar
Further ETAPS 2007 Programme Information:
- Programme Overview, Social Programme
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
Bytecode,
COCV,
FinCo,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
MOMPES,
OpenCert,
QAPL,
SC,
SLA++P,
TERMGRAPH,
WITS
- Tutorials:
Stratego/XT,
SoftwGen,
Mobius
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-13