Henrich Lauko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2017–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CAV | 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, Jrme Dubois, Clment Gillard, Henrich Lauko |
| 2022 | TACAS | LART: Compiled Abstract Execution - (Competition Contribution). | Henrich Lauko, Petr Rockai |
| 2020 | QRS | On Symbolic Execution of Decompiled Programs. | Luks Korencik, Petr Rockai, Henrich Lauko, Jiri Barnat |
| 2019 | TACAS | Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution). | Henrich Lauko, Vladimr Still, Petr Rockai, Jiri Barnat |
| 2018 | ICTAC | Symbolic Computation via Program Transformation. | Henrich Lauko, Petr Rockai, Jiri Barnat |
| 2017 | ATVA | Model Checking of C and C++ with DIVINE 4. | Zuzana Baranov, Jiri Barnat, Katarna Kejstov, Tades Kucera, Henrich Lauko, Jan Mrzek, Petr Rockai, Vladimr Still |
| 2017 | TACAS | Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution). | Jan Mrzek, Martin Jons, Vladimr Still, Henrich Lauko, Jiri Barnat |