@article{DBLP:journals/sqj/SozerSBA17,
author = {Hasan S{\"{o}}zer and
Mari{\"{e}}lle Stoelinga and
Hichem Boudali and
Mehmet Aksit},
title = {Availability analysis of software architecture decomposition alternatives
for local recovery},
journal = {Softw. Qual. J.},
volume = {25},
number = {2},
pages = {553--579},
year = {2017},
url = {https://doi.org/10.1007/s11219-016-9315-9},
doi = {10.1007/S11219-016-9315-9},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/SozerSBA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/BoudaliCS10,
author = {Hichem Boudali and
Pepijn Crouzen and
Mari{\"{e}}lle Stoelinga},
title = {A Rigorous, Compositional, and Extensible Framework for Dynamic Fault
Tree Analysis},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {7},
number = {2},
pages = {128--143},
year = {2010},
url = {https://doi.org/10.1109/TDSC.2009.45},
doi = {10.1109/TDSC.2009.45},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/BoudaliCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/BoudaliNS09,
author = {Hichem Boudali and
A. P. Nijmeijer and
Mari{\"{e}}lle Stoelinga},
editor = {Gabriel A. Wainer and
Clifford A. Shaffer and
Robert M. McGraw and
Michael J. Chinni},
title = {DFTSim: a simulation tool for extended dynamic fault trees},
booktitle = {Proceedings of the 2009 Spring Simulation Multiconference, SpringSim
2009, San Diego, California, USA, March 22-27, 2009},
publisher = {{SCS/ACM}},
year = {2009},
url = {http://dl.acm.org/citation.cfm?id=1639809.1639842},
timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/springsim/BoudaliNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/BoudaliSS09,
author = {Hichem Boudali and
Hasan S{\"{o}}zer and
Mari{\"{e}}lle Stoelinga},
title = {Architectural Availability Analysis of Software Decomposition for
Local Recovery},
booktitle = {Third {IEEE} International Conference on Secure Software Integration
and Reliability Improvement, {SSIRI} 2009, Shanghai, China, July 8-10,
2009},
pages = {14--22},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SSIRI.2009.10},
doi = {10.1109/SSIRI.2009.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/BoudaliSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/MontaniB08,
author = {Stefania Montani and
Hichem Boudali},
title = {Special session on Bayesian networks in dependability},
journal = {Reliab. Eng. Syst. Saf.},
volume = {93},
number = {7},
pages = {921},
year = {2008},
url = {https://doi.org/10.1016/j.ress.2007.03.004},
doi = {10.1016/J.RESS.2007.03.004},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/MontaniB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/BoudaliD08,
author = {Hichem Boudali and
Joanne Bechta Dugan},
title = {Corrections on "A Continuous-Time Bayesian Network Reliability Modeling
and Analysis Framework"},
journal = {{IEEE} Trans. Reliab.},
volume = {57},
number = {3},
pages = {532--533},
year = {2008},
url = {https://doi.org/10.1109/TR.2008.925796},
doi = {10.1109/TR.2008.925796},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/BoudaliD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BoudaliCHKS08,
author = {Hichem Boudali and
Pepijn Crouzen and
Boudewijn R. Haverkort and
Matthias Kuntz and
Mari{\"{e}}lle Stoelinga},
title = {Architectural dependability evaluation with Arcade},
booktitle = {The 38th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2008, June 24-27, 2008, Anchorage, Alaska,
USA, Proceedings},
pages = {512--521},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DSN.2008.4630122},
doi = {10.1109/DSN.2008.4630122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BoudaliCHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BoudaliCHKS08,
author = {Hichem Boudali and
Pepijn Crouzen and
Boudewijn R. Haverkort and
Matthias Kuntz and
Mari{\"{e}}lle Stoelinga},
title = {Arcade - {A} Formal, Extensible, Model-Based Dependability Evaluation
Framework},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {243--248},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.11},
doi = {10.1109/ICECCS.2008.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BoudaliCHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BoudaliCS07,
author = {Hichem Boudali and
Pepijn Crouzen and
Mari{\"{e}}lle Stoelinga},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive
Markov Chains},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {441--456},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_31},
doi = {10.1007/978-3-540-75596-8\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BoudaliCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BoudaliCS07,
author = {Hichem Boudali and
Pepijn Crouzen and
Mari{\"{e}}lle Stoelinga},
title = {Dynamic Fault Tree Analysis Using Input/Output Interactive Markov
Chains},
booktitle = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
Proceedings},
pages = {708--717},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DSN.2007.37},
doi = {10.1109/DSN.2007.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BoudaliCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/BoudaliD06,
author = {Hichem Boudali and
Joanne Bechta Dugan},
title = {A continuous-time Bayesian network reliability modeling, and analysis
framework},
journal = {{IEEE} Trans. Reliab.},
volume = {55},
number = {1},
pages = {86--97},
year = {2006},
url = {https://doi.org/10.1109/TR.2005.859228},
doi = {10.1109/TR.2005.859228},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/BoudaliD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BoudaliD05,
author = {Hichem Boudali and
Joanne Bechta Dugan},
title = {A discrete-time Bayesian network reliability modeling and analysis
framework},
journal = {Reliab. Eng. Syst. Saf.},
volume = {87},
number = {3},
pages = {337--349},
year = {2005},
url = {https://doi.org/10.1016/j.ress.2004.06.004},
doi = {10.1016/J.RESS.2004.06.004},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/BoudaliD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
