The SCEAS System
Navigation Menu

Conferences in DBLP

IEEE International Conference on Formal Engineering Methods (icfem)
2008 (conf/icfem/2008)


  1. How Can We Make Industry Adopt Formal Methods? [Citation Graph (, )][DBLP]


  2. Programmers Ain't Mathematicians, and Neither Are Testers. [Citation Graph (, )][DBLP]


  3. Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. [Citation Graph (, )][DBLP]


  4. Specifying and Verifying Event-Based Fairness Enhanced Systems. [Citation Graph (, )][DBLP]


  5. Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. [Citation Graph (, )][DBLP]


  6. Conformance Testing Based on UML State Machines. [Citation Graph (, )][DBLP]


  7. An Approach to Testing with Embedded Context Using Model Checker. [Citation Graph (, )][DBLP]


  8. Requirements Coverage as an Adequacy Measure for Conformance Testing. [Citation Graph (, )][DBLP]


  9. Decomposition for Compositional Verification. [Citation Graph (, )][DBLP]


  10. A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. [Citation Graph (, )][DBLP]


  11. Program Models for Compositional Verification. [Citation Graph (, )][DBLP]


  12. A Unified Model Checking Approach with Projection Temporal Logic. [Citation Graph (, )][DBLP]


  13. Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. [Citation Graph (, )][DBLP]


  14. Towards Abstraction for DynAlloy Specifications. [Citation Graph (, )][DBLP]


  15. Partial Translation Verification for Untrusted Code-Generators. [Citation Graph (, )][DBLP]


  16. A Practical Approach to Partiality - A Proof Based Approach. [Citation Graph (, )][DBLP]


  17. A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. [Citation Graph (, )][DBLP]


  18. Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. [Citation Graph (, )][DBLP]


  19. Practical Automated Partial Verification of Multi-paradigm Real-Time Models. [Citation Graph (, )][DBLP]


  20. Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. [Citation Graph (, )][DBLP]


  21. Correct Channel Passing by Construction. [Citation Graph (, )][DBLP]


  22. A Process Semantics for BPMN. [Citation Graph (, )][DBLP]


  23. A Formal Descriptive Semantics of UML. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002