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

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

Last update Fri May 25 08:22:18 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page