Conferences in DBLP

World Congress on Formal Methods (FM) (fm)
2009 (conf/fm/2009)

1. 
   Formal Methods for Privacy. [Citation Graph (, )][DBLP]
   
   
2. 
   What Can Formal Methods Bring to Systems Biology? [Citation Graph (, )][DBLP]
   
   
3. 
   Guess and Verify - Back to the Future. [Citation Graph (, )][DBLP]
   
   
4. 
   Verification, Testing and Statistics. [Citation Graph (, )][DBLP]
   
   
5. 
   Security, Probability and Nearly Fair Coins in the Cryptographers' Café. [Citation Graph (, )][DBLP]
   
   
6. 
   Recursive Abstractions for Parameterized Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Abstract Model Checking without Computing the Abstraction. [Citation Graph (, )][DBLP]
   
   
8. 
   Three-Valued Spotlight Abstractions. [Citation Graph (, )][DBLP]
   
   
9. 
   Fair Model Checking with Process Counter Abstraction. [Citation Graph (, )][DBLP]
   
   
10. 
    Systematic Development of Trustworthy Component Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Partial Order Reductions Using Compositional Confluence Detection. [Citation Graph (, )][DBLP]
    
    
12. 
    A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. [Citation Graph (, )][DBLP]
    
    
13. 
    Abstract Specification of the UBIFS File System for Flash Memory. [Citation Graph (, )][DBLP]
    
    
14. 
    Inferring Mealy Machines. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Management of CAD/CAM Processes. [Citation Graph (, )][DBLP]
    
    
16. 
    Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. [Citation Graph (, )][DBLP]
    
    
17. 
    Symbolic Predictive Analysis for Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
18. 
    On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. [Citation Graph (, )][DBLP]
    
    
19. 
    Sums and Lovers: Case Studies in Security, Compositionality and Refinement. [Citation Graph (, )][DBLP]
    
    
20. 
    Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. [Citation Graph (, )][DBLP]
    
    
21. 
    Model Checking Linearizability via Refinement. [Citation Graph (, )][DBLP]
    
    
22. 
    It's Doomed; We Can Prove It. [Citation Graph (, )][DBLP]
    
    
23. 
    "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. [Citation Graph (, )][DBLP]
    
    
24. 
    Field-Sensitive Value Analysis by Field-Insensitive Analysis. [Citation Graph (, )][DBLP]
    
    
25. 
    Making Temporal Logic Calculational: A Tool for Unification and Discovery. [Citation Graph (, )][DBLP]
    
    
26. 
    A Tableau for CTL. [Citation Graph (, )][DBLP]
    
    
27. 
    Certifiable Specification and Verification of C Programs. [Citation Graph (, )][DBLP]
    
    
28. 
    Formal Reasoning about Expectation Properties for Continuous Random Variables. [Citation Graph (, )][DBLP]
    
    
29. 
    The Denotational Semantics of slotted-Circus. [Citation Graph (, )][DBLP]
    
    
30. 
    Unifying Probability with Nondeterminism. [Citation Graph (, )][DBLP]
    
    
31. 
    Towards an Operational Semantics for Alloy. [Citation Graph (, )][DBLP]
    
    
32. 
    A Robust Semantics Hides Fewer Errors. [Citation Graph (, )][DBLP]
    
    
33. 
    Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. [Citation Graph (, )][DBLP]
    
    
34. 
    Formal Verification of Avionics Software Products. [Citation Graph (, )][DBLP]
    
    
35. 
    Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study. [Citation Graph (, )][DBLP]
    
    
36. 
    Connecting UML and VDM++ with Open Tool Support. [Citation Graph (, )][DBLP]
    
    
37. 
    Language and Tool Support for Class and State Machine Refinement in UML-B. [Citation Graph (, )][DBLP]
    
    
38. 
    Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. [Citation Graph (, )][DBLP]
    
    
39. 
    Abstract Object Creation in Dynamic Logic. [Citation Graph (, )][DBLP]
    
    
40. 
    Reasoning about Memory Layouts. [Citation Graph (, )][DBLP]
    
    
41. 
    A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. [Citation Graph (, )][DBLP]
    
    
42. 
    On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. [Citation Graph (, )][DBLP]
    
    
43. 
    Verifying Real-Time Systems against Scenario-Based Requirements. [Citation Graph (, )][DBLP]
    
    
44. 
    Formal Specification of a Cardiac Pacing System. [Citation Graph (, )][DBLP]
    
    
45. 
    Automated Property Verification for Large Scale B Models. [Citation Graph (, )][DBLP]
    
    
46. 
    Reduced Execution Semantics of MPI: From Theory to Practice. [Citation Graph (, )][DBLP]
    
    
47. 
    A Metric Encoding for Bounded Model Checking. [Citation Graph (, )][DBLP]
    
    
48. 
    An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. [Citation Graph (, )][DBLP]
    
    
49. 
    Verifying Information Flow Control over Unbounded Processes. [Citation Graph (, )][DBLP]
    
    
50. 
    Specification and Verification of Web Applications in Rewriting Logic. [Citation Graph (, )][DBLP]
    
    
51. 
    Verifying the Microsoft Hyper-V Hypervisor with VCC. [Citation Graph (, )][DBLP]
    
    
52. 
    Industrial Practice in Formal Methods: A Review. [Citation Graph (, )][DBLP]
    
    
53. 
    Model-Based GUI Testing Using Uppaal at Novo Nordisk. [Citation Graph (, )][DBLP]