A - BZ 2008:
London,
UK
Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca (Eds.):
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 BibTeX
ABZ Invited Talks
ASM Papers
B Papers
- Stefan Hallerstede:
On the Purpose of Event-B Proof Obligations.
125-138
Electronic Edition (link) BibTeX
- Jacques Julliand, Pierre-Alain Masson, Régis Tissot:
Generating Tests from B Specifications and Test Purposes.
139-152
Electronic Edition (link) BibTeX
- Frédéric Dadeau, Adrien De Kermadec, Régis Tissot:
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance.
153-166
Electronic Edition (link) BibTeX
- Richard Banach:
UseCase-Wise Development: Retrenchment for Event-B.
167-180
Electronic Edition (link) BibTeX
- Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard:
Towards Modelling Obligations in Event-B.
181-194
Electronic Edition (link) BibTeX
- Steve Dunne, Stacey Conroy:
A Practical Single Refinement Method for B.
195-208
Electronic Edition (link) BibTeX
- Michael Poppleton:
The Composition of Event-B Models.
209-222
Electronic Edition (link) BibTeX
- Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Reprised.
223-236
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nazim Benassa:
Modelling Attacker's Knowledge for Cascade Cryptographic Protocols.
251-264
Electronic Edition (link) BibTeX
- Stephen Wright:
Using EventB to Create a Virtual Machine Instruction Set Architecture.
265-279
Electronic Edition (link) BibTeX
Z Papers
ABZ Short Papers
- Anthony Hall:
Integrating Z into Large Projects Tools and Techniques.
337
Electronic Edition (link) BibTeX
- Abderrahman Matoussi, Frédéric Gervais, Régine Laleau:
A First Attempt to Express KAOS Refinement Patterns with Event B.
338
Electronic Edition (link) BibTeX
- Idir Aït-Sadoune, Yamine Aït Ameur:
Verification and Validation of Web Service Composition Using Event B Method.
339-340
Electronic Edition (link) BibTeX
- Joëlle Cohen, Anatol Slissenko:
Stability of Real-Time Abstract State Machines under Desynchronization.
341
Electronic Edition (link) BibTeX
- Qing Wang, Klaus-Dieter Schewe, Bernhard Thalheim:
XML Database Transformations with Tree Updates.
342
Electronic Edition (link) BibTeX
- Roozbeh Farahbod, Uwe Glässer:
Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance.
343
Electronic Edition (link) BibTeX
- Colin F. Snook, Michael J. Butler:
UML-B: A Plug-in for the Event-B Tool Set.
344
Electronic Edition (link) BibTeX
- Antoine Requet:
BART: A Tool for Automatic Refinement.
345
Electronic Edition (link) BibTeX
- Paulo J. Matos, João Marques-Silva:
Model Checking Event-B by Encoding into Alloy.
346
Electronic Edition (link) BibTeX
- Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin:
A Roadmap for the Rodin Toolset.
347
Electronic Edition (link) BibTeX
- Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM Method for Validation & Verification of Embedded Systems.
348
Electronic Edition (link) BibTeX
- Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinicius Medeiros Oliveira:
Tool Support for the CircusRefinement Calculus.
349
Electronic Edition (link) BibTeX
- Ramsay Taylor:
Separation of Z Operations.
350
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Eerke A. Boiten:
From ABZ to Cryptography.
353
Electronic Edition (link) BibTeX
- Ileana Ober, Ali Abou Dib:
Using ASM to Achieve Executability within a Family of DSL.
354
Electronic Edition (link) BibTeX
- Margus Veanes, Ando Saabas:
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).
355
Electronic Edition (link) BibTeX
- Hocine El-Habib Daho, Djilali Benhamamouch:
Formal Verification of ASM Models Using TLA+.
356
Electronic Edition (link) BibTeX
- Christophe Metayer, Mathieu Clabaut:
DIR 41 Case Study.
357
Electronic Edition (link) BibTeX
- Jean-Charles Chaudemar, Charles Castel, Christel Seguin:
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.
358
Electronic Edition (link) BibTeX
- Helen Treharne, Edward Turner, Steve Schneider, Neil Evans:
Object Modelling in the SystemB Industrial Project.
359
Electronic Edition (link) BibTeX
VSR Day
Copyright © Sat May 16 22:58:42 2009
by Michael Ley (ley@uni-trier.de)
