Mihly Dobos-Kovcs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2022–2026
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | Unified Timing-Aware Program Verification. | Dra Cziborov, Mihly Dobos-Kovcs, Kristf Marussy, Andrs Vrs |
| 2026 | TACAS | EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution). | Miln Mondok, Csand Telbisz, Levente Bajczi, Dniel Kovcs, Mihly Dobos-Kovcs, Vince Molnr |
| 2024 | TACAS | EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). | Levente Bajczi, Dniel Szekeres, Miln Mondok, Zsfia dm, Mrk Somorjai, Csand Telbisz, Mihly Dobos-Kovcs, Vince Molnr |
| 2024 | TACAS | Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). | Levente Bajczi, Csand Telbisz, Mrk Somorjai, Zsfia dm, Mihly Dobos-Kovcs, Dniel Szekeres, Miln Mondok, Vince Molnr |
| 2022 | TACAS | Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). | Zsfia dm, Levente Bajczi, Mihly Dobos-Kovcs, kos Hajdu, Vince Molnr |