The SCEAS System
Navigation Menu

Conferences in DBLP

Integrated Formal Methods (IFM) (ifm)
2009 (conf/ifm/2009)


  1. Developing Topology Discovery in Event-B. [Citation Graph (, )][DBLP]


  2. Decomposition Structures for Event-B. [Citation Graph (, )][DBLP]


  3. Taming the Unbounded for Hardware Synthesis. [Citation Graph (, )][DBLP]


  4. Verifying UML/OCL Operation Contracts. [Citation Graph (, )][DBLP]


  5. Property Specifications for Workflow Modelling. [Citation Graph (, )][DBLP]


  6. Formal Verification Based on Guided Random Walks. [Citation Graph (, )][DBLP]


  7. Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. [Citation Graph (, )][DBLP]


  8. Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. [Citation Graph (, )][DBLP]


  9. CSP with Hierarchical State. [Citation Graph (, )][DBLP]


  10. Predicate Abstraction in a Program Logic Calculus. [Citation Graph (, )][DBLP]


  11. Mechanised Translation of Control Law Diagrams into Circus. [Citation Graph (, )][DBLP]


  12. Realizability of Choreographies Using Process Algebra Encodings. [Citation Graph (, )][DBLP]


  13. Modelling Divergence in Relational Concurrent Refinement. [Citation Graph (, )][DBLP]


  14. SAL-Based Symbolic Scheduling in Time-Triggered Networks. [Citation Graph (, )][DBLP]


  15. Incremental Reasoning for Multiple Inheritance. [Citation Graph (, )][DBLP]


  16. Model Checking LTL Formulae in RAISE with FDR. [Citation Graph (, )][DBLP]


  17. An Introduction to Grammar Convergence. [Citation Graph (, )][DBLP]


  18. Application of Graph Transformation in Verification of Dynamic Systems. [Citation Graph (, )][DBLP]


  19. Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. [Citation Graph (, )][DBLP]


  20. Challenges in the Specification of Full Contracts. [Citation Graph (, )][DBLP]


  21. Partial Order Reduction for State/Event LTL. [Citation Graph (, )][DBLP]


  22. Dynamic Path Reduction for Software Model Checking. [Citation Graph (, )][DBLP]


  23. Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. [Citation Graph (, )][DBLP]


  24. Decompositional Petri Net Reductions. [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