FMICS 2010:
Antwerp, Belgium
Stefan Kowalewski, Marco Roveri (Eds.):
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings.
Lecture Notes in Computer Science 6371 Springer 2010, ISBN 978-3-642-15897-1 
- Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini:
The Metrô Rio ATP Case Study.
1-16
- Michael Altenhofen, Achim D. Brucker:
Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study.
17-32
- Jeremy W. Bryans, Wei Wei:
Formal Analysis of BPMN Models Using Event-B.
33-49
- Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
Developing Mode-Rich Satellite Software by Refinement in Event B.
50-66
- Christian Kern, Javier Esparza:
Automatic Error Correction of Java Programs.
67-81
- Jörg Brauer, Andy King, Stefan Kowalewski:
Range Analysis of Microcontroller Code Using Bit-Level Congruences.
82-98
- Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull:
An Automated Translator for Model Checking Time Constrained Workflow Systems.
99-114
- Frank Werner, David Faragó:
Correctness of Sensor Network Applications by Software Bounded Model Checking.
115-131
- Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter:
Model Checking the FlexRay Physical Layer Protocol.
132-147
- Wilfried Steiner, Bruno Dutertre:
SMT-Based Formal Verification of a TTEthernet Synchronization Function.
148-163
- Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink:
Embedded Network Protocols for Mobile Devices.
164-179
- Radu Mateescu, Wendelin Serwe:
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.
180-197
- Jan Camenisch, Sebastian Mödersheim, Dieter Sommer:
A Formal Model of Identity Mixer.
198-214
- Lars Michael Kristensen, Michael Westergaard:
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept.
215-230
Last update Sun May 26 01:52:54 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
