| From spot 2.0 to spot 2.10: what’s new? A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ... International Conference on Computer Aided Verification, 174-187, 2022 | 96 | 2022 |
| Model Checking of C and C++ with DIVINE 4 Z Baranová, J Barnat, K Kejstová, T Kučera, H Lauko, J Mrázek, P Ročkai, ... Automated Technology for Verification and Analysis: 15th International …, 2017 | 92 | 2017 |
| Symbolic computation via program transformation H Lauko, P Ročkai, J Barnat Theoretical Aspects of Computing–ICTAC 2018: 15th International Colloquium …, 2018 | 34 | 2018 |
| SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration J Mrázek, P Bauch, H Lauko, J Barnat Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016 | 24 | 2016 |
| Extending DIVINE with Symbolic Verification Using SMT: (Competition Contribution) H Lauko, V Štill, P Ročkai, J Barnat International Conference on Tools and Algorithms for the Construction and …, 2019 | 12 | 2019 |
| String abstraction for model checking of C programs A Cortesi, H Lauko, M Olliaro, P Ročkai Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | 9 | 2019 |
| Optimizing and Caching SMT Queries in SymDIVINE: (Competition Contribution) J Mrázek, M Jonáš, V Štill, H Lauko, J Barnat Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 8 | 2017 |
| LART: Compiled Abstract Execution: (Competition Contribution) H Lauko, P Ročkai International Conference on Tools and Algorithms for the Construction and …, 2022 | 5 | 2022 |
| On Symbolic Execution of Decompiled Programs L Korenčik, P Ročkai, H Lauko, J Barnat 2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020 | 3 | 2020 |
| Abstracting strings for model checking of C programs H Lauko, M Olliaro, A Cortesi, P Rockai Applied Sciences 10 (21), 7853, 2020 | 3 | 2020 |
| Verification of Programs Sensitive to Heap Layout H Lauko, L Korenčik, P Ročkai ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-27, 2022 | 2 | 2022 |
| On the Optimization of Equivalent Concurrent Computations H Lauko, L Korenčik, P Goodman arXiv preprint arXiv:2208.06295, 2022 | 1 | 2022 |
| ths-rwth/CArl: 23.05 G Kremer, M Volk, J Nalbach, S Junges, S Schupp, F Corzilius, T Winkler, ... Zenodo, 2023 | | 2023 |
| LART H Lauko | | 2022 |
| From Spot 2.0 to Spot 2.10: What’s New? H Lauko | | |
| From Spot 2.0 to Spot 2.10: What’s New? P Schlehuber-Caissier, T Medioni, A Martin, J Dubois, C Gillard, H Lauko | | |
| DIVINE: Extended Compilation-based Symbolic Verification Z Baranová, L Korencik, H Lauko, A Matoušek, P Rockai, V Štill | | |
| Základy dátových štruktúr v príkladoch H Lauko | | |
