Conferences in DBLP

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

1. 
   Formal modeling of BPEL workflows including fault and compensation handling. [Citation Graph (, )][DBLP]
   
   
2. 
   Towards fault tolerance in web services compositions. [Citation Graph (, )][DBLP]
   
   
3. 
   Diagnosis service for embedded software component based systems. [Citation Graph (, )][DBLP]
   
   
4. 
   On engineering standards based carrier grade platforms. [Citation Graph (, )][DBLP]
   
   
5. 
   Experimenting with diversity in the model driven development of a railway signaling system. [Citation Graph (, )][DBLP]
   
   
6. 
   Fault-tolerant digital systems implemented with partially definite and partially correct automata. [Citation Graph (, )][DBLP]
   
   
7. 
   Fault and adversary tolerance as an emergent property of distributed systems' software architectures. [Citation Graph (, )][DBLP]
   
   
8. 
   Scheduling of embedded time-triggered systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Evaluating fault-tolerant system designs using FAUmachine. [Citation Graph (, )][DBLP]
   
   
10. 
    Refinement patterns for rapid development of dependable systems. [Citation Graph (, )][DBLP]