Henrich Lauko

According to our database, Henrich Lauko authored at least 11 papers between 2016 and 2022.

Collaborative distances:

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

2022

Verification of Programs Sensitive to Heap Layout.

Henrich Lauko, Lukás Korencik, Petr Rockai

ACM Trans. Softw. Eng. Methodol., 2022

On the Optimization of Equivalent Concurrent Computations.

Henrich Lauko, Lukás Korencik, Peter Goodman

CoRR, 2022

LART: Compiled Abstract Execution - (Competition Contribution).

Henrich Lauko, Petr Rockai

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

From Spot 2.0 to Spot 2.10: What's New?

Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020

On Symbolic Execution of Decompiled Programs.

Lukás Korencik, Petr Rockai, Henrich Lauko, Jiri Barnat

Proceedings of the 20th IEEE International Conference on Software Quality, 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

String Abstraction for Model Checking of C Programs.

Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai

Proceedings of the Model Checking Software - 26th International Symposium, 2019

2018

Symbolic Computation via Program Transformation.

Henrich Lauko, Petr Rockai, Jiri Barnat

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 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

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

SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.

Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat

Proceedings of the Model Checking Software - 23rd International Symposium, 2016