The SCEAS System
Navigation Menu

Conferences in DBLP

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


  1. Software Verification and System Assurance. [Citation Graph (, )][DBLP]


  2. Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. [Citation Graph (, )][DBLP]


  3. Implementation Correctness of a Real-Time Operating System. [Citation Graph (, )][DBLP]


  4. LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). [Citation Graph (, )][DBLP]


  5. Simulation Relations for Systems with Distributed Interfaces. [Citation Graph (, )][DBLP]


  6. An Automated Approach to Verifying Diagnosability in Multi-agent Systems. [Citation Graph (, )][DBLP]


  7. Specifying Interacting Components with Coordinated Concurrent Scenarios. [Citation Graph (, )][DBLP]


  8. Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. [Citation Graph (, )][DBLP]


  9. Relational Interprocedural Verification of Concurrent Programs. [Citation Graph (, )][DBLP]


  10. Using Change Impact Analysis to Select Tests for Extended Finite State Machines. [Citation Graph (, )][DBLP]


  11. Overflow and Roundoff Error Analysis via Model Checking. [Citation Graph (, )][DBLP]


  12. Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. [Citation Graph (, )][DBLP]


  13. Heuristic Sensitivity in Guided Random-Walk Based Model Checking. [Citation Graph (, )][DBLP]


  14. Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables. [Citation Graph (, )][DBLP]


  15. Property-Driven Scenario Integration. [Citation Graph (, )][DBLP]


  16. Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. [Citation Graph (, )][DBLP]


  17. Checkmate: A Generic Static Analyzer of Java Multithreaded Programs. [Citation Graph (, )][DBLP]


  18. Completeness of Pointer Program Verification by Separation Logic. [Citation Graph (, )][DBLP]


  19. Programming Sagas in SOCK. [Citation Graph (, )][DBLP]


  20. Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. [Citation Graph (, )][DBLP]


  21. Event-B Patterns and Their Tool Support. [Citation Graph (, )][DBLP]


  22. Specifying and Checking Refinement Relationships in VDM++. [Citation Graph (, )][DBLP]


  23. A Computability Perspective on Self-Modifying Programs. [Citation Graph (, )][DBLP]


  24. Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. [Citation Graph (, )][DBLP]


  25. Refinement via Interpretation. [Citation Graph (, )][DBLP]


  26. Ontology-Based Reasoning in Requirements Elicitation. [Citation Graph (, )][DBLP]


  27. Formal Modeling and Analysis of an IETF Multicast Protocol. [Citation Graph (, )][DBLP]


  28. Mapping between Alloy Specifications and Database Implementations. [Citation Graph (, )][DBLP]


  29. Modal Contracts for Component-Based Design. [Citation Graph (, )][DBLP]


  30. Precise Model-Driven Transformations Based on Graphs and Metamodels. [Citation Graph (, )][DBLP]


  31. Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. [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