S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
暂无分享,去创建一个
Axel Legay | Marius Bozga | Saddek Bensalem | Ayoub Nouri | Mahieddine Dellabani | Braham Lotfi Mediouni | Axel Legay | M. Bozga | S. Bensalem | B. Mediouni | Ayoub Nouri | Mahieddine Dellabani
[1] Axel Legay,et al. Statistical analysis of probabilistic models of software product lines with quantitative constraints , 2015, SPLC.
[2] Mahesh Viswanathan,et al. VESTA: A statistical model-checker and analyzer for probabilistic systems , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
[3] Axel Legay,et al. Performance evaluation of stochastic real-time systems with the SBIP framework , 2018, Int. J. Crit. Comput. Based Syst..
[4] Joseph Sifakis,et al. Rigorous implementation of real-time systems – from theory to application , 2013, Mathematical Structures in Computer Science.
[5] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[6] José Meseguer,et al. A Rewriting Based Model for Probabilistic Distributed Object Systems , 2003, FMOODS.
[7] Kim G. Larsen,et al. Statistical model checking for biological systems , 2015, International Journal on Software Tools for Technology Transfer.
[8] Thomas Hérault,et al. Approximate Probabilistic Model Checking , 2004, VMCAI.
[9] Rajeev Alur,et al. Modeling and Verification of a Dual Chamber Implantable Pacemaker , 2012, TACAS.
[10] Thomas Hérault,et al. APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[11] Wang Yi,et al. Formal design and analysis of a gear controller , 1998, International Journal on Software Tools for Technology Transfer.
[12] Cyrille Jégourel,et al. Statistical model checking QoS properties of systems with SBIP , 2012, International Journal on Software Tools for Technology Transfer.
[13] Håkan L. S. Younes. Ymer: A Statistical Model Checker , 2005, CAV.
[14] Kim G. Larsen,et al. Time for Statistical Model Checking of Real-Time Systems , 2011, CAV.
[15] Joseph Sifakis,et al. Rigorous Component-Based System Design Using the BIP Framework , 2011, IEEE Software.
[16] Holger Hermanns,et al. Partial Order Methods for Statistical Model Checking and Simulation , 2011, FMOODS/FORTE.
[17] Paolo Ballarini,et al. HASL: A new approach for performance evaluation and model checking from concepts to experimentation , 2015, Perform. Evaluation.
[18] R. Khan,et al. Sequential Tests of Statistical Hypotheses. , 1972 .
[19] Grigore Rosu,et al. Rewriting-Based Techniques for Runtime Verification , 2005, Automated Software Engineering.
[20] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[21] Amardeep Kaur,et al. Formal Verification of Device Discovery Mechanism using UPPAAL , 2012 .
[22] Axel Legay,et al. Stochastic modeling and performance analysis of multimedia SoCs , 2013, 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).
[23] Axel Legay,et al. Statistical abstraction and model-checking of large heterogeneous systems , 2010, International Journal on Software Tools for Technology Transfer.
[24] Stefan Gerhold,et al. Probability Inequalities , 2017 .
[25] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[26] Joseph Sifakis,et al. Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
[27] Cyrille Jégourel,et al. Importance Splitting for Statistical Model Checking Rare Properties , 2013, CAV.
[28] Kim G. Larsen,et al. Uppaal SMC tutorial , 2015, International Journal on Software Tools for Technology Transfer.
[29] Håkan L. S. Younes,et al. Verification and planning for stochastic processes with asynchronous events , 2004 .
[30] Axel Legay,et al. Verification of an AFDX Infrastructure Using Simulations and Probabilities , 2010, RV.
[31] José Meseguer,et al. PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool , 2011, CALCO.
[32] Kim G. Larsen,et al. Rewrite-Based Statistical Model Checking of WMTL , 2012, RV.
[33] Cyrille Jégourel,et al. A Platform for High Performance Statistical Model Checking - PLASMA , 2012, TACAS.