相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Anna Lukina et al.
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II (2017)
Verification of Interlocking Systems Using Statistical Model Checking
Quentin Cappart et al.
2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2017) (2017)
Command-based importance sampling for statistical model checking
Cyrille Jegourel et al.
THEORETICAL COMPUTER SCIENCE (2016)
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems
Mounir Chadli et al.
CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (2016)
Rare Events for Statistical Model Checking an Overview
Axel Legay et al.
REACHABILITY PROBLEMS, RP 2016 (2016)
Some Thoughts on Runtime Verification
Oded Maler
RUNTIME VERIFICATION, (RV 2016) (2016)
A Logic for the Statistical Model Checking of Dynamic Software Architectures
Jean Quilbeuf et al.
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I (2016)
Feedback Control for Statistical Model Checking of Cyber-Physical Systems
K. Kalajdzic et al.
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I (2016)
Faster Statistical Model Checking for Unbounded Temporal Properties
Przemyslaw Daca et al.
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016) (2016)
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
Paolo Ballarini et al.
PERFORMANCE EVALUATION (2015)
Smart sampling for lightweight verification of Markov decision processes
Pedro D'Argenio et al.
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2015)
Statistical model checking for unbounded until formulas
Nima Roohi et al.
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2015)
Statistical model checking for biological applications
Paolo Zuliani
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2015)
Statistical model checking QoS properties of systems with SBIP
Ayoub Nouri et al.
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2015)
Statistical Model Checking of Distributed Adaptive Real-Time Software
David Kyle et al.
RUNTIME VERIFICATION, RV 2015 (2015)
Quantitative Analysis of Consistency in NoSQL Key-Value Stores
Si Liu et al.
QUANTITATIVE EVALUATION OF SYSTEMS (2015)
Scalable Verification of Markov Decision Processes
Axel Legay et al.
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014 (2015)
Approximate planning and verification for large Markov decision processes
Richard Lassaigne et al.
International Journal on Software Tools for Technology Transfer (2014)
Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking
Youngmin Kwon et al.
ACM TRANSACTIONS ON SENSOR NETWORKS (2013)
Bayesian statistical model checking with application to Stateflow/Simulink verification
Paolo Zuliani et al.
FORMAL METHODS IN SYSTEM DESIGN (2013)
Exploring behaviors of stochastic differential equation models of biological systems using change of measures
Sumit Kumar Jha et al.
BMC BIOINFORMATICS (2012)
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David et al.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2012)
Statistical Model Checking for Priced Timed Automata
Peter Bulychev et al.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2012)
Verifying the Evolution of Probability Distributions Governed by a DTMC
YoungMin Kwon et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2011)
Approximate Model Checking of Stochastic Hybrid Systems
Alessandro Abate et al.
EUROPEAN JOURNAL OF CONTROL (2010)
Formal Verification of a Realistic Compiler
Xavier Leroy
COMMUNICATIONS OF THE ACM (2009)
An introduction to evidential sample size calculations
Lisa J. Strug et al.
AMERICAN STATISTICIAN (2007)
Adaptive multilevel splitting for rare event analysis
Frederic Cerou
STOCHASTIC ANALYSIS AND APPLICATIONS (2007)
MODEST: A compositional modeling formalism for hard and softly timed systems
Henrik Bohnenkamp et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2006)
Statistical probabilistic model checking with a focus on time-bounded properties
Hakan L. S. Younes et al.
INFORMATION AND COMPUTATION (2006)
Improved undecidability results on weighted timed automata
P Bouyer et al.
INFORMATION PROCESSING LETTERS (2006)
Model-checking algorithms for continuous-time Markov chains
C Baier et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2003)