Levente Bajczi

20 papers A* 1Journal 3Unranked 16
YearRankTypeTitle / Venue / Authors
2026 — conf
EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution).
TACAS (2)
Milán Mondok, Csanád Telbisz, Levente Bajczi, Dániel Kovács, Mihály Dobos-Kovács, Vince Molnár
2025 — conf
CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses.
HCVS@CAV
Mihály Dobos-Kovács, Levente Bajczi, András Vörös
2025 — conf
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution).
TACAS (3)
Milán Mondok, Levente Bajczi, Dániel Szekeres, Vince Molnár
2025 J jnl
Networcat: applying analysis techniques of shared memory software on message-passing distributed systems.
Softw. Syst. Model.
Levente Bajczi, Vince Molnár
2025 A* conf
Non-termination Witnesses and Their Validation.
ASE
Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek
2025 — conf
On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study).
TACAS (1)
Levente Bajczi, Csanád Telbisz, Dániel Szekeres, András Vörös
2025 — conf
On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software.
SPIN
Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös
2025 — conf
Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework.
DSN-W
Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös, István Majzik
2025 — conf
SV-COMP'25 Reproduction Report (Competition Contribution).
TACAS (3)
Levente Bajczi, Zsófia Ádám, Zoltán Micskei
2025 — conf
Theta as a Horn Solver.
HCVS@CAV
Levente Bajczi, Milán Mondok, Vince Molnár
2025 — conf
Theta: Various Approaches for Concurrent Program Verification (Competition Contribution).
TACAS (3)
Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös
2024 — conf
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution).
TACAS (3)
Levente Bajczi, Zsófia Ádám, Zoltán Micskei
2024 — conf
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution).
TACAS (3)
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
2024 J jnl
Enhancing MBSE Education with Version Control and Automated Feedback.
CoRR
Levente Bajczi, Dániel Szekeres, Daniel Siegl, Vince Molnár
2024 — conf
Solving Constrained Horn Clauses as C Programs with CHC2C.
SPIN
Levente Bajczi, Vince Molnár
2024 — conf
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).
TACAS (3)
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
2023 — conf
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification.
LSFA/HCVS
Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám, Levente Bajczi, András Vörös
2022 — conf
C for Yourself: Comparison of Front-End Techniques for Formal Verification.
FormaliSE@ICSE
Levente Bajczi, Zsófia Ádám, Vince Molnár
2022 — conf
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).
TACAS (2)
Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár
2019 J jnl
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software.
ACM Trans. Embed. Comput. Syst.
Levente Bajczi, András Vörös, Vince Molnár