Vladimír Still

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 11

Top Topics

Formal Verification

Temporal Properties

Top Venues

Publications

Vladimír Still
Automatic Test Generation for Haskell Programming Assignments. ITiCSE (2020)
Vladimír Still, Jiri Barnat
Local Nontermination Detection for Parallel C++ Programs. SEFM (2019)
Henrich Lauko, Vladimír Still, Petr Rockai, Jiri Barnat
Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution). TACAS (3) (2019)
Petr Rockai, Vladimír Still, Ivana Cerná, Jiri Barnat
DiVM: Model checking with LLVM and graph memory. J. Syst. Softw. 143 (2018)
Vladimír Still, Jiri Barnat
Model Checking of C++ Programs Under the x86-TSO Memory Model. ICFEM (2018)
Vladimír Still, Petr Rockai, Jiri Barnat
Using Off-the-Shelf Exception Support Components in C++ Verification. QRS (2017)
Jan Mrázek, Martin Jonás, Vladimír Still, Henrich Lauko, Jiri Barnat
Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution). TACAS (2) (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)
Vladimír Still, Petr Rockai, Jiri Barnat
Using Off-the-Shelf Exception Support Components in C++ Verification. CoRR (2017)
Vladimír Still, Petr Rockai, Jiri Barnat
DIVINE: Explicit-State LTL Model Checker - (Competition Contribution). TACAS (2016)
Jiri Barnat, Ivana Cerná, Petr Rockai, Vladimír Still, Kristína Zákopcanová
On verifying C++ programs with probabilities. SAC (2016)
Vladimír Still, Petr Rockai, Jiri Barnat
Weak Memory Models as LLVM-to-LLVM Transformations. MEMICS (2015)
Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser
Fast, Dynamically-Sized Concurrent Hash Table. SPIN (2015)
Petr Rockai, Vladimír Still, Jiri Barnat
Techniques for Memory-Efficient Model Checking of C and C++ Code. SEFM (2015)
Vladimír Still, Petr Rockai, Jiri Barnat
Context-Switch-Directed Verification in DIVINE. MEMICS (2014)
Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser
DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. CAV (2013)