Csanád Telbisz

According to our database, Csanád Telbisz authored at least 5 papers between 2024 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

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

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

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