The SCEAS System
Navigation Menu

Conferences in DBLP

Foundations of Software Engineering (SIGSOFT FSE) (sigsoft)
2007 (conf/sigsoft/2007savcbs)

  1. Effective verification of systems with a dynamic number of components. [Citation Graph (, )][DBLP]

  2. Plan-directed architectural change for autonomous systems. [Citation Graph (, )][DBLP]

  3. Reachability analysis for annotated code. [Citation Graph (, )][DBLP]

  4. Faithful mapping of model classes to mathematical structures. [Citation Graph (, )][DBLP]

  5. Proof-transforming compilation of programs with abrupt termination. [Citation Graph (, )][DBLP]

  6. An integrated verification environment for JML: architecture and early results. [Citation Graph (, )][DBLP]

  7. Playing with time in publish-subscribe using a domain-specific model checker. [Citation Graph (, )][DBLP]

  8. On timed components and their abstraction. [Citation Graph (, )][DBLP]

  9. Subject-observer specification with component-interaction automata. [Citation Graph (, )][DBLP]

  10. Game-based safety checking with Mage. [Citation Graph (, )][DBLP]

  11. Specification and verification of trustworthy component-based real-time reactive systems. [Citation Graph (, )][DBLP]

  12. Components, objects, and contracts. [Citation Graph (, )][DBLP]

  13. Compositional failure-based semantic equivalences for Reo specifications. [Citation Graph (, )][DBLP]

  14. A concept for dynamic wiring of components: correctness in dynamic adaptive systems. [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