FMICS 2009 - PRELIMINARY PROGRAM

 

Please visit: http://elp.webs.upv.es/workshops/fmics2009

UPV Ercim FME MSR
DSIC EASST TUE Springer

 

14th International Workshop on 

Formal Methods for Industrial Critical Systems 

(FMICS 2009)

Eindhoven, The Netherlands
November 2-3, 2009
Venue: Technische Universiteit Eindhoven

Monday 2 November

9:00 Invited Talk
What's in common between Test, Model checking, and Decision Procedures?
Ken McMillan (Cadence, USA)

10:00 - 10:30 Coffee Break

10:30 Session 1 (Chair: XXX)

Towards an industrial use of FLUCTUAT on safety-critical avionics software.
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal and Franck Védrine.

Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
Alwyn Goodloe and César Muñoz.

11:30 Poster Session 1 (Chair: XXX)

Formal Development for Railway Signaling Using Commercial Tools.
Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini and Niccolò Zingoni.

Integrated Formal Approach for Qualified Critical Embedded Code Generator.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux and Olivier Ssi yan kai.

Developing a decision support tool for Dam management with SPIN.
Laura Panizo, Maria del Mar Gallardo, Pedro Merino and Antonio Linares.

12:30 - 14:30 Lunch

14:30 Invited Talk
Attacking Large Industrial Code with Bi-Abductive Inference.
Dino Distefano (Queen Mary, University of London, UK)

15:30 - 16:00 Coffee Break

16:00 Session 2 (Chair: XXX)

Correctness with respect to reference implementations.
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto and Bárbara Vieira.

Preemption Abstraction: a Lightweight Approach to Modelling Concurrency.
Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko van Eekelen and Sjaak Smetsers.

A Certified Implementation on top of the Java Virtual Machine
Javier de Dios and Ricardo Peña.

19:00 Workshop Dinner and EASST award

Tuesday 3 November

9:00 Invited Talk
On a Uniform Framework for the Definition of Stochastic Process Languages.
Diego Latella (ISTI-CNR, Italy)

10:00 - 10:30 Coffee Break

10:30 Session 3 (Chair: XXX)

Formal Analysis of Non-Determinism in Verilog Cell Library Simulation Models
Matthias Raffelsieper, MohammadReza Mousavi, Jan-Willem Roorda, Chris Strolenberg and Hans Zantema.

Formal Modeling of Concurrent Systems with Shared Resources.
Julio Mariño, Ángel Herranz, Manuel Carro and Juan José Moreno-Navarro.

A Rigorous Methodology for Composing Services.
Kenneth J. Turner and Koon Leai Larry Tan.

12:00 - 14:00 Lunch

14:00 Invited Talk
Applying a Formal Method in Industry: a 15-year trajectory
Thierry Lecomte (ClearSy, France)

15:00 Poster Session 2 (Chair: XXX)

Visualizing Event-B models with BMotionStudio.
Lukas Ladenberger, Jens Bendisposto and Michael Leuschel.

Model-Based Testing of Electronic Passports.
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans and Ronny Wichers Schreur.

Behavioural Analysis of an I2C Linux Driver.
Aad Mathijssen, Yaroslav S. Usenko and Dragan Bosnacki.

15:30 - 16:00 Coffee Break

16:00 Session 4 (Chair: XXX)

Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.
Pavel Parizek and Tomas Kalibera.

Dynamic State Space Partitioning for External Memory Model Checking
Sami Evangelista and Lars Michael Kristensen.

17:30 FMICS 2009 closure and FMICS WG meeting