Mihály Dobos-Kovács

According to our database, Mihály Dobos-Kovács authored at least 9 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• 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

Unified Timing-Aware Program Verification.

Dóra Cziborová, Mihály Dobos-Kovács, Kristóf Marussy, András Vörös

Proceedings of the Fundamental Approaches to Software Engineering, 2026

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

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

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

Evaluation of SMT solvers in abstraction-based software model checking.

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

Proceedings of the 11th Latin-American Symposium on Dependable Computing, 2022

2021

Bitvector Support in the Theta Formal Verification Framework.

Mihály Dobos-Kovács, Ákos Hajdu, András Vörös

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021