Probabilistic model checking in practice: case studies with PRISM
ACM SIGMETRICS Performance Evaluation Review
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
A note on the attractor-property of infinite-state Markov chain
Information Processing Letters
On the numerical verification of probabilistic rewriting systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Performance analysis of probabilistic timed automata using digital clocks
Formal Methods in System Design
Analysis of the zeroconf protocol using UPPAAL
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Structured analysis techniques for large Markov chains
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Theoretical Computer Science - Automated reasoning for security protocol analysis
Formal analysis of PIN block attacks
Theoretical Computer Science - Automated reasoning for security protocol analysis
Backward Bisimulation in Markov Chain Model Checking
IEEE Transactions on Software Engineering
Anonymity protocols as noisy channels
Information and Computation
On the Bayes risk in information-hiding protocols
Journal of Computer Security - 20th IEEE Computer Security Foundations Symposium (CSF)
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Transactions on High-Performance Embedded Architectures and Compilers I
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Towards accurate probabilistic models using state refinement
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
A Bayesian Approach to Model Checking Biological Systems
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Quantitative Analysis With the Probabilistic Model Checker PRISM
Electronic Notes in Theoretical Computer Science (ENTCS)
A note on the attractor-property of infinite-state Markov chains
Information Processing Letters
Multicore power management: ensuring robustness via early-stage formal verification
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Providing evidence of likely being on time: counterexample generation for CTMC model checking
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Using probabilist models for studying realistic systems: a case study of pastry
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Formal cell biology in biocham
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
On simulation-based probabilistic model checking of mixed-analog circuits
Formal Methods in System Design
Statistical model checking: an overview
RV'10 Proceedings of the First international conference on Runtime verification
Formal specification and analysis of zeroconf using uppaalS
ACM Transactions on Embedded Computing Systems (TECS)
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study
Journal of Systems and Software
Analysis of a clock synchronization protocol for wireless sensor networks
Theoretical Computer Science
Machine learning biochemical networks from temporal logic properties
Transactions on Computational Systems Biology VI
Scaling probabilistic timing verification of hardware using abstractions in design source code
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Early prediction of NBTI effects using RTL source code analysis
Proceedings of the 49th Annual Design Automation Conference
Approximate planning and verification for large markov decision processes
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Weighted probabilistic equivalence preserves ω-regular properties
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Delayed continuous-time markov chains for genetic regulatory circuits
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Synthesis of insulin pump controllers from safety specifications using Bayesian model validation
International Journal of Bioinformatics Research and Applications
Statistical model checking qos properties of systems with SBIP
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Evolution, adaptation, and the quest for incrementality
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Performance evaluation of sensor networks by statistical modeling and euclidean model checking
ACM Transactions on Sensor Networks (TOSN)
Formal performance analysis for faulty MIMO hardware
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Analysis of object-specific authorization protocol (OSAP) using coloured petri nets
AISC '12 Proceedings of the Tenth Australasian Information Security Conference - Volume 125
A journey through SMScom: self-managing situational computing
Computer Science - Research and Development
| Hi-index | 0.00 |
This paper gives a brief overview of version 2.0 of PRISM, a tool for the automatic formal verification of probabilistic systems, and some of the case studies to which it has already been applied.