A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220. - Mariusz A. Fecko; M. Ümit Uyar; Paul D. Amer; Adarshpal S. Sethi; Theodore Dzik; R. Menell; Michael McMahon (Comput. Commun., 2000)

A methodology for accelerated testing by mechanical actuation of MEMS devices. - Michael McMahon; Jeff Jones (Microelectron. Reliab., 2012)

Adopting a musical intelligence and e-Learning approach to improve the English language pronunciation of Chinese students. - Luqi Wu; Michael McMahon (AI Soc., 2014)

A low-Cost, Open-Source, BCI- VR Game Control Development Environment Prototype for Game Based Neurorehabilitation. - Michael McMahon; Michael Schukat (GEM, 2018)

JShelter: Give Me My Browser Back. - Libor Polcák; Marek Salon; Giorgio Maone; Radek Hranický; Michael McMahon (SECRYPT, 2023)

Conspiracy Detection Beyond Text: Exploring the Feasibility of Adding Psycho-Linguistic Features to Enhance Conspiracy Detection Models. - Anna R. George; Maximilian Ahrens; Janet B. Pierrehumbert; Michael McMahon (MISDOOM, 2024)

Stories that (are) Move(d by) Markets: A Causal Exploration of Market Shocks and Semantic Shifts across Different Partisan Groups. - Felix Drinkall; Stefan Zohren; Michael McMahon; Janet B. Pierrehumbert (ACL (Findings), 2025)

Developers Insight On Manifest v3 Privacy and Security Webextensions. - Libor Polcák; Giorgio Maone; Michael McMahon; Martin Bednár (CoRR, 2025)