Levente Bajczi

According to our database, Levente Bajczi authored at least 27 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution).

Milán Mondok, Csanád Telbisz, Levente Bajczi, Dániel Kovács, Mihály Dobos-Kovács, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

CPAchecker (SV-COMP26 submission).

Dirk Beyer, Philipp Wendler, Marek Jankola, Daniel Baier, Levente Bajczi, Marie-Christine Jakobs, Matthias Kettl, Thomas Lemberger, Marian Lingsch Rosenfeld

Dataset, November, 2025

CPAchecker (SV-COMP26 submission).

Dirk Beyer, Philipp Wendler, Marek Jankola, Daniel Baier, Levente Bajczi, Marie-Christine Jakobs, Matthias Kettl, Thomas Lemberger, Marian Lingsch Rosenfeld

Dataset, November, 2025

CPAchecker (SV-COMP26 submission).

Dirk Beyer, Philipp Wendler, Marek Jankola, Daniel Baier, Levente Bajczi, Marie-Christine Jakobs, Matthias Kettl, Thomas Lemberger, Marian Lingsch Rosenfeld

Dataset, November, 2025

Networcat: applying analysis techniques of shared memory software on message-passing distributed systems.

Levente Bajczi, Vince Molnár

Softw. Syst. Model., October, 2025

CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses.

Mihály Dobos-Kovács, Levente Bajczi, András Vörös

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis, October, 2025

Theta as a Horn Solver.

Levente Bajczi, Milán Mondok, Vince Molnár

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis, October, 2025

CPAchecker (SV-COMP26 submission).

Dirk Beyer, Philipp Wendler, Marek Jankola, Daniel Baier, Levente Bajczi, Marie-Christine Jakobs, Matthias Kettl, Thomas Lemberger, Marian Lingsch Rosenfeld

Dataset, October, 2025

Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Reproduction Package for ASE 2025 Paper "Non-termination Witnesses and Their Validation".

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Theta: Various Approaches for Concurrent Program Verification (Competition Contribution).

Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution).

Milán Mondok, Levente Bajczi, Dániel Szekeres, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study).

Levente Bajczi, Csanád Telbisz, Dániel Szekeres, András Vörös

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

SV-COMP'25 Reproduction Report (Competition Contribution).

Levente Bajczi, Zsófia Ádám, Zoltán Micskei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software.

Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös

Proceedings of the Model Checking Software - 31st International Symposium, 2025

Non-termination Witnesses and Their Validation.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework.

Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös, István Majzik

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

2024

Enhancing MBSE Education with Version Control and Automated Feedback.

Levente Bajczi, Dániel Szekeres, Daniel Siegl, Vince Molnár

CoRR, 2024

Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).

Levente Bajczi, Csanád Telbisz, Márk Somorjai, Zsófia Ádám, Mihály Dobos-Kovács, Dániel Szekeres, Milán Mondok, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution).

Levente Bajczi, Dániel Szekeres, Milán Mondok, Zsófia Ádám, Márk Somorjai, Csanád Telbisz, Mihály Dobos-Kovács, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution).

Levente Bajczi, Zsófia Ádám, Zoltán Micskei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Solving Constrained Horn Clauses as C Programs with CHC2C.

Levente Bajczi, Vince Molnár

Proceedings of the Model Checking Software - 30th International Symposium, 2024

2023

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification.

Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám, Levente Bajczi, András Vörös

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

2022

Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).

Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

C for Yourself: Comparison of Front-End Techniques for Formal Verification.

Levente Bajczi, Zsófia Ádám, Vince Molnár

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2019

Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software.

Levente Bajczi, András Vörös, Vince Molnár

ACM Trans. Embed. Comput. Syst., 2019