Conferences in DBLP

Workshops on Abstract State Machines (asm)
2008 (conf/asm/2008)

1. 
   Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity. [Citation Graph (, )][DBLP]
   
   
2. 
   The High Road to Formal Validation: . [Citation Graph (, )][DBLP]
   
   
3. 
   Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. [Citation Graph (, )][DBLP]
   
   
4. 
   Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract). [Citation Graph (, )][DBLP]
   
   
5. 
   Model Based Refinement and the Tools of Tomorrow. [Citation Graph (, )][DBLP]
   
   
6. 
   A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. [Citation Graph (, )][DBLP]
   
   
7. 
   A Scenario-Based Validation Language for ASMs. [Citation Graph (, )][DBLP]
   
   
8. 
   Data Flow Analysis and Testing of Abstract State Machines. [Citation Graph (, )][DBLP]
   
   
9. 
   A Verified AsmL Implementation of Belief Revision. [Citation Graph (, )][DBLP]
   
   
10. 
    Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. [Citation Graph (, )][DBLP]
    
    
11. 
    On the Purpose of Event-B Proof Obligations. [Citation Graph (, )][DBLP]
    
    
12. 
    Generating Tests from B Specifications and Test Purposes. [Citation Graph (, )][DBLP]
    
    
13. 
    Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. [Citation Graph (, )][DBLP]
    
    
14. 
    UseCase-Wise Development: Retrenchment for Event-B. [Citation Graph (, )][DBLP]
    
    
15. 
    Towards Modelling Obligations in Event-B. [Citation Graph (, )][DBLP]
    
    
16. 
    A Practical Single Refinement Method for B. [Citation Graph (, )][DBLP]
    
    
17. 
    The Composition of Event-B Models. [Citation Graph (, )][DBLP]
    
    
18. 
    Reconciling Axiomatic and Model-Based Specifications Reprised. [Citation Graph (, )][DBLP]
    
    
19. 
    A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. [Citation Graph (, )][DBLP]
    
    
20. 
    Modelling Attacker's Knowledge for Cascade Cryptographic Protocols. [Citation Graph (, )][DBLP]
    
    
21. 
    Using EventB to Create a Virtual Machine Instruction Set Architecture. [Citation Graph (, )][DBLP]
    
    
22. 
    Z2SAL - Building a Model Checker for Z. [Citation Graph (, )][DBLP]
    
    
23. 
    Formal Modeling and Analysis of a Flash Filesystem in Alloy. [Citation Graph (, )][DBLP]
    
    
24. 
    Unit Testing of Z Specifications. [Citation Graph (, )][DBLP]
    
    
25. 
    Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. [Citation Graph (, )][DBLP]
    
    
26. 
    Integrating Z into Large Projects Tools and Techniques. [Citation Graph (, )][DBLP]
    
    
27. 
    A First Attempt to Express KAOS Refinement Patterns with Event B. [Citation Graph (, )][DBLP]
    
    
28. 
    Verification and Validation of Web Service Composition Using Event B Method. [Citation Graph (, )][DBLP]
    
    
29. 
    Stability of Real-Time Abstract State Machines under Desynchronization. [Citation Graph (, )][DBLP]
    
    
30. 
    XML Database Transformations with Tree Updates. [Citation Graph (, )][DBLP]
    
    
31. 
    Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. [Citation Graph (, )][DBLP]
    
    
32. 
    UML-B: A Plug-in for the Event-B Tool Set. [Citation Graph (, )][DBLP]
    
    
33. 
    BART: A Tool for Automatic Refinement. [Citation Graph (, )][DBLP]
    
    
34. 
    Model Checking Event-B by Encoding into Alloy. [Citation Graph (, )][DBLP]
    
    
35. 
    A Roadmap for the Rodin Toolset. [Citation Graph (, )][DBLP]
    
    
36. 
    Exploiting the ASM Method for Validation & Verification of Embedded Systems. [Citation Graph (, )][DBLP]
    
    
37. 
    Tool Support for the CircusRefinement Calculus. [Citation Graph (, )][DBLP]
    
    
38. 
    Separation of Z Operations. [Citation Graph (, )][DBLP]
    
    
39. 
    BSmart: A Tool for the Development of Java Card Applications with the B Method. [Citation Graph (, )][DBLP]
    
    
40. 
    From ABZ to Cryptography. [Citation Graph (, )][DBLP]
    
    
41. 
    Using ASM to Achieve Executability within a Family of DSL. [Citation Graph (, )][DBLP]
    
    
42. 
    Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). [Citation Graph (, )][DBLP]
    
    
43. 
    Formal Verification of ASM Models Using TLA⁺. [Citation Graph (, )][DBLP]
    
    
44. 
    DIR 41 Case Study. [Citation Graph (, )][DBLP]
    
    
45. 
    FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. [Citation Graph (, )][DBLP]
    
    
46. 
    Object Modelling in the SystemB Industrial Project. [Citation Graph (, )][DBLP]
    
    
47. 
    Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. [Citation Graph (, )][DBLP]
    
    
48. 
    ABZ2008 VSR-Net Workshop. [Citation Graph (, )][DBLP]