iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/pid/30/3611.rss
dblp: Hichem Boudali https://dblp.org/pid/30/3611.html dblp person page RSS feed Thu, 25 Apr 2024 05:55:14 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Hichem Boudalihttps://dblp.org/pid/30/3611.html14451 Availability analysis of software architecture decomposition alternatives for local recovery.https://doi.org/10.1007/s11219-016-9315-9, , , :
Availability analysis of software architecture decomposition alternatives for local recovery. Softw. Qual. J. 25(2): 553-579 ()]]>https://dblp.org/rec/journals/sqj/SozerSBA17Sun, 01 Jan 2017 00:00:00 +0100 A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.https://doi.org/10.1109/TDSC.2009.45, , :
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Trans. Dependable Secur. Comput. 7(2): 128-143 ()]]>https://dblp.org/rec/journals/tdsc/BoudaliCS10Fri, 01 Jan 2010 00:00:00 +0100 DFTSim: a simulation tool for extended dynamic fault trees.http://dl.acm.org/citation.cfm?id=1639809.1639842, , :
DFTSim: a simulation tool for extended dynamic fault trees. SpringSim ]]>https://dblp.org/rec/conf/springsim/BoudaliNS09Thu, 01 Jan 2009 00:00:00 +0100 Architectural Availability Analysis of Software Decomposition for Local Recovery.https://doi.org/10.1109/SSIRI.2009.10, , :
Architectural Availability Analysis of Software Decomposition for Local Recovery. SSIRI : 14-22]]>https://dblp.org/rec/conf/ssiri/BoudaliSS09Thu, 01 Jan 2009 00:00:00 +0100 Special session on Bayesian networks in dependability.https://doi.org/10.1016/j.ress.2007.03.004, :
Special session on Bayesian networks in dependability. Reliab. Eng. Syst. Saf. 93(7): 921 ()]]>https://dblp.org/rec/journals/ress/MontaniB08Tue, 01 Jan 2008 00:00:00 +0100 Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework".https://doi.org/10.1109/TR.2008.925796, :
Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework". IEEE Trans. Reliab. 57(3): 532-533 ()]]>https://dblp.org/rec/journals/tr/BoudaliD08Tue, 01 Jan 2008 00:00:00 +0100 Architectural dependability evaluation with Arcade.https://doi.org/10.1109/DSN.2008.4630122, , , , :
Architectural dependability evaluation with Arcade. DSN : 512-521]]>https://dblp.org/rec/conf/dsn/BoudaliCHKS08Tue, 01 Jan 2008 00:00:00 +0100 Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.https://doi.org/10.1109/ICECCS.2008.11, , , , :
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS : 243-248]]>https://dblp.org/rec/conf/iceccs/BoudaliCHKS08Tue, 01 Jan 2008 00:00:00 +0100 A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.https://doi.org/10.1007/978-3-540-75596-8_31, , :
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. ATVA : 441-456]]>https://dblp.org/rec/conf/atva/BoudaliCS07Mon, 01 Jan 2007 00:00:00 +0100 Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.https://doi.org/10.1109/DSN.2007.37, , :
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. DSN : 708-717]]>https://dblp.org/rec/conf/dsn/BoudaliCS07Mon, 01 Jan 2007 00:00:00 +0100 A continuous-time Bayesian network reliability modeling, and analysis framework.https://doi.org/10.1109/TR.2005.859228, :
A continuous-time Bayesian network reliability modeling, and analysis framework. IEEE Trans. Reliab. 55(1): 86-97 ()]]>https://dblp.org/rec/journals/tr/BoudaliD06Sun, 01 Jan 2006 00:00:00 +0100 A discrete-time Bayesian network reliability modeling and analysis framework.https://doi.org/10.1016/j.ress.2004.06.004, :
A discrete-time Bayesian network reliability modeling and analysis framework. Reliab. Eng. Syst. Saf. 87(3): 337-349 ()]]>https://dblp.org/rec/journals/ress/BoudaliD05Sat, 01 Jan 2005 00:00:00 +0100