Program

Monday, 20 September

(go to 21/07)
8:45 - 9:00 Welcome
S. Kowalewski and M. Roveri
9:00 - 10:00 Invited Talk (Chair S. Kowalewski)
Verifying the Microsoft Hyper-V Hypervisor with VCC
Stephan Tobies -- European Microsoft Innovation Center (Germany)
10:00 - 10:30 Session I (Chair S. Kowalewski)
The Metro Rio ATP case study
Alessio Ferrari and Alessandro Fantechi and Daniele Grasso and Gianluca Magnani
10:30 - 11:00 Coffee break
11:00 - 12:30 Session II (Chair A. Gupta)
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Wilfried Steiner and Bruno Dutertre
Model Checking the FlexRay Physical Layer Protocol
Michael Gerke and Rüdiger Ehlers and Bernd Finkbeiner and Hans-Jörg Peter
A Formal Model of Identity Mixer
Jan Camenisch and Sebastian Mödersheim and Dieter Sommer
12:30 - 14:00 Lunch break
14:00 - 15:00 Invited Talk (Chair S. Tobies)
Designing a Type System based on Static Analysis Principles
Axel Simon -- TU Munich (Germany)
15:00 - 15:30 Session III (Chair S. Tobies)
Range Analysis of Microcontroller Code using Bit-Level Congruences
Joerg Brauer and Andy King and Stefan Kowalewski
15:30 - 16:00 Coffee break
16:00 - 17:00 Session IV (Chair J. Brauer)
Correctness of Sensor Network Applications by Software Bounded Model Checking
Frank Werner and David Faragó
Automatic Error Correction of Java Programs
Christian Kern and Javier Esparza

Tuesday, 21 September

(go to 20/07)
9:00 - 10:00 Invited Talk (Chair M. Roveri)
Coping with Multi-thread Schedules
Aarti Gupta -- NEC Labs (USA)
10:00 - 10:30 Session V (Chair M. Roveri)
Practical Issues with Formal Specifications Lessons Learned from an Industrial Case Study
Michael Altenhofen and Achim D. Brucker
10:30 - 11:00 Coffee break
11:00 - 12:30 Session VI (Chair A. Simon)
Embedded Network Protocols for Mobile Devices
Despo Galataki and Andrei Radulescu and Kees Verstoep and Wan Fokkink
Formal analysis of BPMN models using Event-B
Wei Wei and Jeremy W. Bryans
Developing mode-rich satellite software by refinement in Event B
Alexei Iliasov and Elena Troubitsyna and Linas Laibinis and Alexander Romanovsky and Kimmo Varpaaniemi and Dubravka Ilic and Timo Latvala
12:30 - 14:00 Lunch break
14:00 - 15:00 Invited Talk (Chair W. Fokkink)
Overview and Industrial Applications of State Based Supervisory Control Synthesis
Bert van Beek -- TU Eindhoven (The Netherlands)
15:00 - 15:30 Session VII (Chair W. Fokkink)
A Study of Shared-Memory Mutual Exclusion Protocols using CADP
Radu Mateescu and Wendelin Serwe
15:30 - 16:00 Coffee break
16:00 - 17:00 Session VIII (Chair A. Fantechi)
Automatic Structure-based Code Generation from Coloured Petri Nets: A Proof of Concept
Lars Kristensen and Michael Westergaard
An Automated Translator for Model Checking Time Constrained Workflow Systems
Ahmed Mashiyat and Fazle Rabbi and Hao Wang and Wendy MacCaull
17:00 - 17:15
FMICS 2010 Closure
S. Kowalewski and M. Roveri
17:15 - 18:00
FMICS WG Meeting
Sponsored by:
Ercim Microsoft EMIC AXXTEQ GmbH
Supported by:
FBK RWTH-AACHEN Ultra High Speed Mobile Information and Communication
Published by:
Springer LNCS
Valid XHTML 1.0 Transitional Valid CSS! [Valid RSS]
Inspired by the FMICS 2009 web pages by joubert@dsic.upv.es