| 2008 | A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. Gerhard Schellhorn, Richard Banach |
| 2008 | A First Attempt to Express KAOS Refinement Patterns with Event B. Abderrahman Matoussi, Frédéric Gervais, Régine Laleau |
| 2008 | A Practical Single Refinement Method for B. Steve Dunne, Stacey Conroy |
| 2008 | A Roadmap for the Rodin Toolset. Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin |
| 2008 | A Scenario-Based Validation Language for ASMs. Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2008 | A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet |
| 2008 | A Verified AsmL Implementation of Belief Revision. Christoph Beierle, Gabriele Kern-Isberner |
| 2008 | ABZ2008 VSR-Net Workshop. Jim Woodcock, Paul Boca |
| 2008 | Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca |
| 2008 | Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. Nuno Amálio, Fiona Polack, Jing Zhang |
| 2008 | BART: A Tool for Automatic Refinement. Antoine Requet |
| 2008 | BSmart: A Tool for the Development of Java Card Applications with the B Method. David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
| 2008 | Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. Frédéric Dadeau, Adrien De Kermadec, Régis Tissot |
| 2008 | Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity. Wolfram Büttner |
| 2008 | DIR 41 Case Study. Christophe Métayer, Mathieu Clabaut |
| 2008 | Data Flow Analysis and Testing of Abstract State Machines. Alessandra Cavarra |
| 2008 | Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich |
| 2008 | Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. Roozbeh Farahbod, Uwe Glässer |
| 2008 | Exploiting the ASM Method for Validation & Verification of Embedded Systems. Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2008 | FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. Jean-Charles Chaudemar, Charles Castel, Christel Seguin |
| 2008 | Formal Modeling and Analysis of a Flash Filesystem in Alloy. Eunsuk Kang, Daniel Jackson |
| 2008 | Formal Verification of ASM Models Using TLA Hocine El-Habib Daho, Djilali Benhamamouch |
| 2008 | From ABZ to Cryptography. Eerke A. Boiten |
| 2008 | Generating Tests from B Specifications and Test Purposes. Jacques Julliand, Pierre-Alain Masson, Régis Tissot |
| 2008 | Integrating Z into Large Projects Tools and Techniques. Anthony Hall |
| 2008 | Model Based Refinement and the Tools of Tomorrow. Richard Banach |
| 2008 | Model Checking Event-B by Encoding into Alloy. Paulo J. Matos, João Marques-Silva |
| 2008 | Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. Egon Börger, Bernhard Thalheim |
| 2008 | Modelling Attacker's Knowledge for Cascade Cryptographic Protocols. Nazim Benaïssa |
| 2008 | Object Modelling in the SystemB Industrial Project. Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans |
| 2008 | On the Purpose of Event-B Proof Obligations. Stefan Hallerstede |
| 2008 | Reconciling Axiomatic and Model-Based Specifications Reprised. Ken Robinson |
| 2008 | Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract). Gerhard Schellhorn |
| 2008 | Separation of Z Operations. Ramsay Taylor |
| 2008 | Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Cliff B. Jones, Ken G. Pierce |
| 2008 | Stability of Real-Time Abstract State Machines under Desynchronization. Joëlle Cohen, Anatol Slissenko |
| 2008 | The Composition of Event-B Models. Michael Poppleton |
| 2008 | The High Road to Formal Validation: . Michael Leuschel |
| 2008 | Tool Support for the CircusRefinement Calculus. Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira |
| 2008 | Towards Modelling Obligations in Event-B. Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard |
| 2008 | UML-B: A Plug-in for the Event-B Tool Set. Colin F. Snook, Michael J. Butler |
| 2008 | Unit Testing of Z Specifications. Mark Utting, Petra Malik |
| 2008 | UseCase-Wise Development: Retrenchment for Event-B. Richard Banach |
| 2008 | Using ASM to Achieve Executability within a Family of DSL. Ileana Ober, Ali Abou Dib |
| 2008 | Using EventB to Create a Virtual Machine Instruction Set Architecture. Stephen Wright |
| 2008 | Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). Margus Veanes, Ando Saabas |
| 2008 | Verification and Validation of Web Service Composition Using Event B Method. Idir Aït-Sadoune, Yamine Aït Ameur |
| 2008 | XML Database Transformations with Tree Updates. Qing Wang, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2008 | Z2SAL - Building a Model Checker for Z. John Derrick, Siobhán North, Anthony J. H. Simons |