Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, 1994. ,
DOI : 10.1145/288197.581193
Parametric fault trees with dynamic gates and repair boxes, Annual Symposium Reliability and Maintainability, 2004, RAMS, pp.459-465, 2004. ,
DOI : 10.1109/RAMS.2004.1285491
Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, 2006. ,
DOI : 10.1002/0471791571
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes, Reliability Engineering & System Safety, vol.82, issue.2, pp.149-163, 2003. ,
DOI : 10.1016/S0951-8320(03)00143-1
A note on two problems in connexion with graphs, Numerische Mathematik, vol.4, issue.1, pp.269-271, 1959. ,
DOI : 10.1007/BF01386390
Dynamic fault-tree models for fault-tolerant computer systems, IEEE Transactions on Reliability, vol.41, issue.3, pp.363-377, 1992. ,
DOI : 10.1109/24.159800
Developing a low-cost high-quality software tool for dynamic fault-tree analysis. Reliability, IEEE Transactions on, vol.49, issue.1, pp.49-59, 2000. ,
Censoring Markov Chains and Stochastic Bounds, Lecture Notes in Computer Science, vol.4748, pp.213-227, 2007. ,
DOI : 10.1007/978-3-540-75211-0_16
Towards modeldriven safety analysis, Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on, pp.53-58, 2011. ,
Reduced System Algorithms for Markov Chains, Management Science, vol.34, issue.10, pp.1202-1220, 1988. ,
DOI : 10.1287/mnsc.34.10.1202
Dependability modeling using Petri-nets. Reliability, IEEE Transactions on, vol.44, issue.3, pp.428-440, 1995. ,
A tool for automatically translating dynamic fault trees into dynamic bayesian networks, RAMS '06. Annual Reliability and Maintainability Symposium, 2006., pp.434-441, 2006. ,
DOI : 10.1109/RAMS.2006.1677413
Reducing markov chains for performance evaluation, Proceedings of PROGRESS'01, 2001. ,
The altarica 3.0 project for model-based safety assessment, Dependable Control of Discrete Systems (DCDS), 2013. ,
An experimental study on iterative methods to compute transient solutions of large Markov models, Reliability Engineering & System Safety, vol.86, issue.1, pp.105-115, 2004. ,
DOI : 10.1016/j.ress.2004.01.007
Introduction to the numerical solution of Markov chains, 1994. ,
The censored Markov chain and the best augmentation, Journal of Applied Probability, vol.69, issue.03, pp.623-629, 1996. ,
DOI : 10.2307/3214092