Model checking for survivability!
暂无分享,去创建一个
[1] Fred J. Kaudel,et al. Framework for network survivability performance , 1994, IEEE J. Sel. Areas Commun..
[2] Joost-Pieter Katoen,et al. Beyond Memoryless Distributions: Model Checking Semi-Markov Chains , 2001, PAPM-PROBMIV.
[3] J. Kemeny,et al. Denumerable Markov chains , 1969 .
[4] Christel Baier,et al. Model-Checking Algorithms for , 2003 .
[5] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..
[6] Gunter Bolch,et al. Queueing Networks and Markov Chains , 2005 .
[7] Boudewijn R. Haverkort,et al. On the E cient Sequential and Distributed Evaluation of Very Large Stochastic Petri Nets , 2007 .
[8] Kishor S. Trivedi,et al. Survivability analysis of telephone access network , 2004, 15th International Symposium on Software Reliability Engineering.
[9] Robert K. Brayton,et al. Model-checking continuous-time Markov chains , 2000, TOCL.
[10] Kevin J. Sullivan,et al. Towards a rigorous definition of information system survivability , 2003, Proceedings DARPA Information Survivability Conference and Exposition.
[11] SinghalVigyan,et al. Model-checking continuous-time Markov chains , 2000 .
[12] Martin L. Shooman,et al. Reliability of Computer Systems and Networks: Fault Tolerance,Analysis,and Design , 2002 .
[13] Martin L. Shooman,et al. Reliability of computer systems and networks , 2001 .
[14] Deep Medhi,et al. A unified approach to network survivability for teletraffic networks: models, algorithms and analysis , 1994, IEEE Trans. Commun..
[15] Howard Gobioff,et al. The Google file system , 2003, SOSP '03.
[16] Brian Randell,et al. Dependability and its threats - A taxonomy , 2004, IFIP Congress Topical Sessions.
[17] Soung Chang Liew,et al. A framework for characterizing disaster-based network survivability , 1994, IEEE J. Sel. Areas Commun..
[18] Susanna Donatelli,et al. CSL Model Checking for the GreatSPN Tool , 2004, ISCIS.
[19] Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .
[20] Holger Hermanns,et al. A tool for model-checking Markov chains , 2003, International Journal on Software Tools for Technology Transfer.
[21] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[22] Kishor S. Trivedi,et al. A General Framework for Network Survivability Quantification , 2004, MMB.
[23] Gianfranco Ciardo,et al. Stochastic Petri Net Analysis of a Replicated File System , 1989, IEEE Trans. Software Eng..
[24] Nancy R. Mead,et al. Survivable Network Systems: An Emerging Discipline , 1997 .
[25] Alexander Bell. Distributed Evaluation of Stochastic Petri nets , 2004, MMB.