2. IFM 2000: Dagstuhl Castle, Germany

@proceedings{DBLP:conf/ifm/2000,
  editor    = {Wolfgang Grieskamp and
               Thomas Santen and
               Bill Stoddart},
  title     = {Integrated Formal Methods, Second International Conference, IFM
               2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
  booktitle = {IFM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1945},
  year      = {2000},
  isbn      = {3-540-41196-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• C. A. R. Hoare:
  Assertions. 1-2
  Electronic Edition (Springer LINK) BibTeX

Linking and Extending Notations

• Hubert Baumeister, Alexandre V. Zamulin:
  State-Based Extensions of CASL. 3-24
  Electronic Edition (Springer LINK) BibTeX
• Anne Elisabeth Haxthausen, Xia Yong:
  Linking DC Toghether with TRSL. 25-44
  Electronic Edition (Springer LINK) BibTeX
• Jörg Fischer, Stefan Conrad:
  Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. 45-60
  Electronic Edition (Springer LINK) BibTeX
• Michael J. Butler, Carla Ferreira:
  A Process Compensation Language. 61-76
  Electronic Edition (Springer LINK) BibTeX
• Christie Bolton, Jim Davies:
  Activity Graphs and Processes. 77-96
  Electronic Edition (Springer LINK) BibTeX
• Graeme Smith, Ian J. Hayes:
  Structuring Real-Time Object-Z Specifications. 97-115
  Electronic Edition (Springer LINK) BibTeX
• H. B. M. Jonkers:
  ISpec: Towards Practical and Sound Interface Specifications. 116-135
  Electronic Edition (Springer LINK) BibTeX

Methodology

• Yamine Aït Ameur:
  Cooperation of Formal Methods in an Engineering Based Software Development Process. 136-155
  Electronic Edition (Springer LINK) BibTeX
• Luigia Petre, Kaisa Sere:
  Developing Control Systems Components. 156-175
  Electronic Edition (Springer LINK) BibTeX
• Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick:
  Specification and Analysis of Automata-Based Designs. 176-193
  Electronic Edition (Springer LINK) BibTeX
• John Derrick, Graeme Smith:
  Structural Refinement in Object-Z/CSP. 194-213
  Electronic Edition (Springer LINK) BibTeX
• Jürgen Dingel:
  Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. 214-234
  Electronic Edition (Springer LINK) BibTeX

Foundation of One Formalism by Another

• Didier Bert, Francis Cave:
  Construction of Finite Labelled Transistion Systems from B Abstract Systems. 235-254
  Electronic Edition (Springer LINK) BibTeX
• Greg Reeve, Steve Reeves:
  mu-Charts and Z: Hows, Whys, and Wherefores. 255-276
  Electronic Edition (Springer LINK) BibTeX
• Jonathan P. Bowen:
  Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. 277-296
  Electronic Edition (Springer LINK) BibTeX

Invited Talk

• Wolfram Schulte:
  Why Doesn't Anyone Use Formal Methods? 297-298
  Electronic Edition (Springer LINK) BibTeX

Semantics

• Yifeng Chen:
  How to Write a Healthiness Condition. 299-317
  Electronic Edition (Springer LINK) BibTeX
• Hanna Klaudel, Franck Pommereau:
  A Concurrent and Compositional Petri Net Semantics of Preemption. 318-337
  Electronic Edition (Springer LINK) BibTeX

Verification and Validation

• Vlad Rusu, Lydie du Bousquet, Thierry Jéron:
  An Approach to Symbolic Test Generation. 338-357
  Electronic Edition (Springer LINK) BibTeX
• Eric Meyer, Thomas Santen:
  Behavioral Conformance Verification in an Integrated Approach Using UML and B. 358-379
  Electronic Edition (Springer LINK) BibTeX
• Dominique Cansell, Dominique Méry, Stephan Merz:
  Predicate Diagrams for the Verification of Reactive Systems. 380-397
  Electronic Edition (Springer LINK) BibTeX
• Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand:
  Modular Verification for a Class of PLTL Properties. 398-419
  Electronic Edition (Springer LINK) BibTeX
• Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle:
  Towards Model Checking Stochastic Process Algebra. 420-439
  Electronic Edition (Springer LINK) BibTeX