The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Seamless Model Driven Systems Engineering Based on Formal Models. [Citation Graph (, )][DBLP]

  2. Compositional Verification of Input-Output Conformance via CSP Refinement Checking. [Citation Graph (, )][DBLP]

  3. Symbolic Query Exploration. [Citation Graph (, )][DBLP]

  4. Event Listener Analysis and Symbolic Execution for Testing GUI Applications. [Citation Graph (, )][DBLP]

  5. An Empirical Study of Structural Constraint Solving Techniques. [Citation Graph (, )][DBLP]

  6. Improving Automatic Verification of Security Protocols with XOR. [Citation Graph (, )][DBLP]

  7. Modeling and Verification of Privacy Enhancing Protocols. [Citation Graph (, )][DBLP]

  8. Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. [Citation Graph (, )][DBLP]

  9. Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. [Citation Graph (, )][DBLP]

  10. A Statistical Approach to Test Stochastic and Probabilistic Systems. [Citation Graph (, )][DBLP]

  11. Qualitative Action Systems. [Citation Graph (, )][DBLP]

  12. RAFFS: Model Checking a Robust Abstract Flash File Store. [Citation Graph (, )][DBLP]

  13. European Train Control System: A Case Study in Formal Verification. [Citation Graph (, )][DBLP]

  14. Development of Security Software: A High Assurance Methodology. [Citation Graph (, )][DBLP]

  15. Bounded Semantics of CTL and SAT-Based Verification. [Citation Graph (, )][DBLP]

  16. Graded-CTL: Satisfiability and Symbolic Model Checking. [Citation Graph (, )][DBLP]

  17. Approximate Model Checking of PCTL Involving Unbounded Path Properties. [Citation Graph (, )][DBLP]

  18. A Graph-Based Operational Semantics of OO Programs. [Citation Graph (, )][DBLP]

  19. Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. [Citation Graph (, )][DBLP]

  20. A Verification System for Distributed Objects with Asynchronous Method Calls. [Citation Graph (, )][DBLP]

  21. A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. [Citation Graph (, )][DBLP]

  22. Scalable Multi-core Model Checking Fairness Enhanced Systems. [Citation Graph (, )][DBLP]

  23. Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language. [Citation Graph (, )][DBLP]

  24. Supporting Reuse of Event-B Developments through Generic Instantiation. [Citation Graph (, )][DBLP]

  25. A Lazy Unbounded Model Checker for Event-B. [Citation Graph (, )][DBLP]

  26. Proof Assisted Model Checking for B. [Citation Graph (, )][DBLP]

  27. Machine-Checked Sequencer for Critical Embedded Code Generator. [Citation Graph (, )][DBLP]

  28. Implementing a Direct Method for Certificate Translation. [Citation Graph (, )][DBLP]

  29. Algorithmic Verification with Multiple and Nested Parameters. [Citation Graph (, )][DBLP]

  30. Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. [Citation Graph (, )][DBLP]

  31. Modal Systems: Specification, Refinement and Realisation. [Citation Graph (, )][DBLP]

  32. Refinement-Preserving Co-evolution. [Citation Graph (, )][DBLP]

  33. Circular Coinduction with Special Contexts. [Citation Graph (, )][DBLP]

  34. The VSE Refinement Method in Hets. [Citation Graph (, )][DBLP]

  35. A Compositional Approach on Modal Specifications for Timed Systems. [Citation Graph (, )][DBLP]

  36. An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. [Citation Graph (, )][DBLP]

  37. Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. [Citation Graph (, )][DBLP]

  38. Specifying and Verifying Business Processes Using PPML. [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