• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 70 matches

• 2024
• 
  Sven Schneider, Maria Maximova, Holger Giese:
  Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. J. Log. Algebraic Methods Program. 137: 100938 (2024)
• 
  Maria Casimiro, Diogo Soares, David Garlan, Luís Rodrigues, Paolo Romano:
  Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework. ACM Trans. Auton. Adapt. Syst. 19(3): 18:1-18:30 (2024)
• 
  Yi Yang, Tom Holvoet:
  Added Value of Probabilistic Model Checking of vGOAL for Autonomous Systems. PRIMA 2024: 248-264
• 2023
• 
  Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang:
  Model Checking for Probabilistic Multiagent Systems. J. Comput. Sci. Technol. 38(5): 1162-1186 (2023)
• 
  Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini:
  Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems. SN Comput. Sci. 4(5): 443 (2023)
• 
  Susmoy Das, Arpit Sharma:
  On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. FORTE 2023: 115-131
• 2022
• 
  Hichem Debbi:
  Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking. Comput. Sci. 23(4) (2022)
• 
  Yuchong Huang, Ning Xu, Nan Wang, Jie Li:
  Synthesis method of strategy for multi-robot systems fromlocal automatons under probabilistic model checking. J. Intell. Fuzzy Syst. 42(3): 2057-2069 (2022)
• 
  Yi Dong, Xingyu Zhao, Xiaowei Huang:
  Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. IROS 2022: 5171-5178
• 
  Xia Wang, Jun Liu, Chris D. Nugent, Samuel J. Moore, Yang Xu:
  Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking. UCAmI 2022: 796-808
• 2021
• 
  Hai-Dang Vu, Sébastien Le Nours, Sébastien Pillement:
  Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems. DSD 2021: 150-157
• 
  Paolo Ballarini, András Horváth:
  Formal analysis of production line systems by probabilistic model checking tools. ETFA 2021: 1-8
• 
  Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini:
  Logic and Model Checking by Imprecise Probabilistic Interpreted Systems. EUMAS 2021: 211-227
• 
  Gabriel Duarte Pasa, Valdivino Alexandre de Santiago Júnior:
  Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking. ICCSA (4) 2021: 465-480
• 
  Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano:
  A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. SEFM Workshops 2021: 317-332
• 2019
• 
  Marina Dioto, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior:
  On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems. ICCSA (2) 2019: 743-757
• 2018
• 
  Pedro J. Rivera Torres, Eileen I. Serrano Mercado, Luis Anido Rifón:
  Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems. J. Intell. Manuf. 29(6): 1393-1413 (2018)
• 
  Pedro J. Rivera Torres, Eileen I. Serrano Mercado, Luis Anido Rifón:
  Erratum to: Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems. J. Intell. Manuf. 29(6): 1415 (2018)
• 
  Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang:
  Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. IJCAI 2018: 4757-4763
• 
  Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska:
  Model Checking Probabilistic Systems. Handbook of Model Checking 2018: 963-999
• 2017
• 
  Hao Wu:
  Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -. RWTH Aachen University, Germany, 2017
• 2016
• 
  Marco Paolieri, András Horváth, Enrico Vicario:
  Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE Trans. Software Eng. 42(2): 153-169 (2016)
• 
  Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
  Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. FDL 2016: 1-8
• 
  Christel Baier:
  Probabilistic Model Checking. Dependable Software Systems Engineering 2016: 1-23
• 2015
• 
  Alistair Stewart, Kousha Etessami, Mihalis Yannakakis:
  Upper Bounds for Newton's Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata. J. ACM 62(4): 30:1-30:33 (2015)
• 
  Clemens Dubslaff, Christel Baier, Sascha Klüppelholz:
  Probabilistic Model Checking for Feature-Oriented Systems. LNCS Trans. Aspect Oriented Softw. Dev. 12: 180-220 (2015)
• 
  Yue Ben, A. Prasad Sistla:
  Model Checking Failure-Prone Open Systems Using Probabilistic Automata. ATVA 2015: 148-165
• 
  Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria:
  Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. DATE 2015: 1635-1640
• 
  Jiayi Gu, Yu Zhou, Weigang Wu, Taolue Chen:
  Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking. ICCCS 2015: 192-205
• 2014
• 
  Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner:
  Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Petri Nets 2014: 20-39

skipping 40 more matches