Programme of FESCA at ETAPS 2006

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

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:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-23