| 2000 | A Concurrent and Compositional Petri Net Semantics of Preemption. Hanna Klaudel, Franck Pommereau |
| 2000 | A Process Compensation Language. Michael J. Butler, Carla Ferreira |
| 2000 | Activity Graphs and Processes. Christie Bolton, Jim Davies |
| 2000 | An Approach to Symbolic Test Generation. Vlad Rusu, Lydie du Bousquet, Thierry Jéron |
| 2000 | Assertions. C. A. R. Hoare |
| 2000 | Behavioral Conformance Verification in an Integrated Approach Using UML and B. Eric Meyer, Thomas Santen |
| 2000 | Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. Jonathan P. Bowen |
| 2000 | Construction of Finite Labelled Transistion Systems from B Abstract Systems. Didier Bert, Francis Cave |
| 2000 | Cooperation of Formal Methods in an Engineering Based Software Development Process. Yamine Aït Ameur |
| 2000 | Developing Control Systems Components. Luigia Petre, Kaisa Sere |
| 2000 | Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. Jörg Fischer, Stefan Conrad |
| 2000 | How to Write a Healthiness Condition. Yifeng Chen |
| 2000 | ISpec: Towards Practical and Sound Interface Specifications. H. B. M. Jonkers |
| 2000 | Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings Wolfgang Grieskamp, Thomas Santen, Bill Stoddart |
| 2000 | Linking DC Together with TRSL. Anne Elisabeth Haxthausen, Xia Yong |
| 2000 | Modular Verification for a Class of PLTL Properties. Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand |
| 2000 | Predicate Diagrams for the Verification of Reactive Systems. Dominique Cansell, Dominique Méry, Stephan Merz |
| 2000 | Specification and Analysis of Automata-Based Designs. Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick |
| 2000 | State-Based Extensions of CASL. Hubert Baumeister, Alexandre V. Zamulin |
| 2000 | Structural Refinement in Object-Z/CSP. John Derrick, Graeme Smith |
| 2000 | Structuring Real-Time Object-Z Specifications. Graeme Smith, Ian J. Hayes |
| 2000 | Towards Model Checking Stochastic Process Algebra. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 2000 | Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. Jürgen Dingel |
| 2000 | Why Doesn't Anyone Use Formal Methods? Wolfram Schulte |
| 2000 | mu-Charts and Z: Hows, Whys, and Wherefores. Greg Reeve, Steve Reeves |