Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. - Ferenc Bujtor; Lev Sorokin; Walter Vogler (ACSD, 2015)

Error-pruning in interface automata. - Ferenc Bujtor; Walter Vogler (Theor. Comput. Sci., 2015)

Failure Semantics for Modal Transition Systems. - Ferenc Bujtor; Walter Vogler (ACM Trans. Embed. Comput. Syst., 2015)

Nondeterministic Modal Interfaces. - Ferenc Bujtor; Sascha Fendrich; Gerald Lüttgen; Walter Vogler (Theor. Comput. Sci., 2016)

ACTL for Modal Interface Automata. - Ferenc Bujtor; Walter Vogler (Theor. Comput. Sci., 2017)

Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting. - Ferenc Bujtor; Lev Sorokin; Walter Vogler (ACM Trans. Embed. Comput. Syst., 2017)

Modal Interface Automata: A Theory for Heterogeneous Specification of Parallel Systems. - Ferenc Bujtor (2018)