A - BZ 2008: London, UK

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 Benassa:
  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 Vinicius 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 Metayer, 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 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
  

Last update Mon Feb 13 04:19:22 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page