www.prismmodelchecker.org

PRISM Bibliography (external)

The following is a bibliography of external PRISM-related papers. These are all published by authors who are not part of the PRISM team.

See also the lists of papers produced by the PRISM team, selected PRISM papers and the full PRISM bibliography.

If there is something we have omitted, please contact us.

 

Sort by: date, type, title, subject

700 publications:

Book chapters (1)

2009

Journal papers (212)

2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003

Conference papers (448)

2025
2024
2023
2022
2021
  • [CWC21] Jianyi Cheng, John Wickerson and George A. Constantinides. Probabilistic Scheduling in High-Level Synthesis. In Proc. IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM'21). 2021. [Presents probabilistic scheduling techniques for high-level synthesis, including the use of PRISM for probabilistic model analysis. ]
  • [WKL+21] Andrew M. Wells, Zachary Kingston, Morteza Lahijanian, Lydia E. Kavraki and Moshe Y. Vardi. Finite-Horizon Synthesis for Probabilistic Manipulation Domains. In Proc. IEEE International Conference on Robotics and Automation (ICRA'21). 2021. [Presents probabilistic synthesis techniques for collaborative human-robot manipulation tasks with an implementation that uses PRISM.]
  • [EWT21] Khalil Esper, Stefan Wildermann and Jürgen Teich. Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs. In Proc. 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21). 2021. [Tackles embedded system control problems using probabilistic model checking and PRISM.]
  • [Maz21] Łukasz Mazurek. EthVer: Formal Verification of Randomized Ethereum Smart Contracts. In International Conference on Financial Cryptography and Data Security (FC'21) Workshops. 2021. [Develops a tool for formal verification of randomised Ethereum smart contracts, building upon PRISM.]
  • [ZZdA+21] Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson and Limin Jia. Netter: Probabilistic, Stateful Network Models. In Proc. 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'21). 2021. [Presents a tool for analysis of probabilistic network models, using PRISM as a backend solver.]
  • [ST21] Georg Friedrich Schuppe and Jana Tumova. Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers. In Proc. 2021 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), pages 119-127. 2021. [Proposes techniques for multi-agent task-planning implemented in a tool chain incorporating PRISM-games.]
  • [VCC21] Gricel Vazquez, Radu Calinescu and Javier Camara. Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. In Proc. Annual Conference Towards Autonomous Robotic Systems (TAROS'21), pages 354-359. 2021. [Presents an approach to multi-robot scheduling, with a tool chain that includes PRISM for robot plan generation.]
  • [AZP+21] Iffat Anjum, Mu Zhu, Isaac Polinsky, William Enck, Michael K. Reiter and Munindar P. Singh. Role-Based Deception in Enterprise Networks. In Proc. 11th ACM Conference on Data and Application Security and Privacy (CODASPY'21), pages 65–76. 2021. [Develops a technique for deceiving adversaries in enterprise networks, and evaluates its security using PRISM.]
  • [RCP+21] Joshua Riley, Radu Calinescu, Colin Paterson Daniel Kudenko, Alec Banks. Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. In Proc. 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'21). 2021. [Presents an approach called assured multi-agent reinforcement learning with abstractions built as PRISM models. ]
  • [DABB21] Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci and Borzoo Bonakdarpour. HyperProb: A Model Checker for Probabilistic Hyperproperties. In Proc. 24th International Symposium on Formal Methods (FM'21). 2021. [Presents a tool for verifying probabilistic hyperproperties on Markov Decision Processes represented in the PRISM modelling language.]
  • [WR21] Ke Coby Wang and Michael K. Reiter. Using Amnesia to Detect Credential Database Breaches. In Proc. 30th USENIX Security Symposium (USENIX Security 2021). 2021. [Presents a framework for detecting breaches in credential databases, using PRISM to quantify security.]
  • [YMCM21] Cangzhou Yuan, Kangzhao Wu, Guotao Chen and Yongjia Mo. An Automatic Transformation Method from AADL Reliability Model to CTMC. In Proc. IEEE International Conference on Information Communication and Software Engineering (ICICSE'21). 2021. [Presents methods for translating the AADL modelling language, using PRISM.]
  • [DHB21] Jacob Dineen, A. S. M. Ahsan-Ul Haque and Matthew Bielskas. Formal Methods for an Iterated Volunteer’s Dilemma. In Proc. International Conference on Social Computing, Behavioral-Cultural Modeling and Prediction and Behavior Representation in Modeling and Simulation (SBP-BRiMS'21). 2021. [Performs a formal analysis of the iterated volunteer’s dilemma using PRISM-games.]
  • [MSG21] Maria Maximova, Sven Schneider and Holger Giese. Interval Probabilistic Timed Graph Transformation Systems. In Proc. 14th International Conference on Graph Transformation (ICGT'21). 2021. [Presents the the formalism of Interval Probabilistic Timed Graph Transformation Systems, including connections to PRISM. ]
  • [ACSX21] Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu. Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In Proc. Third Workshop on Formal Methods for Autonomous Systems (FMAS'21). 2021. [Proposes methods for formal modelling and analysis of human-autonomy teaming scenarios, using PRISM as an underlying solver.]
  • [DJK+21] Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna and Ashutosh Trivedi. Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. In Proc. IEEE Real-Time Systems Symposium (RTSS'21). 2021. [Presents reinforcement learning techniques that include an environment modelled using PRISM.]
  • [ACSX21b] Blair Archibald, Muffy Calder, Michele Sevegnani and Mengwei Xu. Probabilistic BDI Agents: Actions, Plans, and Intentions. In Proc. International Conference on Software Engineering and Formal Methods (SEFM'21). 2021. [Defines a probabilistic extension to the Conceptual Agent Notation for probabilistic Belief-Desire-Intention models, solved using PRISM.]
  • [SMAM21] Khayyam Salehi, Ali A. Noroozi and Sepehr Amir-Mohammadian. Quantifying Information Leakage of Probabilistic Programs Using the PRISM Model Checker. In Proc. 15th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'21). 2021. [Develops methods for quantifying information leakage built into an extension of PRISM.]
  • [RB21b] Kaustabha Ray and Ansuman Banerjee. A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing. In Proc. IEEE International Conference on Edge Computing (EDGE'21), pages 102-110, IEEE. 2021. [Uses PRISM-games to verify resource allocation policies for multi-access edge computing. ]
  • [FCD+21] Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang and Franck van Breugel. Probabilistic Model Checking of Randomized Java Code. In Proc. 27th International Symposium on Model Checking Software (SPIN'21), volume 12864 of LNCS, pages 157-174, Springer. 2021. [Presents methods for probabilistic model checking of randomised Java code using a combination of PRISM and Java PathFinder.]
  • [AHG21] Mohammed N. Alharbi, Shihong Huang and David Garlan. A Probabilistic Model for Personality Trait Focused Explainability. In ECSA 2021 Companion Volume. 2021. [Proposes a framework for incorporating human personality traits models within automated decision-making, using PRISM and PRISM-games.]
  • [CGC+21] Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues and Paolo Romano. A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. In Proc. Software Engineering and Formal Methods (SEFM 2021) collocated workshops. 2021. [Presents a framework for machine-learning based self adaptation, instantiated using PRISM.]
  • [ZLZ+21] Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden and Zhi Jin. A Meta Reinforcement Learning-based Approach for Self-Adaptive System. In Proc. IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS'21). 2021. [Presents a machine learning based framework for self-learning adaptive systems, including the use of PRISM-games. ]
  • [BH21] Paolo Ballarini and András Horváth. Formal analysis of production line systems by probabilistic model checking tools. In Proc. 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'21). 2021. [Presents a framework for performance analysis of production line systems using probabilistic model checking and PRISM. ]
  • [ELCP21] Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty and Miroslav Pajic. Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. In Proc. Design, Automation & Test in Europe Conference & Exhibition (DATE'21). 2021. [Presents a formal synthesis method for droplet routing in digital microfluidic biochips using PRISM-games.]
  • [CAG21] Radu Calinescu, Naif Alasmari and Mario Gleirscher. Maintaining driver attentiveness in shared-control autonomous driving. In Proc. International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'21). 2021. [Presents a control loop for improving driver attentiveness with controllers synthesised via PRISM models.]
  • [FCGA21] Xinwei Fang, Radu Calinescu, Simos Gerasimou and Faisal Alhwikem. Fast Parametric Model Checking through Model Fragmentation. In Proc. International Conference on Software Engineering (ICSE'21). 2021. [Presents an efficient approach to parametric employing calls to probabilistic model checkers including PRISM.]
  • [HSB21] Matej Hajnal, David Šafránek and Tatjana Petrov. DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. In Proc. 17th European Workshop on Performance Engineering and Stochastic Modeling (EPEW'21). 2021. [Presents software for parameter inference of probabilistic models building on multiple underlying tools, including PRISM]
2020
2019
  • [LP19] Alessio Lomuscio and Edoardo Pirovano. A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems. In Proc. 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS'19), pages 161-169. 2019. [Presents techniques for verification of probabilistic swarm systems developed as an extension of PRISM.]
  • [BBH+19] Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux and Ocan Sankur. Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. In Proc. 3rd International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail'19), Springer. 2019. [Uses probabilistic model checking and PRISM to formally evaluate the performance of regulation algorithms in metro train lines.]
  • [KDL19] Gildas Kouko, Josée Desharnais and François Laviolette. Finite Approximation of LMPs for Exact Verification of Reachability Properties. In Proc. 16th International Conference on Quantitative Evaluation of Systems (QEST'19), volume 11785 of LNCS, pages 70-87, Springer. 2019. [Proposes techniques for approximate verification of labelled Markov processes using PRISM as an underlying solver.]
  • [EK19] Julia Eisentraut and Jan Kretinsky. Expected Cost Analysis of Attack-Defense Trees. In Proc. 16th International Conference on Quantitative Evaluation of Systems (QEST'19), volume 11785 of LNCS, pages 203-221, Springer. 2019. [bib] [Presents an approach to analysing attack-defence trees using PRISM-games for model checking stochastic games.]
  • [TAB+19] Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder and Kim G. Larsen. L*-Based Learning of Markov Decision Processes. In Proc. 23rd International Symposium on Formal Methods (FM'19), volume 11800 of LNCS, pages 651-669, Springer. 2019. [Performs probabilistic model checking with PRISM as part of an MDP learning framework.]
  • [Mu19] Chunyan Mu. Automated Game-Theoretic Verification of Security Systems. In Proc. 16th International Conference on Quantitative Evaluation of SysTems (QEST'19), volume 11785 of LNCS, pages 239-256, Springer. 2019. [pdf] [bib] [Develops a game-theoretic approach to verifying security systems building upon PRISM.]
  • [NMMZZ19] Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng and Zhen Zhang. STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis. In Proc. 31st International Conference on Computer Aided Verification (CAV'19), volume 11561 of LNCS, pages 540-549, Springer. 2019. [Describes a tool for probabilistic verification of infinite-state systems, connecting to PRISM's model checking engines.]
  • [ZRF+19] Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher and Matt Webster. Probabilistic Model Checking of Robots Deployed in Extreme Environments. In Proc. Thirty-Third AAAI Conference on Artificial Intelligence. 2019. [Proposes a probabilistic model checking approach for verifying the safety of robots in hazardous environments, based on the use of PRISM.]
  • [SCRVP19] Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel and Patrizio Pelliccione. Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach. In Proc. 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'19). 2019. [Proposes an assurance process for self-adaptive systems, with an implementation based on PRISM.]
  • [SKK+19] Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen and Alexandra Silva. Scalable Verification of Probabilistic Networks. In Proc. 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'19), pages 190-203. 2019. [Presents a tool, McNetKAT, for verifying probabilistic network programs, optionally using PRISM as a backend solver.]
  • [ZOL+19] Xingyu Zhao, Matthew Osborne, Jennifer Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini and Angelo Ferrando. Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. In Proc. 17th International Conference on Software Engineering and Formal Methods (SEFM'19), pages 105-124. 2019. [Models an unmanned aerial vehicle inspection mission on a wind farm, focusing on the battery behaviour, and using PRISM.]
  • [KCMS19] Ashalatha Kunnappiilly, Simin Cai, Raluca Marinescu and Cristina Seceleanu. Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. In Proc. 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'19), pages 114-126. 2019. [Models and analyses a distributed ambient assisted living system represented in AADL using PRISM.]
  • [SDK+19] Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier and Akash Kumar. Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. In Proc. European Workshop on Performance Engineering (EPEW'19), volume 12039 of LNCS, pages 133-147, Springer. 2019. [Performs formal verification of scheduling strategies for multi-core systems using PRISM.]
  • [ZH19] Hein Htoo Zaw and Swe Zin Hlaing. Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games. In Proc. International Conference on Intelligent Computing & Optimization (ICO'19), volume 1072 of AISC, pages 148-159. 2019. [Studies learning based approaches for MDP policy synthesis, using PRISM-games as a model checker.]
  • [MWA19] Gareth W. Molyneu, Viraj B. Wijesuriya and Alessandro Abate. Bayesian Verification of Chemical Reaction Networks. In Proc. International Symposium on Formal Methods (FM'19) Workshops, pages 461-479. 2019. [Presents a Bayesian approach to verification of chemical reaction networks, using PRISM's parametric model checking functionality.]
  • [DCV+19] Nicolas Dejon, Davide Caputo, Luca Verderame, Alessandro Armando and Alessio Merlo. Automated Security Analysis of IoT Software Updates. In Proc. IFIP International Conference on Information Security Theory and Practice (WISTP'19), Springer. 2019. [Presents the automated software analysis framework IoTAV, which uses PRISM as an underlying model checker.]
  • [DKT19] Clemens Dubslaff, Patrick Koopmann and Anni-Yasmin Turhan. Ontology-Mediated Probabilistic Model Checking. In Proc. International Conference on Integrated Formal Methods (IFM'19). 2019. [Presents an ontology-mediated approach to probabilistic model checking, building upon PRISM for the implementation.]
  • [BXACD19] Xin Bai, Chenghao Xu, Yi Ao, Biao Chen and Dehui Du. Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. In Proc. International Symposium on Theoretical Aspects of Software Engineering (TASE'19), pages 152-159. 2019. [Builds and analyses models of driver behaviour, using PRISM to solve MDPs.]
  • [TLHW19] Milan Tomy, Bruno Lacerda, Nick Hawes and Jeremy L Wyatt. Battery Charge Scheduling in Long-Life Autonomous Mobile Robots. ECMR 2019: 1-6. In Proc. 2019 European Conference on Mobile Robots (ECMR'19). 2019. [Proposes techniques for battery charge scheduling in autonomous mobile robots, using multi-objective model checking in PRISM.]
  • [ACMM19] Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset and Roberto Metere. Modelling Load-Changing Attacks in Cyber-Physical Systems. In Proc. 10th International Workshop on the Practical Application of Stochastic Modelling (PASM'19). 2019. [Analyses load attacks on cyber-physical systems using probabilistic model checking and PRISM.]
2018
2017
2016
  • [AC16] Jose Ignacio Aizpurua and Victoria M. Catterson. ADEPS: A Methodology for Designing Prognostic Applications. In Proc. 3rd European Conference of the Prognostics and Health Management Society. 2016. [Proposes ADEPS (Assisted Design for Engineering Prognostic Systems), which uses PRISM as an underlying verification tool.]
  • [KKR16] Lubos Korenciak, Antonin Kucera and Vojtech Rehak. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. In Proc. 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'16). 2016. [Proposes fixed-delay synthesis techniques on a variant of continuous-time Markov chains, implemented as an extension of PRISM.]
  • [KBC+16] Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz and Steffen Märcker, David Müller. Advances in Symbolic Probabilistic Model Checking with PRISM. In Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), pages 349-366, Springer. 2016. [bib] [Presents a collection of extensions to PRISM, including automatic variable reordering, reward-based properties and automata improvements. ]
  • [CDKB16] Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz and Christel Baier. Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. In Proc. 19th International Conference on Fundamental Approaches to Software Engineering (FASE'16), volume 9633 of LNCS, pages 287-304, Springer. 2016. [Proposes a formalism for modelling families of probabilistic systems with differing features and a tool for their analysis, which connects to PRISM through model translations.]
  • [SAH+16] Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson and Osman Hasan. Probabilistic Formal Verification of the SATS Concept of Operation. In Proc. 8th International Symposium on NASA Formal Methods (NFM'16), volume 9690 of LNCS, pages 191–205, Springer. 2016. [Presents a formal analysis of NASA's Small Aircraft Transportation System (SATS) technology using probabilistic model checking and PRISM.]
  • [PLM16] Zhaoguang Peng, Yu Lu and Alice Miller. Uncertainty Analysis of Phased Mission Systems with Probabilistic Timed Automata. In Proc. 7th IEEE International Conference on Prognostics and Health Management (PHM'16). 2016. [Analyses phased mission requirements using probabilistic timed automata and PRISM.]
  • [GDH16] Paul Gainer, Clare Dixon and Ullrich Hustadt. Probabilistic Model Checking of Ant-Based Positionless Swarming. In Proc. Towards Autonomous Robotic Systems (TAROS'16). 2016. [Uses probabilistic model checking and PRISM to study control algorithms for robot swarms.]
  • [BKdM+16] Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier and Sascha Wunderlich. Greener Bits: Formal Analysis of Demand Response. In Proc. 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16), pages 323-339, Springer. 2016. [Develops formal techniques for managing demand response in power generation, including a probabilistic analysis using PRISM. ]
  • [GEK16] Sotirios Gyftopoulos, Pavlos S. Efraimidis and Panagiotis Katsaros. Solving Influence Problems on the DeGroot Model with a Probabilistic Model Checking Tool. In Proc. 20th Pan-Hellenic Conference on Informatics (PCI'16). 2016. [Uses PRISM-games to analyse the DeGroot model of opinion diffusion and formation in social networks.]
  • [AH16] Mohammed Alabdullatif and Reiko Heckel. Graph Transformation Games for Negotiating Features. In Proc. Graphs as Models 2016. 2016. [Proposes a negotiation game for designing flexible business interactions, with an underlying analysis based on PRISM-games.]
  • [LZW+16] Lulu Liang, Kai Zheng, Zilong Wei, Yanmei Wang, Sihan Wu and Xin Huang. Model Checking of IoT System in Microgrid. In Proc. IEEE International Symposium on Information in Medicine and Education (ITME'16). 2016. [Verifies the reliability of IoT systems in microgrids using probabilistic model checking and PRISM.]
  • [CJP16] Radu Calinescu, Kenneth Johnson and Colin Paterson. FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. In Proc. TACAS'16, volume 9636 of LNCS, pages 540-546, Springer. 2016. [Presents a model checker for computing confidence intervals, building on PRISM's parametric model checking functionality.]
  • [PMCG16] Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara and David Garlan. Hybrid Planning for Decision Making in Self-Adaptive Systems. In Proc. 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO'16). 2016. [Presents a hybrid planning technique for self-adaptive systems combining learning and probabilistic model checking, with an implementation based on PRISM.]
  • [GBKF16] Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey. ZiZo: A Complete Tool Chain for the Modeling and Verification of Reconfigurable Function Blocks. In Proc. 10th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM'16). 2016. [Presents a tool-chain for modelling and verification of reconfigurable distributed system, using PRISM as a back-end verifier.]
  • [KRF16] Lubos Korenciak, Vojtech Rehak and Adrian Farmadin. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. In Proc. 12th International Conference on Integrated Formal Methods (IFM'16), volume 9681 of LNCS, pages 130-138, Springer. 2016. [Presents an extension of PRISM to support fixed-delay continuous-time Markov chains (fdCTMCs).]
  • [SSB+16] Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee and Doo-Hwan Bae. Modeling and Verification for Different Types of System of Systems using PRISM. In Proc. IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS'16), pages 12-18. 2016. [Proposes a modelling scheme for system of systems (SoS) and uses PRISM for verification.]
  • [MHGSH16] Awais Mahmood, Osman Hasan, Hassan Raza Gillani, Yassar Saleem and Syed Rafay Hasan. Formal reliability analysis of protective systems in smart grids. In Proc. 2016 IEEE Region 10 Symposium (TENSYMP). 2016. [Provides a reliability assessment of smart grids using PRISM.]
  • [IQV16] Paolo Izzo, Hongyang Qu and Sandor M. Veres. A stochastically verifiable autonomous control architecture with reasoning. In Proc. IEEE Conference on Decision and Control (CDC'16). 2016. [Proposes an architecture for autonomous control with underlying verification abilities provided by PRISM.]
  • [SRT16] Guoxin Su, David S. Rosenblum and Giordano Tamburrelli. Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking. In Proc. IEEE/ACM 38th International Conference on Software Engineering (ICSE'16), pages 73-84. 2016. [Presents techniques for assessing quality of service using parametric probabilistic model checking, and a tool chain involving PRISM.]
  • [PWHA16] Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert and Alessandro Abate. Data-Efficient Bayesian Verification of Parametric Markov Chains. In Proc. 13th International Conference on Quantitative Evaluation of Systems (QEST'16). 2016. [Presents Bayesian methods for probabilistic model checking of Markov chains, implemented using PRISM's parametric model checking functionality.]
  • [SC16] Michele Sevegnani and Muffy Calder. BigraphER: rewriting and analysis engine for bigraphs. In Proc. 28th International Conference on Computer Aided Verification (CAV'16). 2016. [Presents a suite of tools for working with bigraphs, including export to PRISM for probabilistic bigraphs.]
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002

Theses (34)

2024
2023
2022
2021
2019
2018
2016
2015
2012
2011
2010
2009
2008
2007
2006
2004
2003

Technical reports (4)

2011
2007
2005

Other (1)

2005

Sort by: date, type, title, subject

Publications