| An algorithm and tool to infer practical postconditions JL Singleton, GT Leavens, H Rajan, D Cok Proceedings of the 40th International Conference on Software Engineering …, 2018 | 9 | 2018 |
| OpenJML D Cok, JL Singleton | 7 | 2011 |
| Inferring concise specifications of APIs JL Singleton, GT Leavens, H Rajan, DR Cok arXiv preprint arXiv:1905.06847, 2019 | 5 | 2019 |
| Verily: a web framework for creating more reasonable web applications JL Singleton, GT Leavens Companion Proceedings of the 36th International Conference on Software …, 2014 | 5 | 2014 |
| Advancing Practical Specification Techniques for Modern Software Systems J Singleton | 1 | 2018 |
| Scalable behavioral interface specification checking JL Singleton US Patent App. 17/708,611, 2023 | | 2023 |
| Deep Embedded Knowledge Graph Representations for Tactic Discovery J Haley, R Hoehn, JL Singleton, C Ballinger, A Carbonara Advances in Artificial Intelligence and Applied Cognitive Computing …, 2021 | | 2021 |
| Plato’s Cave and the Image of the Family Home in John McGahern’s The Barracks J Singleton Review of Irish Studies in Europe 3 (1), 90-105, 2019 | | 2019 |
| A Layered Approach to Specification Authoring, Sharing, and Usage JL Singleton, GT Leavens Quality Software Through Reuse and Integration 4, 164-189, 2018 | | 2018 |
| Literature in Ireland and Abroad DG O’Rourke, F Lomax, J Singleton All rights reserved. MAYNOOTH UNIVERSITY, 1, 2017 | | 2017 |
| ‘The Ireland that We Dreamed of’: Rejecting Convention in John McGahern’s The Dark J Singleton NPPSH Reflections 1, 16-21, 2017 | | 2017 |
| Spekl: A Layered System for Specification Authoring, Sharing, and Usage JL Singleton, GT Leavens 2016 IEEE 17th International Conference on Information Reuse and Integration …, 2016 | | 2016 |
| Proof That Theoretical Computer Science Isn't Dead J Singleton, T Tobkin | | |