论文信息 - Formal Reliability Analysis of Engineering Systems - 字舞流文

Formal Reliability Analysis of Engineering Systems

Sofiène Tahar | Osman Hasan | Naeem Abbasi | S. Tahar | O. Hasan | N. Abbasi

[1] Sofiène Tahar,et al. Formal Reliability Analysis Using Theorem Proving , 2010, IEEE Transactions on Computers.

[2] Lubos Brim,et al. High-performance analysis of biological systems dynamics with the DiVinE model checker , 2010, Briefings Bioinform..

[3] Jane Hillston,et al. Bio-PEPA: A framework for the modelling and analysis of biological systems , 2009, Theor. Comput. Sci..

[4] Karim Labadi,et al. 'PSA-SPN' - A Parameter Sensitivity Analysis Method Using Stochastic Petri Nets: Application to a Production Line System , 2009 .

[5] Sofiène Tahar,et al. Performance Analysis of ARQ Protocols using a Theorem Prover , 2008, ISPASS 2008 - IEEE International Symposium on Performance Analysis of Systems and software.

[6] Osman Hasan,et al. Formal probabilistic analysis using theorem proving , 2008 .

[7] J. Hurd,et al. Probabilistic guarded commands mechanized in HOL , 2005, Theor. Comput. Sci..

[8] Jan J. M. M. Rutten,et al. Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.

[9] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..

[10] Joe Hurd,et al. Formal verification of probabilistic algorithms , 2003 .

[11] Marta Z. Kwiatkowska,et al. Automatic verification of real-time systems with discrete probability distributions , 1999, Theor. Comput. Sci..