Abstract is missing.
- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing ProductivityWolfram Büttner. 1-3 [doi]
- The High Road to Formal Validation: Michael Leuschel. 4-23 [doi]
- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based ApproachEgon Börger, Bernhard Thalheim. 24-38 [doi]
- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)Gerhard Schellhorn. 39-41 [doi]
- Model Based Refinement and the Tools of TomorrowRichard Banach. 42-56 [doi]
- A Concept-Driven Construction of the Mondex Protocol Using Three RefinementsGerhard Schellhorn, Richard Banach. 57-70 [doi]
- A Scenario-Based Validation Language for ASMsAlessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. 71-84 [doi]
- Data Flow Analysis and Testing of Abstract State MachinesAlessandra Cavarra. 85-97 [doi]
- A Verified AsmL Implementation of Belief RevisionChristoph Beierle, Gabriele Kern-Isberner. 98-111 [doi]
- Direct Support for Model Checking Abstract State Machines by Utilizing SimulationJörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich. 112-124 [doi]
- On the Purpose of Event-B Proof ObligationsStefan Hallerstede. 125-138 [doi]
- Generating Tests from B Specifications and Test PurposesJacques Julliand, Pierre-Alain Masson, Régis Tissot. 139-152 [doi]
- Combining Scenario- and Model-Based Testing to Ensure POSIX ComplianceFrédéric Dadeau, Adrien De Kermadec, Régis Tissot. 153-166 [doi]
- UseCase-Wise Development: Retrenchment for Event-BRichard Banach. 167-180 [doi]
- Towards Modelling Obligations in Event-BJuan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard. 181-194 [doi]
- A Practical Single Refinement Method for BSteve Dunne, Stacey Conroy. 195-208 [doi]
- The Composition of Event-B ModelsMichael Poppleton. 209-222 [doi]
- Reconciling Axiomatic and Model-Based Specifications ReprisedKen Robinson. 223-236 [doi]
- A Verifiable Conformance Relationship between Smart Card Applets and B Security ModelsFrédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet. 237-250 [doi]
- Modelling Attacker s Knowledge for Cascade Cryptographic ProtocolsNazim Benassa. 251-264 [doi]
- Using EventB to Create a Virtual Machine Instruction Set ArchitectureStephen Wright. 265-279 [doi]
- Z2SAL - Building a Model Checker for ZJohn Derrick, Siobhán North, Anthony J. H. Simons. 280-293 [doi]
- Formal Modeling and Analysis of a Flash Filesystem in AlloyEunsuk Kang, Daniel Jackson. 294-308 [doi]
- Unit Testing of Z SpecificationsMark Utting, Petra Malik. 309-322 [doi]
- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological ReactivityNuno Amálio, Fiona A. C. Polack, Jing Zhang. 323-336 [doi]
- Integrating Z into Large Projects Tools and TechniquesAnthony Hall. 337 [doi]
- A First Attempt to Express KAOS Refinement Patterns with Event BAbderrahman Matoussi, Frédéric Gervais, Régine Laleau. 338 [doi]
- Verification and Validation of Web Service Composition Using Event B MethodIdir Aït-Sadoune, Yamine Aït Ameur. 339-340 [doi]
- Stability of Real-Time Abstract State Machines under DesynchronizationJoëlle Cohen, Anatol Slissenko. 341 [doi]
- XML Database Transformations with Tree UpdatesQing Wang, Klaus-Dieter Schewe, Bernhard Thalheim. 342 [doi]
- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime SurveillanceRoozbeh Farahbod, Uwe Glässer. 343 [doi]
- UML-B: A Plug-in for the Event-B Tool SetColin F. Snook, Michael J. Butler. 344 [doi]
- BART: A Tool for Automatic RefinementAntoine Requet. 345 [doi]
- Model Checking Event-B by Encoding into AlloyPaulo J. Matos, João Marques-Silva. 346 [doi]
- A Roadmap for the Rodin ToolsetJean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin. 347 [doi]
- Exploiting the ASM Method for Validation & Verification of Embedded SystemsAngelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. 348 [doi]
- Tool Support for the CircusRefinement CalculusAlessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinicius Medeiros Oliveira. 349 [doi]
- Separation of Z OperationsRamsay Taylor. 350 [doi]
- BSmart: A Tool for the Development of Java Card Applications with the B MethodDavid Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira. 351-352 [doi]
- From ABZ to CryptographyEerke Boiten. 353 [doi]
- Using ASM to Achieve Executability within a Family of DSLIleana Ober, Ali Abou Dib. 354 [doi]
- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)Margus Veanes, Ando Saabas. 355 [doi]
- Formal Verification of ASM Models Using TLA:::+:::Hocine El-Habib Daho, Djilali Benhamamouch. 356 [doi]
- DIR 41 Case StudyChristophe Metayer, Mathieu Clabaut. 357 [doi]
- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-BJean-Charles Chaudemar, Charles Castel, Christel Seguin. 358 [doi]
- Object Modelling in the SystemB Industrial ProjectHelen Treharne, Edward Turner, Steve Schneider, Neil Evans. 359 [doi]
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data ReificationCliff B. Jones, Ken G. Pierce. 360-377 [doi]
- ABZ2008 VSR-Net WorkshopJim Woodcock, Paul Boca. 378-379 [doi]