Levente Bajczi

According to our database, Levente Bajczi authored at least 14 papers between 2019 and 2025.

Collaborative distances:

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

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

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