Programme of FESCA at ETAPS 2010

(International Workshop on Formal Engineering approaches to Software Components and Architectures)

Saturday, March 27

08:30 - 09:00 Registration

09:00 - 09:20 Workshop opening

09:20 - 10:30 Invited Talk

Formal Verification of Component-based Architectures - Motivation, Methods & Challenges
Ivana Cerna

10:30 - 11:00 Coffee Break

11:00-12:30 SESSION 1

Verifying Service Orchestrations: A Strict-Observational Interface Theory
Philip Mayer, Andreas Schroeder and Sebastian Bauer
Contract-based Verification of Kmelia Component Assemblies using Event-B
Pascal Andre, Gilles Ardourel, Christian Attiogbe and Arnaud Lanoix
Describing Secure Interfaces with Interface Automata
Matias Lee and Pedro D'Argenio

12:30 - 14:00 Lunch 

12:30-14:00 SESSION 2

Semi-automatic Specification of Behavioural Service Adaptation Contracts
Javier Camara, Jose Antonio Martin, Gwen Salaun, Carlos Canal and Ernesto Pimentel
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Muhammad Uzair Khan and Ludovic Henrio
Towards Context Independent Extra-functional Properties Descriptor for Components
Kamil Jezek, Premek Brada and Petr Stepan
Systematic Refinement of Performance Models for Concurrent Software Systems
Lucia Kapova and Steffen Becker

16:00 - 16:30 Coffee Break

16:30-17:50 SESSION 3

Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations
Franz Brosch, Ralf Gitzel, Heiko Koziolek and Simone Krug
Behaviour-Driven Development of Foundational UML Components
Ioan Lazar, Simona Motogna and Bazil Parv
A unified toolset for business process model formalization
Behnaz Changizi, Natallia Kokash and Farhad Arbab

17:50 - 18:00 Workshop closing

19:30 - 22:30 Joint Workshops Dinner

ETAPS 2010 | Top | Last Update: 2010-02-04