Levente Bajczi

Levente Bajczi

Budapest University of Technology and Economics - Budapest / Hungary
Engineering & Technology / Computer Science
AD Scientific Index ID: 5210946
Budapesti Muszaki és Gazdaságtudományi Egyetem
person_outline Levente Bajczi's MOST POPULAR ARTICLES
1-) Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)Z Ádám, L Bajczi, M Dobos-Kovács, Á Hajdu, V MolnárInternational Conference on Tools and Algorithms for the Construction and …, 202282022
2-) Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software VerificationM Somorjai, M Dobos-Kovács, Z Ádám, L Bajczi, A VörösarXiv preprint arXiv:2404.15215, 202442024
3-) C for yourself: comparison of front-end techniques for formal verificationL Bajczi, Z Ádám, V MolnárProceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 202242022
4-) ConcurrentWitness2Test: Test-harnessing the power of concurrency (competition contribution)L Bajczi, Z Ádám, Z MicskeiInternational Conference on Tools and Algorithms for the Construction and …, 202432024
5-) 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 …, 202422024