![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
ABZ 2008: London, UK
- Egon Börger, Michael J. Butler, Jonathan P. Bowen
, Paul Boca:
Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5238, Springer 2008, ISBN 978-3-540-87602-1
ABZ Invited Talks
- Wolfram Büttner:
Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity. 1-3 - Michael Leuschel:
The High Road to Formal Validation: . 4-23 - Egon Börger, Bernhard Thalheim
:
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. 24-38 - Gerhard Schellhorn:
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract). 39-41
ASM Papers
- Richard Banach:
Model Based Refinement and the Tools of Tomorrow. 42-56 - Gerhard Schellhorn, Richard Banach:
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. 57-70 - Alessandro Carioni, Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
A Scenario-Based Validation Language for ASMs. 71-84 - Alessandra Cavarra:
Data Flow Analysis and Testing of Abstract State Machines. 85-97 - Christoph Beierle, Gabriele Kern-Isberner:
A Verified AsmL Implementation of Belief Revision. 98-111 - Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich:
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. 112-124
B Papers
- Stefan Hallerstede:
On the Purpose of Event-B Proof Obligations. 125-138 - Jacques Julliand, Pierre-Alain Masson, Régis Tissot:
Generating Tests from B Specifications and Test Purposes. 139-152 - Frédéric Dadeau, Adrien De Kermadec, Régis Tissot:
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. 153-166 - Richard Banach:
UseCase-Wise Development: Retrenchment for Event-B. 167-180 - Juan Bicarregui
, Alvaro Arenas, Benjamin Aziz, Philippe Massonet
, Christophe Ponsard:
Towards Modelling Obligations in Event-B. 181-194 - Steve Dunne, Stacey Conroy:
A Practical Single Refinement Method for B. 195-208 - Michael Poppleton:
The Composition of Event-B Models. 209-222 - Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Reprised. 223-236 - Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet:
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. 237-250 - Nazim Benaïssa:
Modelling Attacker's Knowledge for Cascade Cryptographic Protocols. 251-264 - Stephen Wright:
Using EventB to Create a Virtual Machine Instruction Set Architecture. 265-279
Z Papers
- John Derrick
, Siobhán North, Anthony J. H. Simons
:
Z2SAL - Building a Model Checker for Z. 280-293 - Eunsuk Kang, Daniel Jackson:
Formal Modeling and Analysis of a Flash Filesystem in Alloy. 294-308 - Mark Utting
, Petra Malik:
Unit Testing of Z Specifications. 309-322 - Nuno Amálio
, Fiona Polack, Jing Zhang:
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. 323-336
ABZ Short Papers
- Anthony Hall:
Integrating Z into Large Projects Tools and Techniques. 337 - Abderrahman Matoussi, Frédéric Gervais, Régine Laleau:
A First Attempt to Express KAOS Refinement Patterns with Event B. 338 - Idir Aït-Sadoune, Yamine Aït Ameur:
Verification and Validation of Web Service Composition Using Event B Method. 339-340 - Joëlle Cohen, Anatol Slissenko:
Stability of Real-Time Abstract State Machines under Desynchronization. 341 - Qing Wang
, Klaus-Dieter Schewe, Bernhard Thalheim
:
XML Database Transformations with Tree Updates. 342 - Roozbeh Farahbod, Uwe Glässer:
Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. 343 - Colin F. Snook
, Michael J. Butler
:
UML-B: A Plug-in for the Event-B Tool Set. 344 - Antoine Requet:
BART: A Tool for Automatic Refinement. 345 - Paulo J. Matos, João Marques-Silva:
Model Checking Event-B by Encoding into Alloy. 346 - Jean-Raymond Abrial, Michael J. Butler
, Stefan Hallerstede, Laurent Voisin:
A Roadmap for the Rodin Toolset. 347 - Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
Exploiting the ASM Method for Validation & Verification of Embedded Systems. 348 - Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira:
Tool Support for the CircusRefinement Calculus. 349 - Ramsay Taylor
:
Separation of Z Operations. 350 - David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira:
BSmart: A Tool for the Development of Java Card Applications with the B Method. 351-352 - Eerke A. Boiten
:
From ABZ to Cryptography. 353 - Ileana Ober, Ali Abou Dib:
Using ASM to Achieve Executability within a Family of DSL. 354 - Margus Veanes, Ando Saabas:
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). 355 - Hocine El-Habib Daho, Djilali Benhamamouch:
Formal Verification of ASM Models Using TLA+. 356 - Christophe Métayer, Mathieu Clabaut:
DIR 41 Case Study. 357 - Jean-Charles Chaudemar
, Charles Castel, Christel Seguin:
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. 358 - Helen Treharne
, Edward Turner, Steve A. Schneider
, Neil Evans:
Object Modelling in the SystemB Industrial Project. 359
VSR Day
- Cliff B. Jones
, Ken G. Pierce:
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. 360-377 - Jim Woodcock
, Paul Boca:
ABZ2008 VSR-Net Workshop. 378-379
![](https://dblp.org/img/cog.dark.24x24.png)
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.