• 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 43 matches

• 2022
• 
  Petr Rockai, Jiri Barnat:
  DivSIM , an interactive simulator for LLVM bitcode. Int. J. Softw. Tools Technol. Transf. 24(3): 493-510 (2022)
• 
  Henrich Lauko, Lukás Korencik, Petr Rockai:
  Verification of Programs Sensitive to Heap Layout. ACM Trans. Softw. Eng. Methodol. 31(4): 71:1-71:27 (2022)
• 
  Henrich Lauko, Petr Rockai:
  LART: Compiled Abstract Execution - (Competition Contribution). TACAS (2) 2022: 457-461
• 2021
• 
  Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat:
  Reproducible execution of POSIX programs with DiOS. Softw. Syst. Model. 20(2): 363-382 (2021)
• 2020
• 
  Lukás Korencik, Petr Rockai, Henrich Lauko, Jiri Barnat:
  On Symbolic Execution of Decompiled Programs. QRS 2020: 265-272
• 2019
• 
  Zuzana Baranová, Petr Rockai:
  Compiling C and C++ Programs for Dynamic White-Box Analysis. FM Workshops (1) 2019: 30-45
• 
  Petr Rockai:
  Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table. FM Workshops (1) 2019: 46-60
• 
  Petr Rockai, Jiri Barnat:
  A Simulator for LLVM Bitcode. FMICS 2019: 127-142
• 
  Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat:
  Reproducible Execution of POSIX Programs with DiOS. SEFM 2019: 333-349
• 
  Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai:
  String Abstraction for Model Checking of C Programs. SPIN 2019: 74-93
• 
  Henrich Lauko, Vladimír Still, Petr Rockai, Jiri Barnat:
  Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution). TACAS (3) 2019: 204-208
• 
  Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat:
  Reproducible Execution of POSIX Programs with DiOS. CoRR abs/1907.03356 (2019)
• 2018
• 
  Petr Rockai, Vladimír Still, Ivana Cerná, Jiri Barnat:
  DiVM: Model checking with LLVM and graph memory. J. Syst. Softw. 143: 1-13 (2018)
• 
  Henrich Lauko, Petr Rockai, Jiri Barnat:
  Symbolic Computation via Program Transformation. ICTAC 2018: 313-332
• 
  Katarína Kejstová, Petr Rockai, Jiri Barnat:
  From Model Checking to Runtime Verification and Back. CoRR abs/1805.12428 (2018)
• 
  Henrich Lauko, Petr Rockai, Jiri Barnat:
  Symbolic Computation via Program Transformation. CoRR abs/1806.03959 (2018)
• 2017
• 
  Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeás Kucera, Henrich Lauko, Jan Mrázek, Petr Rockai, Vladimír Still:
  Model Checking of C and C++ with DIVINE 4. ATVA 2017: 201-207
• 
  Vladimír Still, Petr Rockai, Jiri Barnat:
  Using Off-the-Shelf Exception Support Components in C++ Verification. QRS 2017: 54-64
• 
  Katarína Kejstová, Petr Rockai, Jiri Barnat:
  From Model Checking to Runtime Verification and Back. RV 2017: 225-240
• 
  Petr Rockai, Jiri Barnat:
  A Simulator for LLVM Bitcode. CoRR abs/1704.05551 (2017)
• 
  Petr Rockai, Ivana Cerná, Jiri Barnat:
  DiVM: Model Checking with LLVM and Graph Memory. CoRR abs/1703.05341 (2017)
• 
  Vladimír Still, Petr Rockai, Jiri Barnat:
  Using Off-the-Shelf Exception Support Components in C++ Verification. CoRR abs/1703.02394 (2017)
• 2016
• 
  Petr Rockai, Jiri Barnat, Lubos Brim:
  Model checking C++ programs with exceptions. Sci. Comput. Program. 128: 68-85 (2016)
• 
  Jiri Barnat, Ivana Cerná, Petr Rockai, Vladimír Still, Kristína Zákopcanová:
  On verifying C++ programs with probabilities. SAC 2016: 1238-1243
• 
  Vladimír Still, Petr Rockai, Jiri Barnat:
  DIVINE: Explicit-State LTL Model Checker - (Competition Contribution). TACAS 2016: 920-922
• 2015
• 
  Vladimír Still, Petr Rockai, Jiri Barnat:
  Weak Memory Models as LLVM-to-LLVM Transformations. MEMICS 2015: 144-155
• 
  Petr Rockai, Vladimír Still, Jiri Barnat:
  Techniques for Memory-Efficient Model Checking of C and C++ Code. SEFM 2015: 268-282
• 
  Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser:
  Fast, Dynamically-Sized Concurrent Hash Table. SPIN 2015: 49-65
• 2014
• 
  Petr Rockai, Jiri Barnat, Lubos Brim:
  Model Checking C++ with Exceptions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
• 
  Vladimír Still, Petr Rockai, Jiri Barnat:
  Context-Switch-Directed Verification in DIVINE. MEMICS 2014: 135-146

skipping 13 more matches