Search the dblp DataBase

Publications of Author

1. Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
   A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:441-456 [Conf]
   
2. Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
   Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. [Citation Graph (0, 0)][DBLP]
   DSN, 2007, pp:708-717 [Conf]
   
3. 
   Architectural dependability evaluation with Arcade. [Citation Graph (, )][DBLP]
   
   
4. 
   Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. [Citation Graph (, )][DBLP]
   
   
5. 
   DFTSim: a simulation tool for extended dynamic fault trees. [Citation Graph (, )][DBLP]
   
   
6. 
   Architectural Availability Analysis of Software Decomposition for Local Recovery. [Citation Graph (, )][DBLP]