Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings 2008
    DBLP: db/conf/asm/abz2008.html
    Bookmark:

    Below you find the publications assigned to this venue.

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

    Your query returned 48 matches in the database.