default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th IFM 2005: Eindhoven, The Netherlands
- Judi Romijn, Graeme Smith, Jaco van de Pol:
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 A. 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 Waldén:
Development of Fault Tolerant Grid Applications Using Distributed B. 167-186 - Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller:
Formal Methods Meet Domain Specific Languages. 187-206 - Frédéric Gervais, Marc Frappier, Régine Laleau:
Synthesizing B Specifications from EB3 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-10-15 01:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
