Programme of FESCA at ETAPS 2006
Sunday, March 26
09:00 - 10:30 SESSION 1 (FESCA, Sunday, March 26, room: EI 5)
- Component Models and Specification (chair: Ralf Reussner)
- ConCom - A Formal Model for Concurrent Components
- Andreas Rausch (Technische Univ. Kaiserslautern, D)
- Towards Multiple Access in Generic Component Architectures
- M. Klein, J. Padberg (Technische Univ. Berlin, D), and F. Orejas (UPC, Barcelona, E)
- Extending a Component Specification Language with Time
- Bjoern Metzler and Heike Wehrheim (Univ. Paderborn, D)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2 (FESCA, Sunday, March 26, room: EI 5)
- Invited Talk (chair: Ralf Reussner)
- Hierarchical vs. Flat Component Models
- Frantisek Plasil (Charles Univ., Prague, CZ, joint work with Petr Hnetynka)
12:30 - 14:00 Lunch
14:00 - 15:30 SESSION 3 (FESCA, Sunday, March 26, room: EI 5)
- Component Contracts and Component Selection (chair: Frantisek Plasil)
- Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
- Heiko Koziolek and Viktoria Firus (Univ. of Oldenburg, D)
- A Contract-based Approach to Specifying and Verifying Safety Critical Systems
- Wei Dong, Zhenbang Chen and Ji Wang (National Lab. for Parallel and Distributed Processing, ChangSha, CN)
- Only the Best Can Make It: Optimal Component Selection
- Lars Gesellensetter and Sabine Glesner (Technical Univ. of Berlin, D)
15:30 - 16:00 Coffee
16:00 - 17:00 SESSION 4 (FESCA, Sunday, March 26, room: EI 5)
- Model Checking (chair: Iman Poernomo)
- Local Module Checking for CTL Specifications
- Samik Basu (Iowa State Univ. Ames, USA), Partha S. Roop, and Roopak Sinha (Univ. of Auckland, NZ)
- Specification and Generation of Environment for Model Checking of Software Components
- Pavel Parizek and Frantisek Plasil (Charles Univ., CZ)
19:30 SOCIAL EVENT (Sunday, March 26)
- Joint Workshops Pre-Conference Dinner
- Dinner at the historic restaurant Piaristenkeller, Piaristengasse 45, 1080 Wien
Further ETAPS 2006 Programme Information:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
AVIS,
CMCS,
COCV,
DCC,
EAAI,
FRCSS,
GT-VMT,
LDTA,
MBT,
QAPL,
SC,
SLAP,
SPIN,
TERMGRAPH,
WITS,
WRLA
- Tutorials:
Phoenix,
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-23