Model-Based Testing of Asynchronously Communicating Distributed Controllers. - Bence Graics; Milán Mondok; Vince Molnár; István Majzik (FACS, 2023)

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 (TACAS (3), 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 (TACAS (3), 2024)

EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution). - Milán Mondok; Levente Bajczi; Dániel Szekeres; Vince Molnár (TACAS (3), 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)