Milán Mondok

According to our database, Milán Mondok authored at least 7 papers between 2023 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

2025

Theta as a Horn Solver.

Levente Bajczi, Milán Mondok, Vince Molnár

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis, October, 2025

Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations.

Bence Graics, Milán Mondok, Vince Molnár, István Majzik

Sci. Comput. Program., 2025

EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution).

Milán Mondok, Levente Bajczi, Dániel Szekeres, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Model-Based Testing of Asynchronously Communicating Distributed Controllers.

Bence Graics, Milán Mondok, Vince Molnár, István Majzik

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023