Formal Methods for Embedded Systems
An IFIP 1.8 Workshop happening during Formal Methods Week

November 5, 2009, Eindhoven, The Netherlands

Time Speaker Title
8:30 Registration and coffee
8:50 Opening
9:00 Bert van Beek The Compositional Interchange Format: concepts, formal basis, and applications
9:45 Holger Hermanns Synchronous vs. Asynchronous Performance Models of Industrial Networks on Chip Designs
10:30 Coffee break
11:00 Catuscia Palamidessi Synchronization in the pi-calculus
11:45 Joost-Pieter Katoen Analysis and Semantics of Extended AADL Models
12:30 Lunch
14:00 The End

Rob van Glabbeek, Formal Methods Group, National ICT Australia.