The SCEAS System
Navigation Menu

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]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002