Holzmann, Gerard J.

Combined from CaltechAUTHORS

• Holzmann, Gerard J. (2019) Tau -- a lightweight tool for specifying and verifying tiny automata models
• Filippidis, Ioannis and Murray, Richard M., el al. (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 and Murray, Richard M., el al. (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; SPIN 2014; 48-57; 10.1145/2632362.2632375