Vladimír Still

According to our database, Vladimír Still authored at least 15 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Automatic Test Generation for Haskell Programming Assignments.

Vladimír Still

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

2019

Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution).

Henrich Lauko, Vladimír Still, Petr Rockai, Jiri Barnat

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Local Nontermination Detection for Parallel C++ Programs.

Vladimír Still, Jiri Barnat

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

DiVM: Model checking with LLVM and graph memory.

Petr Rockai, Vladimír Still, Ivana Cerná, Jiri Barnat

J. Syst. Softw., 2018

Model Checking of C++ Programs Under the x86-TSO Memory Model.

Vladimír Still, Jiri Barnat

Proceedings of the Formal Methods and Software Engineering, 2018

2017

Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution).

Jan Mrázek, Martin Jonás, Vladimír Still, Henrich Lauko, Jiri Barnat

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Using Off-the-Shelf Exception Support Components in C++ Verification.

Vladimír Still, Petr Rockai, Jiri Barnat

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Model Checking of C and C++ with DIVINE 4.

Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeás Kucera, Henrich Lauko, Jan Mrázek, Petr Rockai, Vladimír Still

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

DIVINE: Explicit-State LTL Model Checker - (Competition Contribution).

Vladimír Still, Petr Rockai, Jiri Barnat

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

On verifying C++ programs with probabilities.

Jiri Barnat, Ivana Cerná, Petr Rockai, Vladimír Still, Kristína Zákopcanová

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Fast, Dynamically-Sized Concurrent Hash Table.

Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Techniques for Memory-Efficient Model Checking of C and C++ Code.

Petr Rockai, Vladimír Still, Jiri Barnat

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Weak Memory Models as LLVM-to-LLVM Transformations.

Vladimír Still, Petr Rockai, Jiri Barnat

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2015

2014

Context-Switch-Directed Verification in DIVINE.

Vladimír Still, Petr Rockai, Jiri Barnat

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

2013

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs.

Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser

Proceedings of the Computer Aided Verification - 25th International Conference, 2013