5. IFM 2005: Eindhoven, The Netherlands

Invited Papers

• David Lorge Parnas:
  A Family of Mathematical Methods for Professional Software Documentation. 1-4
  
• Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis:
  Generating Path Conditions for Timed Systems. 5-19
  
• Patrice Godefroid, Nils Klarlund:
  Software Model Checking: Searching for Computations in the Abstract or the Concrete. 20-32
  

Components

• Robi Malik, Partha S. Roop:
  Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. 33-52
  

State/Event-Based Verification

• Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith:
  State/Event Software Verification for Branching-Time Specifications. 53-69
  
• Frédéric Lang:
  Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. 70-88
  
• Steve A. Schneider, Helen Treharne, Neil Evans:
  Chunks: Component Verification in CSP||B. 89-108
  

System Development

• Richard F. Paige, Phillip J. Brooke:
  Agile Formal Method Engineering. 109-128
  
• Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter:
  An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. 129-149
  
• Shane Bracher, Padmanabhan Krishnan:
  Enabling Security Testing from Specification to Code. 150-166
  

Applications of B

• Pontus Boström, Marina A. Waldén:
  Development of Fault Tolerant Grid Applications Using Distributed B. 167-186
  
• Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller:
  Formal Methods Meet Domain Specific Languages. 187-206
  
• Frédéric Gervais, Marc Frappier, Régine Laleau:
  Synthesizing B Specifications from EB³ Attribute Definitions. 207-226
  

Tool Support

• Tim Miller, Leo Freitas, Petra Malik, Mark Utting:
  CZT Support for Z Extensions. 227-245
  
• Kun Wei, James Heather:
  Embedding the Stable Failures Model of CSP in PVS. 246-265
  
• Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard:
  Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. 266-286
  

Non-software Domains

• Gwen Salaün, Wendelin Serwe:
  Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. 287-306
  
• Kenneth J. Turner:
  Formalising Interactive Voice Services with SDL. 307-326
  

Semantics

• Héctor Ruíz Barradas, Didier Bert:
  A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. 327-346
  

UML and Statecharts

• Vitus S. W. Lam, Julian A. Padget:
  Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. 347-365
  
• Bikram Sengupta, Rance Cleaveland:
  An Integrated Framework for Scenarios and State Machines. 366-385
  
• Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières:
  Consistency in UML and B Multi-view Specifications. 386-405