Search results

Articles (5)

Journals (0)

1-5 of 5 results for PRISM model checker

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published April, 2026

Formal analysis of protection systems in power distribution networks

Sobia Ashraf, Iram Tariq Bhatti, Osman Hasan

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Restricted accessResearch articleFirst published May 1, 2004

Probabilistic analysis of an anonymity system

Vitaly Shmatikov

Journal of Computer Security

Restricted accessResearch articleFirst published August, 2005

A Probabilistic Model for Molecular Systems

Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini [...]

Fundamenta Informaticae

Open accessResearch articleFirst published May, 2015

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation

José A. Mateo, Hermenegilda Macià, M. Carmen Ruiz [...]

International Journal of Distributed Sensor Networks

Restricted accessResearch articleFirst published December 1, 2006

Analysis of probabilistic contract signing 1

Gethin Norman, Vitaly Shmatikov

Journal of Computer Security

Search results

Articles (5)

Journals (0)

1-5 of 5 results for PRISM model checker

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published April, 2026

Formal analysis of protection systems in power distribution networks

Sobia Ashraf, Iram Tariq Bhatti, Osman Hasan

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Restricted accessResearch articleFirst published May 1, 2004

Probabilistic analysis of an anonymity system

Vitaly Shmatikov

Journal of Computer Security

Restricted accessResearch articleFirst published August, 2005

A Probabilistic Model for Molecular Systems

Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini [...]

Fundamenta Informaticae

Open accessResearch articleFirst published May, 2015

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation

José A. Mateo, Hermenegilda Macià, M. Carmen Ruiz [...]

International Journal of Distributed Sensor Networks

Restricted accessResearch articleFirst published December 1, 2006

Analysis of probabilistic contract signing 1

Gethin Norman, Vitaly Shmatikov

Journal of Computer Security