Electronic Notes in Theoretical Computer Science, Volume 133

Volume 133, May 2005

• 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