Programme of FESCA at ETAPS 2011

Saturday, April 2

Room E1.3/111

09:00 - 10:30 SESSION 1

09.00: Workshop opening

09.20: Invited Talk: Interface Coherence of Reactive Software Components: Solutions and Challenges

Rolf Hennicker (Ludwig-Maximilians-Universität München)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

11.00: Enhanced Type-based Component Compatibility Using Deployment Context Information

Premek Brada (University of West Bohemia)

11.30: Combining Proof and Model-checking to Validate Reconfigurable Architectures

Arnaud Lanoix (Nantes University), Julien Dormoy and Olga Kouchnarenko (University of Franche-Comté, Besançon)

12.00: Performance Certification of Software Components

Erik Burger and Ralf Reussner (Karlsruhe Institute of Technology)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

14:00: Reputation-based reliability prediction of service compositions

Galina Besova, Heike Wehrheim (University of Paderborn) and Annika Wagner (Fulda University of Applied Sciences)

14:30: ENT: A Generic Meta-Model for the Description of Component-Based Applications

Jaroslav Šnajberk and Premek Brada (University of West Bohemia)

15:00: Tutorial: Model-driven Performance Engineering with the Palladio Component Model (Part I. - Foundations and approach)

Michael Hauck (FZI Research Center for Information Technology, Karlsruhe)

16:00 - 16:30 Coffee

16:30 - 17:30 SESSION 4

16.30: Tutorial: Model-driven Performance Engineering with the Palladio Component Model (Part II. - Tool set demonstration)

Michael Hauck (FZI Research Center for Information Technology, Karlsruhe)

17.15: Workshop closing

 

 

HOME PAGE:   http://fesca.ipd.kit.edu/fesca2011/

Who's online

We have 82 guests and no members online

Site Hosted by