TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Probabilistic symbolic model checking with PRISM: a hybrid approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
Verification and planning for stochastic processes with asynchronous events
Verification and planning for stochastic processes with asynchronous events
Numerical vs. statistical probabilistic model checking
International Journal on Software Tools for Technology Transfer (STTT)
Statistical probabilistic model checking with a focus on time-bounded properties
Information and Computation
Using probabilistic model checking in systems biology
ACM SIGMETRICS Performance Evaluation Review
INFAMY: An Infinite-State Markov Model Checker
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Fundamenta Informaticae - Application of Concurrency to System Design
Stability of Distributed Algorithms in the Face of Incessant Faults
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
On simulation-based probabilistic model checking of mixed-analog circuits
Formal Methods in System Design
The ins and outs of the probabilistic model checker MRMC
Performance Evaluation
Statistical model checking: an overview
RV'10 Proceedings of the First international conference on Runtime verification
Using observation ageing to improve markovian model learning in QoS engineering
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Statistical verification of probabilistic properties with unbounded until
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Steady state property verification of very large systems
International Journal of Critical Computer-Based Systems
Quantitative analysis of services
Rigorous software engineering for service-oriented systems
Statistical model checking for networks of priced timed automata
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
A formal methodology for compositional cross-layer optimization
Formal modeling
HASL: an expressive language for statistical verification of stochastic models
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
ACM Transactions on Software Engineering and Methodology (TOSEM)
Steady-state property verification: a comparison study
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Coupling and importance sampling for statistical model checking
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A platform for high performance statistical model checking --- PLASMA
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Checking and distributing statistical model checking
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Cross-entropy optimisation of importance sampling parameters for statistical model checking
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Fundamenta Informaticae - Application of Concurrency to System Design
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Confidence bounds for statistical model checking of probabilistic hybrid systems
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Runtime verification of biological systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Learning stochastic timed automata from sample executions
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Automated reliability estimation over partial systematic explorations
Proceedings of the 2013 International Conference on Software Engineering
Adaptive model learning for continual verification of non-functional properties
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Algorithmic probabilistic game semantics
Formal Methods in System Design
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Hi-index | 0.00 |
We present Ymer, a tool for verifying probabilistic transient properties of stochastic discrete event systems. Ymer implements both statistical and numerical model checking techniques. We focus on two features of Ymer: distributed acceptance sampling and statistical model checking of nested probabilistic statements.