Statistical model checking QoS properties of systems with SBIP
暂无分享,去创建一个
Cyrille Jégourel | Axel Legay | Benoît Delahaye | Marius Bozga | Saddek Bensalem | Ayoub Nouri | Axel Legay | Benoît Delahaye | M. Bozga | S. Bensalem | Ayoub Nouri | Cyrille Jégourel
[1] Grigore Rosu,et al. Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis , 2006, CAV.
[2] Nihal Pekergin,et al. Statistical Model Checking Using Perfect Simulation , 2009, ATVA.
[3] Satish K. Tripathi,et al. On the characterization of VBR MPEG streams , 1997, SIGMETRICS '97.
[4] Cyrille Jégourel,et al. A Platform for High Performance Statistical Model Checking - PLASMA , 2012, TACAS.
[5] Håkan L. S. Younes,et al. Statistical Verification of Probabilistic Properties with Unbounded Until , 2010, SBMF.
[6] Håkan L. S. Younes,et al. Verification and planning for stochastic processes with asynchronous events , 2004 .
[7] Radu Grosu,et al. Monte Carlo Model Checking , 2005, TACAS.
[8] Axel Legay,et al. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems , 2010 .
[9] Ayoub Nouri. SBIP : A Statistical Model Checking Extension for BIP framework , 2016 .
[10] Emanuel Parzen,et al. Stochastic Processes , 1962 .
[11] Axel Legay,et al. Verification of an AFDX Infrastructure Using Simulations and Probabilities , 2010, RV.
[12] Axel Legay,et al. Synthesizing distributed scheduling implementation for probabilistic component-based systems , 2013, 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
[13] Bernd Finkbeiner,et al. Checking Finite Traces Using Alternating Automata , 2004, Formal Methods Syst. Des..
[14] Edmund M. Clarke,et al. Bayesian statistical model checking with application to Stateflow/Simulink verification , 2010, Formal Methods in System Design.
[15] Joseph Sifakis,et al. Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
[16] Joseph Sifakis,et al. D-Finder: A Tool for Compositional Deadlock Detection and Verification , 2009, CAV.
[17] Axel Legay,et al. A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems , 2011, SC@TOOLS.
[18] Mahesh Viswanathan,et al. Statistical Model Checking of Black-Box Probabilistic Systems , 2004, CAV.
[19] Axel Legay,et al. Statistical Model Checking: An Overview , 2010, RV.
[20] Joseph Sifakis,et al. Incremental Component-Based Construction and Verification of a Robotic System , 2008, ECAI.
[21] Thomas Hérault,et al. Approximate Probabilistic Model Checking , 2004, VMCAI.
[22] W. Hoeffding. Probability Inequalities for sums of Bounded Random Variables , 1963 .
[23] 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).
[24] Paul Gastin,et al. Fast LTL to Büchi Automata Translation , 2001, CAV.
[25] Dimitra Giannakopoulou,et al. Automata-based verification of temporal properties on running programs , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[26] Cyrille Jégourel,et al. Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking , 2012, CAV.
[27] Joost-Pieter Katoen,et al. Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures , 2001, Euro Summer School on Trends in Computer Science.
[28] Marwan Krunz,et al. Statistical characteristics and multiplexing of MPEG streams , 1995, Proceedings of INFOCOM'95.
[29] Christel Baier,et al. Rare-event verification for stochastic hybrid systems , 2012, HSCC '12.
[30] Joost-Pieter Katoen,et al. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison , 2007, Haifa Verification Conference.
[31] R. Khan,et al. Sequential Tests of Statistical Hypotheses. , 1972 .
[32] Joost-Pieter Katoen,et al. The Ins and Outs of the Probabilistic Model Checker MRMC , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
[33] Jaideep Srivastava,et al. Quality of service (QoS) metrics for continuous media , 2004, Multimedia Tools and Applications.
[34] Stephan Merz,et al. Model Checking , 2000 .
[35] Cyrille Jégourel,et al. Statistical Model Checking QoS Properties of Systems with SBIP , 2012, ISoLA.
[36] Moshe Y. Vardi. Alternating Automata and Program Verification , 1995, Computer Science Today.
[37] Joseph Sifakis,et al. The Algebra of Connectors - Structuring Interaction in BIP , 2008, IEEE Trans. Computers.
[38] Holger Hermanns,et al. Partial Order Methods for Statistical Model Checking and Simulation , 2011, FMOODS/FORTE.
[39] Kim G. Larsen,et al. Statistical Model Checking: Past, Present, and Future , 2016, ISoLA.
[40] Grigore Rosu,et al. Synthesizing Monitors for Safety Properties , 2002, TACAS.
[41] Mahesh Viswanathan,et al. On Statistical Model Checking of Stochastic Systems , 2005, CAV.
[42] Pierre Wolper,et al. Constructing Automata from Temporal Logic Formulas: A Tutorial , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
[43] Thanh-Hung Nguyen,et al. Runtime Verification of Component-Based Systems , 2011, SEFM.
[44] Marta Z. Kwiatkowska,et al. PRISM 2.0: a tool for probabilistic model checking , 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
[45] Thanh-Hung Nguyen,et al. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation , 2015, Software & Systems Modeling.
[46] Joost-Pieter Katoen,et al. Simulation-Based CTMC Model Checking: An Empirical Evaluation , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
[47] Frédéric Magniez,et al. Probabilistic abstraction for model checking: An approach based on property testing , 2007, TOCL.