| 2022 | CSEDU | The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project. | Paul Doyle, Brian Keegan, Damian Gordon, Anna Becevel, J. Paul Gibson, Zhiying Jiang, Dympna O'Sullivan |
| 2018 | ISoLA | Cyber-Physical Systems Engineering: An Introduction. | J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock |
| 2018 | WETICE | Formalising the Requirements of an E-Voting Software Product Line Using Event-B. | Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy |
| 2017 | FORTE | Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. | J. Paul Gibson, Souad Kherroubi, Dominique Mry |
| 2016 | ISoLA | Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. | J. Paul Gibson, Idir At-Sadoune, Marc Pantel |
| 2015 | CSEDU | Designing a Virtual Laboratory for a Relational Database MOOC. | Olivier Berger, J. Paul Gibson, Claire Lecocq, Christian Bac |
| 2014 | ISoLA | On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. | Yamine At Ameur, J. Paul Gibson, Dominique Mry |
| 2014 | ISoLA | Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. | J. Paul Gibson, Idir At-Sadoune |
| 2012 | ITiCSE | Teaching graph algorithms to children of all ages. | J. Paul Gibson |
| 2011 | RE | Just like paper and the 3-colour protocol: A voting interface requirements engineering case study. | J. Paul Gibson, Damien MacNamara, Ken Oakley |
| 2009 | ITiCSE | Software reuse and plagiarism: a code of practice. | J. Paul Gibson |
| 2008 | ICSEA | Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. | J. Paul Gibson, Eric Lallet, Jean-Luc Raffy |
| 2008 | ISoLA | Weaving a Formal Methods Education with Problem-Based Learning. | J. Paul Gibson |
| 2007 | SEFM | Formal verification of tamper-evident storage for e-voting. | Dominique Cansell, J. Paul Gibson, Dominique Mry |
| 2006 | ITiCSE | RoboCode & problem-based learning: a non-prescriptive approach to teaching programming. | Jackie O'Kelly, J. Paul Gibson |
| 2005 | CiE | Complexity of Continuous Space Machine Operations. | Damien Woods, J. Paul Gibson |
| 2005 | ICER | Software engineering as a model of understanding for learning and problem solving. | J. Paul Gibson, Jackie O'Kelly |
| 2005 | SIGCSE | Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs. | Des Traynor, J. Paul Gibson |
| 2005 | UC | Lower Bounds on the Computational Power of an Optical Model of Computation. | Damien Woods, J. Paul Gibson |
| 2002 | SAC | ACM SAC2002 software engineering: theory and applications (SETA) track description. | David C. Rine, James F. Power, J. Paul Gibson |
| 1999 | IFM | Integration Problems in Telephone Feature Requirements. | J. Paul Gibson, Geoff W. Hamilton, Dominique Mry |