Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2010 | 2009 | 2008 | 2007 | 2006
Number of items: 12.

2010

Boudali, Hichem and Crouzen, Pepijn and Stoelinga, Mariëlle (2010) A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Transactions on Dependable and Secure Computing, 7 (2). pp. 128-143. ISSN 1545-5971

2009

Boudali, H. and Nijmeijer, A.P. and Stoelinga, M.I.A. (2009) DFTSim: A Simulation Tool for Extended Dynamic Fault Trees. In: 42nd Annual Simulation Symposium, ANSS 2009, March 22-27, 2009, San Diego, CA, USA (pp. p. 31).

Boudali, Hichem and Sözer, Hasan and Stoelinga, Mariëlle (2009) Architectural Availability Analysis of Software Decomposition for Local Recovery. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 8-10 July 2009, Shanghai, China (pp. pp. 14-22).

2008

Boudali, H. and Crouzen, P. and Haverkort, B.R. and Kuntz, M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA (pp. pp. 512-521).

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008, March 31, 2008 - April 3, 2008 , Belfast, UK (pp. pp. 243-248).

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. In: Second Workshop on Foundations of Interface Theories, FIT 2008, April 10, 2008, Budapest, Hungary (pp. pp. 5-10).

Montani, Stefania and Boudali, Hichem (2008) Guest Editorial: Special session on Bayesian networks in dependability. Reliability Engineering & System Safety, 93 (7). p. 921. ISSN 0951-8320

2007

Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional reliability and availability evaluation tool. In: ARTIST workshop: Tool Platforms for Embedded Systems Modeling, Analysis and Validation. Presented at the 19th International conference on Computer Aided Verification, July 1-2, 2007, Berlin, Germany.

Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains. In: 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), October 22-25, 2007, Tokyo, Japan (pp. pp. 441-456).

Boudali, Hichem and Crouzen, Pepijn and Stoelinga, Mariëlle (2007) Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK (pp. pp. 708-717).

Boudali, Hichem and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2007) Best of Three Worlds: Towards Sound Architectural Dependability Models. In: 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), September 20-21, 2007, Edinburgh, UK (pp. pp. 45-49).

2006

Boudali, H. and Dugan, J.B. (2006) A continuous-time Bayesian network reliability modeling and analysis framework. IEEE transactions on reliability, 55 (1). pp. 86-97. ISSN 0018-9529

This list was generated on Mon Sep 1 05:27:32 2014 CEST.