Conferences in DBLP

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

1. 
   A Structure for Dependability Arguments. [Citation Graph (, )][DBLP]
   
   
2. 
   Formal Probabilistic Analysis: A Higher-Order Logic Based Approach. [Citation Graph (, )][DBLP]
   
   
3. 
   Synchronous Message Passing and Semaphores: An Equivalence Proof. [Citation Graph (, )][DBLP]
   
   
4. 
   AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps. [Citation Graph (, )][DBLP]
   
   
5. 
   Bârun: A Scripting Language for CoreASM. [Citation Graph (, )][DBLP]
   
   
6. 
   AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. [Citation Graph (, )][DBLP]
   
   
7. 
   An Executable Semantics of the SystemC UML Profile. [Citation Graph (, )][DBLP]
   
   
8. 
   Specifying Self-configurable Component-Based Systems with FracToy. [Citation Graph (, )][DBLP]
   
   
9. 
   Trace Specifications in Alloy. [Citation Graph (, )][DBLP]
   
   
10. 
    An Imperative Extension to Alloy. [Citation Graph (, )][DBLP]
    
    
11. 
    Towards Formalizing Network Architectural Descriptions. [Citation Graph (, )][DBLP]
    
    
12. 
    Lightweight Modeling of Java Virtual Machine Security Constraints. [Citation Graph (, )][DBLP]
    
    
13. 
    Alloy+HotCore: A Fast Approximation to Unsat Core. [Citation Graph (, )][DBLP]
    
    
14. 
    Supporting Reuse in Event B Development: Modularisation Approach. [Citation Graph (, )][DBLP]
    
    
15. 
    Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. [Citation Graph (, )][DBLP]
    
    
16. 
    Applying the B Method for the Rigorous Development of Smart Card Applications. [Citation Graph (, )][DBLP]
    
    
17. 
    Automatic Verification for a Class of Proof Obligations with SMT-Solvers. [Citation Graph (, )][DBLP]
    
    
18. 
    A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. [Citation Graph (, )][DBLP]
    
    
19. 
    Development of a Synchronous Subset of AADL. [Citation Graph (, )][DBLP]
    
    
20. 
    Matelas: A Predicate Calculus Common Formal Definition for Social Networking. [Citation Graph (, )][DBLP]
    
    
21. 
    Structured Event-B Models and Proofs. [Citation Graph (, )][DBLP]
    
    
22. 
    Refinement-Animation for Event-B - Towards a Method of Validation. [Citation Graph (, )][DBLP]
    
    
23. 
    Reactivising Classical B. [Citation Graph (, )][DBLP]
    
    
24. 
    Event-B Decomposition for Parallel Programs. [Citation Graph (, )][DBLP]
    
    
25. 
    Communication Systems in ClawZ. [Citation Graph (, )][DBLP]
    
    
26. 
    Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods. [Citation Graph (, )][DBLP]
    
    
27. 
    Towards Formally Templated Relational Database Representations in Z. [Citation Graph (, )][DBLP]
    
    
28. 
    Translating Z to Alloy. [Citation Graph (, )][DBLP]
    
    
29. 
    B-ASM: Specification of ASM à la B. [Citation Graph (, )][DBLP]
    
    
30. 
    A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. [Citation Graph (, )][DBLP]
    
    
31. 
    On the Modelling and Analysis of Amazon Web Services Access Policies. [Citation Graph (, )][DBLP]
    
    
32. 
    Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. [Citation Graph (, )][DBLP]
    
    
33. 
    ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. [Citation Graph (, )][DBLP]
    
    
34. 
    Introducing Specification-Based Data Structure Repair Using Alloy. [Citation Graph (, )][DBLP]
    
    
35. 
    Secrecy UML Method for Model Transformations. [Citation Graph (, )][DBLP]
    
    
36. 
    Improving Traceability between KAOS Requirements Models and B Specifications. [Citation Graph (, )][DBLP]
    
    
37. 
    Code Synthesis for Timed Automata: A Comparison Using Case Study. [Citation Graph (, )][DBLP]
    
    
38. 
    Towards Validation of Requirements Models. [Citation Graph (, )][DBLP]
    
    
39. 
    A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. [Citation Graph (, )][DBLP]
    
    
40. 
    On an Extensible Rule-Based Prover for Event-B. [Citation Graph (, )][DBLP]
    
    
41. 
    B Model Abstraction Combining Syntactic and Semantic Methods. [Citation Graph (, )][DBLP]
    
    
42. 
    A Basis for Feature-Oriented Modelling in Event-B. [Citation Graph (, )][DBLP]
    
    
43. 
    Using Event-B to Verify the Kmelia Components and Their Assemblies. [Citation Graph (, )][DBLP]
    
    
44. 
    Starting B Specifications from Use Cases. [Citation Graph (, )][DBLP]
    
    
45. 
    Integrating SMT-Solvers in Z and B Tools. [Citation Graph (, )][DBLP]
    
    
46. 
    Formal Analysis in Model Management: Exploiting the Power of CZT. [Citation Graph (, )][DBLP]