Stochastic model checking
From MaRDI portal
Publication:3084591
DOI10.1007/978-3-540-72522-0_6zbMATH Open1323.68379OpenAlexW1516256348MaRDI QIDQ3084591FDOQ3084591
Author name not available (Why is that?)
Publication date: 25 March 2011
Published in: Formal Methods for Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72522-0_6
Recommendations
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (63)
- Model checking quantum Markov chains
- Analysis of faults in cyber-physical systems by finite discrete-time Markov chains
- Quantitative verification of Kalman filters
- Model checking stochastic automata
- Active and sparse methods in smoothed model checking
- Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
- Measuring security in IoT communications
- Probabilistic verification of Herman's self-stabilisation algorithm
- Multi-scale verification of distributed synchronisation
- Model Checking of Biological Systems
- Computer Aided Verification
- DNA walker circuits: computational potential, design, and verification
- An efficient algorithm to determine probabilistic bisimulation
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Performance analysis and functional verification of the stop-and-wait protocol in HOL
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Statistical model checking of stochastic component-based systems
- Probabilistic Model Checking of the PDGF Signaling Pathway
- Model checking mobile stochastic logic
- On the collective sort problem for distributed tuple spaces
- IPL: an integration property language for multi-model cyber-physical systems
- A uniformization-based algorithm for continuous-time stochastic games model checking
- Modeling for Verification
- Maximizing the probability of attaining a target prior to extinction
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- Precise parameter synthesis for stochastic biochemical systems
- Verifying Team Formation Protocols with Probabilistic Model Checking
- Faster SPDL Model Checking Through Property-Driven State Space Generation
- Programming discrete distributions with chemical reaction networks
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model Checking Stochastic Branching Processes
- Performability assessment by model checking of Markov reward models
- Probabilistic model checking of complex biological pathways
- Deep Statistical Model Checking
- A formal approach to adaptive software: continuous assurance of non-functional requirements
- Architecture-based resilience evaluation for self-adaptive systems
- Model Repair for Probabilistic Systems
- Stochastic Model Checking of the Stochastic Quality Calculus
- Formal Modeling and Analysis of Timed Systems
- Extended Directed Search for Probabilistic Timed Reachability
- Chemical reaction network designs for asynchronous logic circuits
- QMaude: quantitative specification and verification in rewriting logic
- Computing Cumulative Rewards Using Fast Adaptive Uniformization
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Generating counterexamples for quantitative safety specifications in probabilistic B
- Using probabilistic model checking for dynamic power management
- Hybrid Systems: Computation and Control
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Markov chains and Markov decision processes in Isabelle/HOL
- Abstract model repair for probabilistic systems
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Title not available (Why is that?)
- Programming Discrete Distributions with Chemical Reaction Networks
- Petri-net-based 2D design of DNA walker circuits
- Comparative Analysis of Statistical Model Checking Tools
- A Model and Analysis of the AKAP Scaffold
- Probabilistic reach-avoid for Bayesian neural networks
- Efficient trace generation for rare-event analysis in chemical reaction networks
- Formal modelling and verification of probabilistic resource bounded agents
- Incremental Verification of Parametric and Reconfigurable Markov Chains
- An MM algorithm to estimate parameters in continuous-time Markov chains
Uses Software
This page was built for publication: Stochastic model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3084591)
