Conferences in DBLP

Conference on Software Engineering and Formal Methods (SEFM) (sefm)
2007 (conf/sefm/2007)

1. 
   Specialising in Software Engineering. [Citation Graph (, )][DBLP]
   
   
2. 
   Verification of C Programs Using Automated Reasoning. [Citation Graph (, )][DBLP]
   
   
3. 
   Problem Oriented Software Engineering: A design-theoretic framework for software engineering. [Citation Graph (, )][DBLP]
   
   
4. 
   Formalising Design Patterns in Predicate Logic. [Citation Graph (, )][DBLP]
   
   
5. 
   Retrenchment and the Atomicity Pattern. [Citation Graph (, )][DBLP]
   
   
6. 
   Verifying the Mondex Case Study. [Citation Graph (, )][DBLP]
   
   
7. 
   Model-driven architecture for cancer research. [Citation Graph (, )][DBLP]
   
   
8. 
   Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. [Citation Graph (, )][DBLP]
   
   
9. 
   How to Test Program Generators? A Case Study using flex. [Citation Graph (, )][DBLP]
   
   
10. 
    Proving Termination by Divergence. [Citation Graph (, )][DBLP]
    
    
11. 
    Supporting Proof in a Reactive Development Environment. [Citation Graph (, )][DBLP]
    
    
12. 
    Sound reasoning about unchecked exceptions. [Citation Graph (, )][DBLP]
    
    
13. 
    The Rôle of Abstract Interpretation in Formal Methods. [Citation Graph (, )][DBLP]
    
    
14. 
    A Dynamic Logic for Deductive Verification of Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
15. 
    An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. [Citation Graph (, )][DBLP]
    
    
16. 
    An Integrated Specification Framework for Embedded Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    A Thread-tag Based Semantics for Sequence Diagrams. [Citation Graph (, )][DBLP]
    
    
18. 
    An AOP Extended Lambda-Calculus. [Citation Graph (, )][DBLP]
    
    
19. 
    ASN1-light: A Verified Message Encoding for Security Protocols. [Citation Graph (, )][DBLP]
    
    
20. 
    Recovery from DoS Attacks in MIPv6: Modeling and Validation. [Citation Graph (, )][DBLP]
    
    
21. 
    Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. [Citation Graph (, )][DBLP]
    
    
22. 
    Testing conformance on Stochastic Stream X-Machines. [Citation Graph (, )][DBLP]
    
    
23. 
    Specification-based testing for refinement. [Citation Graph (, )][DBLP]
    
    
24. 
    Hardness for Explicit State Software Model Checking Benchmarks. [Citation Graph (, )][DBLP]
    
    
25. 
    Model Checking RAISE Applicative Specifications. [Citation Graph (, )][DBLP]
    
    
26. 
    Automatically Proving Concurrent Programs Correct. [Citation Graph (, )][DBLP]
    
    
27. 
    Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. [Citation Graph (, )][DBLP]
    
    
28. 
    Verification of Object Relational Maps. [Citation Graph (, )][DBLP]
    
    
29. 
    Formal Specification using Interaction Diagrams. [Citation Graph (, )][DBLP]
    
    
30. 
    Disciplining Orchestration and Conversation in Service-Oriented Computing. [Citation Graph (, )][DBLP]
    
    
31. 
    Algebraic Approach to Linking the Semantics of Web Services. [Citation Graph (, )][DBLP]
    
    
32. 
    Formal verification of tamper-evident storage for e-voting. [Citation Graph (, )][DBLP]
    
    
33. 
    A Scalable Lock-Free Stack Algorithm and its Verification. [Citation Graph (, )][DBLP]
    
    
34. 
    Verifying Security Properties of Cryptoprotocols: A Novel Approach. [Citation Graph (, )][DBLP]
    
    
35. 
    Configurable Proof Obligations in the Frog Toolkit. [Citation Graph (, )][DBLP]
    
    
36. 
    Feature Refinement. [Citation Graph (, )][DBLP]
    
    
37. 
    Run-time Composition and Adaptation of Mismatching Behavioural Transactions. [Citation Graph (, )][DBLP]
    
    
38. 
    Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. [Citation Graph (, )][DBLP]