Conferences in DBLP

(sbmf)
2009 (conf/sbmf/2009)

1. 
   Speeding Up Simulation of SystemC Using Model Checking. [Citation Graph (, )][DBLP]
   
   
2. 
   Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. [Citation Graph (, )][DBLP]
   
   
3. 
   Satisfiability Modulo Theories: An Appetizer. [Citation Graph (, )][DBLP]
   
   
4. 
   Interruption Testing of Reactive Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. [Citation Graph (, )][DBLP]
   
   
6. 
   Concurrent Models of Flash Memory Device Behaviour. [Citation Graph (, )][DBLP]
   
   
7. 
   Corecursive Algebras: A Study of General Structured Corecursion. [Citation Graph (, )][DBLP]
   
   
8. 
   Formalizing FreeRTOS: First Steps. [Citation Graph (, )][DBLP]
   
   
9. 
   A Mechanized Strategy for Safe Abstraction of CSP Specifications. [Citation Graph (, )][DBLP]
   
   
10. 
    Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. [Citation Graph (, )][DBLP]
    
    
11. 
    An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. [Citation Graph (, )][DBLP]
    
    
12. 
    Towards Safe Design of Synchronous Bus Protocols in Event-B. [Citation Graph (, )][DBLP]
    
    
13. 
    Mechanising Data-Types for Kernel Design in Z. [Citation Graph (, )][DBLP]
    
    
14. 
    A Complete Set of Object Modeling Laws for Alloy. [Citation Graph (, )][DBLP]
    
    
15. 
    Undecidability Results for Distributed Probabilistic Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Formalisation and Analysis of Objects as CSP Processes. [Citation Graph (, )][DBLP]
    
    
17. 
    Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. [Citation Graph (, )][DBLP]
    
    
18. 
    Low-Level Code Verification Based on CSP Models. [Citation Graph (, )][DBLP]
    
    
19. 
    Formal Modelling of a Microcontroller Instruction Set in B. [Citation Graph (, )][DBLP]
    
    
20. 
    Defining Behaviours by Quasi-finality. [Citation Graph (, )][DBLP]
    
    
21. 
    Verifying Compiled File System Code. [Citation Graph (, )][DBLP]
    
    
22. 
    Reasoning about General Quantum Programs over Mixed States. [Citation Graph (, )][DBLP]
    
    
23. 
    A Simple and General Theoretical Account for Abstract Types. [Citation Graph (, )][DBLP]