5. IFM 2005: Eindhoven, The Netherlands

Judi Romijn, Graeme Smith, Jaco van de Pol (Eds.): Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Lecture Notes in Computer Science 3771 Springer 2005, ISBN 3-540-30492-4 BibTeX

Invited Papers

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

Robi Malik, Partha S. Roop:
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. 33-52
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Frédéric Lang:
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. 70-88
Electronic Edition (link) BibTeX
Steve A. Schneider, Helen Treharne, Neil Evans:
Chunks: Component Verification in CSP||B. 89-108
Electronic Edition (link) BibTeX

Richard F. Paige, Phillip J. Brooke:
Agile Formal Method Engineering. 109-128
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Shane Bracher, Padmanabhan Krishnan:
Enabling Security Testing from Specification to Code. 150-166
Electronic Edition (link) BibTeX

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

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

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

Héctor Ruíz Barradas, Didier Bert:
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. 327-346
Electronic Edition (link) BibTeX

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