Henrich Lauko

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 13

Top Topics

Verification Method

Semantic Caching

Fukunaga Koontz

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Henrich Lauko, Lukás Korencik, Peter Goodman
On the Optimization of Equivalent Concurrent Computations. CoRR (2022)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
From Spot 2.0 to Spot 2.10: What's New? CoRR (2022)
Henrich Lauko, Lukás Korencik, Petr Rockai
Verification of Programs Sensitive to Heap Layout. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
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
From Spot 2.0 to Spot 2.10: What's New? CAV (2) (2022)
Henrich Lauko, Petr Rockai
LART: Compiled Abstract Execution - (Competition Contribution). TACAS (2) (2022)
Lukás Korencik, Petr Rockai, Henrich Lauko, Jiri Barnat
On Symbolic Execution of Decompiled Programs. QRS (2020)
Henrich Lauko, Vladimír Still, Petr Rockai, Jiri Barnat
Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution). TACAS (3) (2019)
Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai
String Abstraction for Model Checking of C Programs. SPIN (2019)
Henrich Lauko, Petr Rockai, Jiri Barnat
Symbolic Computation via Program Transformation. ICTAC (2018)
Henrich Lauko, Petr Rockai, Jiri Barnat
Symbolic Computation via Program Transformation. CoRR (2018)
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)
Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. SPIN (2016)