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