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]