FMICS 2010

Call for Participation

Please visit: http://es.fbk.eu/events/fmics2010

15th International Workshop on
Formal Methods for Industrial Critical Systems
(FMICS 2010)

Antwerp, Belgium
September 20-21, 2010

Scope of the Workshop

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.

Invited Speakers

Aarti Gupta		(NEC Labs, United States of America)
Axel Simon		(Technical University of Munich, Germany)
Bert van Beek		(Technical University of Eindhoven, The Netherlands)
Stephan Tobies		(Microsoft European Innovation Center, Germany)

List of Accepted Papers

1:	*SMT-Based Formal Verification of a TTEthernet Synchronization Function*
	Wilfried Steiner and Bruno Dutertre
2:	*Automatic Structure-based Code Generation from Coloured Petri Nets: A Proof of Concept*
	Lars Kristensen and Michael Westergaard
3:	*Correctness of Sensor Network Applications by Software Bounded Model Checking*
	Frank Werner and David Faragó
4:	*An Automated Translator for Model Checking Time Constrained Workflow Systems*
	Ahmed Mashiyat and Fazle Rabbi and Hao Wang and Wendy MacCaull
5:	*Embedded Network Protocols for Mobile Devices*
	Despo Galataki and Andrei Radulescu and Kees Verstoep and Wan Fokkink
6:	*The Metro Rio ATP case study*
	Alessio Ferrari and Alessandro Fantechi and Daniele Grasso and Gianluca Magnani
7:	*Formal analysis of BPMN models using Event-B*
	Wei Wei and Jeremy W. Bryans
8:	*Range Analysis of Microcontroller Code using Bit-Level Congruences*
	Joerg Brauer and Andy King and Stefan Kowalewski
9:	*Practical Issues with Formal Specifications Lessons Learned from an Industrial Case Study*
	Michael Altenhofen and Achim D. Brucker
10:	*A Study of Shared-Memory Mutual Exclusion Protocols using CADP*
	Radu Mateescu and Wendelin Serwe
11:	*Model Checking the FlexRay Physical Layer Protocol*
	Michael Gerke and Rüdiger Ehlers and Bernd Finkbeiner and Hans-Jörg Peter
12:	*Automatic Error Correction of Java Programs*
	Christian Kern and Javier Esparza
13:	*A Formal Model of Identity Mixer*
	Sebastian Mödersheim and Dieter Sommer and Jan Camenisch
14:	*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

Program Chairs

Stefan Kowalewski		(RWTH-Aachen University)
Marco Roveri		(FBK-irst)

Program Commitee Members

Aarti Gupta		(NEC Labs, US)
Andreas Podelski		(University of Freiburg, Germany)
Andy King		(Portcullis Computer Security)
Barbara Jobstman		(VERIMAG, France)
Christophe Joubert		(Technical University of Valencia, Spain)
Daniel Kroening		(University of Oxford, UK)
Diego Latella		(CNR/IST Pisa, It)
Dino Distefano		(Queen Mary, University of London, UK)
Francois Pilarski		(Airbus, France)
Holger Hermanns		(Universität des Saarlandes, Germany)
Hubert Garavel		(INRIA Rhône-Alpes, France)
Jaco van de Pol		(Universiteit Twente, The Netherlands)
Jakob Rehof		(Technische Universität Dortmund, Germany)
Juan José Moreno-Navarro		(Universidad Politécnica de Madrid, Spain)
Jörg Brauer		(RWTH Aachen, Germany)
Lubos Brim		(Masarykova Univerzita, Czech Republic)
María Alpuente		(Technical University of Valencia, Spain)
Marco Roveri --*co chair*		(FBK-irst, Italy)
Pedro Merino		(Universidad de Málaga, Spain)
Radu Mateescu		(INRIA Rhone-Alpes, France)
Stefan Kowalewski --*co chair*		(RWTH Aachen, Germany)
Stefania Gnesi		(ISTI-CNR, Italy)
Thierry Lecomte		(ClearSy, France)
Thomas Kropf		(Bosch, Germany)
Thomas Santen		(Microsoft European Innovation Center)
Wan Fokkink		(Vrije Universiteit Amsterdam, Netherlands)
Wilfried Steiner		(TTTech, Austria)

ERCIM FMICS WG Coordinator

Alessandro Fantechi

(Università degli Studi di Firenze and ISTI-CNR, Italy)

Co-location

FMICS 2010 is co-located with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE-2010). For the latest information on ASE-2010 visit http://soft.vub.ac.be/ase2010.