Levente Bajczi

According to our database, Levente Bajczi authored at least 9 papers between 2019 and 2024.

Collaborative distances:

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

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