• 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 6,992 matches

• 2023
• 
  Hichem Debbi:
  Constraint-based debugging in probabilistic model checking. Computing 105(2): 321-351 (2023)
• 
  Anissa Kheireddine, Etienne Renault, Souheib Baarir:
  Towards better heuristics for solving bounded model checking problems. Constraints An Int. J. 28(1): 45-66 (2023)
• 
  Rafaella L. S. do Nascimento, Roberta A. de A. Fagundes, Renata M. C. R. de Souza, Francisco José de A. Cysneiros:
  Interval regression model adequacy checking and its application to estimate school dropout in Brazilian municipality educational scenario. Pattern Anal. Appl. 26(1): 39-59 (2023)
• 
  Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis:
  Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proc. ACM Program. Lang. 7(POPL): 544-572 (2023)
• 
  Katja Tuma, Sven Peldszus, Daniel Strüber, Riccardo Scandariato, Jan Jürjens:
  Checking security compliance between models and code. Softw. Syst. Model. 22(1): 273-296 (2023)
• 
  Madoda Nxumalo, Nils Timm, Stefan Gruner:
  An evaluation of approaches to model checking real-time task schedulability analysis. Int. J. Softw. Tools Technol. Transf. 25(1): 115-128 (2023)
• 
  Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang:
  Model checking differentially private properties. Theor. Comput. Sci. 943: 153-170 (2023)
• 
  Kaustabha Ray, Ansuman Banerjee:
  Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking. IEEE Trans. Dependable Secur. Comput. 20(1): 797-812 (2023)
• 
  Kenji Tei, Yasuyuki Tahara, Akihiko Ohsuga:
  Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems. IEEE Trans. Software Eng. 49(3): 1299-1322 (2023)
• 
  Filip Strömbäck, Linda Mannila, Mariam Kamkar:
  Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in Progvis. ACE 2023: 11-20
• 
  Reijo Jaakkola:
  Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability. CSL 2023: 26:1-26:18
• 
  Jiahui Xu, Emmet Murphy, Jordi Cortadella, Lana Josipovic:
  Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking. FPGA 2023: 27-37
• 
  Petr A. Golovach, Giannos Stamoulis, Dimitrios M. Thilikos:
  Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes. SODA 2023: 3684-3699
• 
  Cole Vick, Kenneth L. McMillan:
  Synthesizing History and Prophecy Variables for Symbolic Model Checking. VMCAI 2023: 320-340
• 
  Cezara Dragoi, Michael Emmi, Jingbo Wang:
  Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Lecture Notes in Computer Science 13881, Springer 2023, ISBN 978-3-031-24949-5 [contents]
• 
  Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
  Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR abs/2301.06209 (2023)
• 
  Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
  Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023)
• 
  Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro:
  LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution). CoRR abs/2301.09142 (2023)
• 
  Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger:
  A Practitioner's Guide to MDP Model Checking Algorithms. CoRR abs/2301.10197 (2023)
• 
  Raven Beutner, Bernd Finkbeiner:
  AutoHyper: Explicit-State Model Checking for HyperLTL. CoRR abs/2301.11229 (2023)
• 
  Shahinul Hoque, Farhin Farhad Riya, Jinyuan Sun:
  Deep Learning model integrity checking mechanism using watermarking technique. CoRR abs/2301.12333 (2023)
• 
  Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
  JBMC: A Bounded Model Checking Tool for Java Bytecode. CoRR abs/2302.02381 (2023)
• 
  Jan Dreier, Nikolas Mählmann, Sebastian Siebertz:
  First-Order Model Checking on Structurally Sparse Graph Classes. CoRR abs/2302.03527 (2023)
• 
  Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny:
  Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes. CoRR abs/2302.07033 (2023)
• 2022
• 
  Simon Jantsch:
  Certificates and Witnesses for Probabilistic Model Checking. Dresden University of Technology, Germany, 2022
• 
  Michaela Klauck:
  On the connection of probabilistic model checking, planning, and learning for system verification. Saarland University, Saarbrücken, Germany, 2022
• 
  Robbert Jongeling:
  Lightweight consistency checking for advancing continuous model-based development in industry. Mälardalen University, Sweden, 2022
• 
  Canh Minh Do, Yati Phyo, Kazuhiro Ogata:
  Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way. IEEE Access 10: 133749-133765 (2022)
• 
  Wonhong Nam, Hyunyoung Kil:
  Formal Verification of Blockchain Smart Contracts via ATL Model Checking. IEEE Access 10: 8151-8162 (2022)
• 
  Natalia Olegovna Garanina, Sergei P. Gorlatch:
  Autotuning Parallel Programs by Model Checking. Autom. Control. Comput. Sci. 56(7): 634-648 (2022)

skipping 6,962 more matches