Proconsul, a tool for computer-aided protocol engineering. - Katalin Tarnay; Gyula Csopaki; Maria Törö; M. D. Ta; Zs Boja-Harangozó; J. Miskolczi (Microprocess. Microprogramming, 1993)

Test strategy for indeterministic protocols. - Maria Törö (Microprocess. Microprogramming, 1993)

Validation of abstract test suites with use of SDL. - Maria Törö; Gábor Ziegler (Microprocess. Microprogramming, 1994)

Principles for validation of abstract test suites specified in concurrent TTCN. - Maria Törö; Katalin Tarnay (PSTV, 1995)

Simulation of IP mobility support: An experiment in mobile protocol specification with SDL. - Maria Törö (SDL Forum, 1997)

SDL specification and verification of universal personal computing: with Object GEODE. - Maria Törö; Jinsong Zhu; Victor C. M. Leung (FORTE, 1998)

Supporting universal personal computing on the Internet with Java and CORBA. - Jinsong Zhu; Maria Törö; Victor C. M. Leung; Son T. Vuong (Concurr. Pract. Exp., 1998)

Decision on Tester Configuration for Multiparty Testing. - Maria Törö (IWTCS, 1999)

Using Active Networks to Enable Universal Personal Computing. - Maria Törö; Victor C. M. Leung (Eur. Trans. Telecommun., 1999)

Design of universal personal computing using SDL. - Maria Törö; Jinsong Zhu; Victor C. M. Leung (Comput. Commun., 2000)

CORBA Based Design and Implementation of Universal Personal Computing. - Maria Törö; Thong Tri Huynh; Jinsong Zhu; Kangming Liu; Victor C. M. Leung (Mob. Networks Appl., 2003)