| Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) Z Ádám, L Bajczi, M Dobos-Kovács, Á Hajdu, V Molnár International Conference on Tools and Algorithms for the Construction and …, 2022 | 12 | 2022 |
| Bottoms up for CHCs: novel transformation of linear constrained horn clauses to software verification M Somorjai, M Dobos-Kovács, Z Ádám, L Bajczi, A Vörös arXiv preprint arXiv:2404.15215, 2024 | 6 | 2024 |
| C for yourself: comparison of front-end techniques for formal verification L Bajczi, Z Ádám, V Molnár Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022 | 5 | 2022 |
| Theta: Abstraction based techniques for verifying concurrency (competition contribution) L Bajczi, C Telbisz, M Somorjai, Z Ádám, M Dobos-Kovács, D Szekeres, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 4 | 2024 |
| ConcurrentWitness2Test: Test-harnessing the power of concurrency (competition contribution) L Bajczi, Z Ádám, Z Micskei International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
| EmergenTheta: Verification beyond abstraction refinement (competition contribution) L Bajczi, D Szekeres, M Mondok, Z Ádám, M Somorjai, C Telbisz, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
| Solving constrained horn clauses as C programs with CHC2C L Bajczi, V Molnár International Symposium on Model Checking Software, 146-163, 2024 | 1 | 2024 |
| Stateless software model checking parameterized with memory consistency models L Bajczi, V Molnár Bachelor’s thesis, Budapest University of Technology and Economics, 2020 …, 2020 | 1 | 2020 |
| Will My Program Break on This Faulty Processor? Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software L Bajczi, A Vörös, V Molnár ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-21, 2019 | 1 | 2019 |
| Networcat: applying analysis techniques of shared memory software on message-passing distributed systems L Bajczi, V Molnár Software and Systems Modeling, 1-20, 2025 | | 2025 |
| Artifacts FAPLS EAPLS L Bajczi, V Molnár Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg …, 2025 | | 2025 |
| Efficient Automatic Verification of Concurrent Programs C Telbisz, L Bajczi | | 2024 |
| Enhancing MBSE Education with Version Control and Automated Feedback L Bajczi, D Szekeres, D Siegl, V Molnár arXiv preprint arXiv:2409.15294, 2024 | | 2024 |
| Handling Axiomatic Memory Models in Abstraction-Based Model Checking of Concurrent and Distributed Systems L Bajczi, V Molnár | | 2022 |
| Software Verification Witnesses for Weak Memory L Bajczi, M Lingsch-Rosenfeld | | |
| CHCs for Weak Memory L Bajczi | | |
