Holzmann, Gerard J.

• Holzmann, Gerard J. (2019) Tau – a lightweight tool for specifying and verifying tiny automata models
• Filippidis, Ioannis; Murray, Richard M.; et el. (2016) A multi-paradigm language for reactive synthesis; Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 202; 73-97; 10.4204/EPTCS.202.6
• Filippidis, Ioannis; Murray, Richard M.; et el. (2015) Synthesis from multi-paradigm specifications
• Filippidis, Ioannis and Holzmann, Gerard J. (2014) An Improvement of the Piggyback Algorithm for Parallel Model Checking; ISBN 978-1-4503-2452-6; 48-57; 10.1145/2632362.2632375