Vladimír Still

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