The SCEAS System
Navigation Menu

Conferences in DBLP

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


  1. Abstract Interpretation in Code Security. [Citation Graph (, )][DBLP]


  2. Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. [Citation Graph (, )][DBLP]


  3. Nullness Analysis in Boolean Form. [Citation Graph (, )][DBLP]


  4. Widening Operators for Abstract Interpretation. [Citation Graph (, )][DBLP]


  5. Static Analysis of the Determinism of Multithreaded Programs. [Citation Graph (, )][DBLP]


  6. Cheap and Small Counterexamples. [Citation Graph (, )][DBLP]


  7. Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. [Citation Graph (, )][DBLP]


  8. Flash-Efficient LTL Model Checking with Minimal Counterexamples. [Citation Graph (, )][DBLP]


  9. Algebraic View Reconciliation. [Citation Graph (, )][DBLP]


  10. Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. [Citation Graph (, )][DBLP]


  11. Extracting Conditional Confidentiality Policies. [Citation Graph (, )][DBLP]


  12. Testing Privacy Policies Using Models. [Citation Graph (, )][DBLP]


  13. Preservation of Proof Pbligations for Hybrid Verification Methods. [Citation Graph (, )][DBLP]


  14. A Generalized Model-Based Test Generation Method. [Citation Graph (, )][DBLP]


  15. Specification-Based Testing for Software Product Lines. [Citation Graph (, )][DBLP]


  16. Verification-Based Test Case Generation for Full Feasible Branch Coverage. [Citation Graph (, )][DBLP]


  17. Tagging Make Local Testing of Message-Passing Systems Feasible. [Citation Graph (, )][DBLP]


  18. Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. [Citation Graph (, )][DBLP]


  19. Behaviour Directed Testing of Auto-code Generators. [Citation Graph (, )][DBLP]


  20. Extending Stream X-Machines to Specify and Test Systems with Timeouts. [Citation Graph (, )][DBLP]


  21. Tools for CSP. [Citation Graph (, )][DBLP]


  22. Laws of Object-Orientation with Reference Semantics. [Citation Graph (, )][DBLP]


  23. Specialized Aspect Languages Preserving Classes of Properties. [Citation Graph (, )][DBLP]


  24. Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. [Citation Graph (, )][DBLP]


  25. Object Models with Temporal Constraints. [Citation Graph (, )][DBLP]


  26. A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. [Citation Graph (, )][DBLP]


  27. PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. [Citation Graph (, )][DBLP]


  28. CRefine: Support for the Circus Refinement Calculus. [Citation Graph (, )][DBLP]


  29. An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. [Citation Graph (, )][DBLP]


  30. Modeling Component Connectors: Synchronisation and Context-Dependency. [Citation Graph (, )][DBLP]


  31. Generation of Service Wrapper Protocols from Choreography Specifications. [Citation Graph (, )][DBLP]


  32. Bridging the Gap between Interaction- and Process-Oriented Choreographies. [Citation Graph (, )][DBLP]


  33. Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. [Citation Graph (, )][DBLP]


  34. Restricted Broadcast Process Theory. [Citation Graph (, )][DBLP]


  35. Modelling Rational User Behaviour as Games between an Angel and a Demon. [Citation Graph (, )][DBLP]


  36. Formal Methods and Innovation Economy: Facing New Challenges. [Citation Graph (, )][DBLP]


  37. Behavioral Compatibility of Active Components. [Citation Graph (, )][DBLP]


  38. Contract-Based Verification of Hierarchical Systems of Components. [Citation Graph (, )][DBLP]


  39. Checking Interface Interaction Protocols Using Aspect-Oriented Programming. [Citation Graph (, )][DBLP]


  40. Ontology-Based Automatic Model Transformations. [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