Volume 133, May 2005
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)
- Juan Bicarregui, Andrew Butterfield, Alvaro Arenas:
Preface.
1-2
- Michele Banci, Alessandro Fantechi:
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems.
3-19
- Jiri Barnat, Lubos Brim, Jakub Chaloupka:
From Distributed Memory Cycle Detection to Parallel LTL Model Checking.
21-39
- Mustapha Bourahla, Mohamed Benmohamed:
Analysis of Real-Time Systems with CTL Model Checkers.
41-60
- Yunja Choi:
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony.
61-79
- Alain Girault, Éric Rutten:
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.
81-100
- Anders Henriksson, Uwe Aßmann, James Hunt:
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification.
101-117
- Martin Fränzle, Christian Herde:
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems.
119-137
- Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon:
On the Formal Verification of Middleware Behavioral Properties.
139-157
- Akram Idani, Yves Ledru:
Object Oriented Concepts Identification from Formal B Specifications.
159-174
- Misa Keinänen:
Obtaining Memory-Efficient Solutions to Boolean Equation Systems.
175-191
- Jacques Klein, Benoît Caillaud, Loïc Hélouët:
Merging Scenarios.
193-215
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodriguez:
Integration of Reliability and Performance Analyses for Active Network Services.
217-236
- Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van:
Early Verification and Validation of Mission Critical Systems.
237-254
- David Sinclair, James F. Power:
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic.
255-273
- Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam®.
275-294
- Jaco van de Pol, Miguel Valero Espada:
An Abstract Interpretation Toolkit for muCRL.
295-313
- Dieter Zöbel, David Polock, Andreas van Arkel:
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems.
315-332
Last update Tue May 21 13:45:59 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
