Formal object oriented development of software systems using LOTOS. - J. Paul Gibson (1993)

Feature Requirements Models: Understanding Interactions. - J. Paul Gibson (FIW, 1997)

Feature Interactions: A Mixed Semantic Model Approach. - J. Paul Gibson; Bruno Mermet; Dominique Méry (IWFM, 1997)

Telephone feature verification: Translating SDL to TLA+. - Dominique Méry; J. Paul Gibson (SDL Forum, 1997)

Towards a Feature Interaction Algebra. - J. Paul Gibson (FIW, 1998)

Teaching Formal Methods: Lessons to Learn. - J. Paul Gibson; Dominique Méry (IWFM, 1998)

Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. - J. Paul Gibson; Dominique Méry (Ershov Memorial Conference, 1999)

Integration Problems in Telephone Feature Requirements. - J. Paul Gibson; Geoff W. Hamilton; Dominique Méry (IFM, 1999)

Four Logics and a Protocol. - David Gray; Geoff W. Hamilton; David Sinclair; J. Paul Gibson; James F. Power (IWFM, 1999)

Formal Requirements Engineering: Learning from the Students. - J. Paul Gibson (Australian Software Engineering Conference, 2000)

A Taxonomy for Triggered Interactions Using Fair Object Semantics. - J. Paul Gibson; Geoff W. Hamilton; Dominique Méry (FIW, 2000)

Specifying and Verifying IP with Linear Logic. - David Sinclair; James F. Power; J. Paul Gibson; David Gray; Geoff W. Hamilton (ICDCS Workshop on Distributed System Validation and Verification, 2000)

The Application of Correctness Preserving Transformations to Software Maintenance. - J. Paul Gibson; Thomas F. Dowling; Brian A. Malloy (ICSM, 2000)

ACM SAC2002 software engineering: theory and applications (SETA) track description. - David C. Rine; James F. Power; J. Paul Gibson (SAC, 2002)

Using a Taxonomy Tool to Identify Changes in OO Softwar. - Peter J. Clarke; Brian A. Malloy; J. Paul Gibson (CSMR, 2003)

Applying the Decorator Pattern for Profiling Object-Oriented Software. - Edward B. Duffy; J. Paul Gibson; Brian A. Malloy (IWPC, 2003)

A noughts and crosses Java applet to teach programming to primary school children. - J. Paul Gibson (PPPJ, 2003)

Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program. - Des Traynor; J. Paul Gibson (CELDA, 2004)

Towards the development of a cognitive model of programming: a software engineering proposal. - Des Traynor; J. Paul Gibson (PPIG, 2004)

Complexity of Continuous Space Machine Operations. - Damien Woods; J. Paul Gibson (CiE, 2005)

A Graduate's Role in Technology Transfer: From Requirements to Design with UML. - Stephen Hallinan; J. Paul Gibson (IASTED Conf. on Software Engineering, 2005)

Software engineering as a model of understanding for learning and problem solving. - J. Paul Gibson; Jackie O'Kelly (ICER, 2005)

Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs. - Des Traynor; J. Paul Gibson (SIGCSE, 2005)

RoboCode & problem-based learning: a non-prescriptive approach to teaching programming. - Jackie O'Kelly; J. Paul Gibson (ITiCSE, 2006)

A Critical Analysis of the Council of Europe Recommendations on E-Voting. - Margaret McGaley; J. Paul Gibson (EVT, 2006)

Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. - Dominique Cansell; J. Paul Gibson; Dominique Méry (FMIS@ICFEM, 2006)

E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. - J. Paul Gibson (B, 2007)

Formal verification of tamper-evident storage for e-voting. - Dominique Cansell; J. Paul Gibson; Dominique Méry (SEFM, 2007)

Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. - J. Paul Gibson; Eric Lallet; Jean-Luc Raffy (ICSEA, 2008)

Weaving a Formal Methods Education with Problem-Based Learning. - J. Paul Gibson (ISoLA, 2008)

Lower bounds on the computational power of an optical model of computation. - Damien Woods; J. Paul Gibson (Nat. Comput., 2008)

Feature Interactions in a Software Product Line for E-voting. - J. Paul Gibson; Eric Lallet; Jean-Luc Raffy (ICFI, 2009)

Software reuse and plagiarism: a code of practice. - J. Paul Gibson (ITiCSE, 2009)

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. - J. Paul Gibson; Eric Lallet; Jean-Luc Raffy (ISARCS, 2010)

Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique). (Formal software engineering: theory, practice and teaching (learning from the E-voting experience)). - John Paul Gibson (2011)

Just like paper and the 3-colour protocol: A voting interface requirements engineering case study. - J. Paul Gibson; Damien MacNamara; Ken Oakley (REVOTE, 2011)

Formal object-oriented development of a voting system test oracle. - J. Paul Gibson; Jean-Luc Raffy; Eric Lallet (Innov. Syst. Softw. Eng., 2011)

Introduction to special issue: papers from UML&FM'2011. - Isabelle Perseil; J. Paul Gibson (Innov. Syst. Softw. Eng., 2011)

Teaching graph algorithms to children of all ages. - J. Paul Gibson (ITiCSE, 2012)

Introduction to UML and Formal Methods. - J. Paul Gibson; Isabelle Perseil (ACM SIGSOFT Softw. Eng. Notes, 2012)

On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. - Yamine Aït Ameur; J. Paul Gibson; Dominique Méry (ISoLA (2), 2014)

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. - J. Paul Gibson; Idir Aït-Sadoune (ISoLA (2), 2014)

Designing a Virtual Laboratory for a Relational Database MOOC. - Olivier Berger; J. Paul Gibson; Claire Lecocq; Christian Bac (CSEDU (1), 2015)

EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants. - Haoyi Xiong; Daqing Zhang 001; Leye Wang; J. Paul Gibson; Jie Zhu (ACM Trans. Intell. Syst. Technol., 2015)

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. - J. Paul Gibson; Idir Aït-Sadoune; Marc Pantel (ISoLA (1), 2016)

A review of E-voting: the past, present and future. - J. Paul Gibson; Robert Krimmer; Vanessa Teague; Julia Pomares (Ann. des Télécommunications, 2016)

Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. - J. Paul Gibson; Souad Kherroubi; Dominique Méry (FORTE, 2017)

Explicit Modelling of Physical Measures: From Event-B to Java. - J. Paul Gibson; Dominique Méry (IMPEX/FM&MDD, 2017)

ecoSense: Minimize Participants' Total 3G Data Cost in Mobile Crowdsensing Using Opportunistic Relays. - Leye Wang; Daqing Zhang 001; Haoyi Xiong; John Paul Gibson; Chao Chen 004; Bing Xie (IEEE Trans. Syst. Man Cybern. Syst., 2017)

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. - Yamine Aït Ameur; Idir Aït-Sadoune; P. Casteran; J. Paul Gibson; Kahina Hacid; Souad Kherroubi; Dominique Méry; Linda Mohand-Oussaïd; Neeraj Kumar Singh 001; Laurent Voisin (ABZ, 2018)

Cyber-Physical Systems Engineering: An Introduction. - J. Paul Gibson; Peter Gorm Larsen; Marc Pantel; John S. Fitzgerald; Jim Woodcock 001 (ISoLA (3), 2018)

Formalising the Requirements of an E-Voting Software Product Line Using Event-B. - Abderrahim Ait Wakrime; J. Paul Gibson; Jean-Luc Raffy (WETICE, 2018)

The Future of Medicine Is Digital: Exploring the Ethics of Digital Pills. - Dympna O'Sullivan; J. Paul Gibson; Yael Jacob; Ioannis Stavrakakis; Damian Gordon (MedInfo, 2021)

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 (CSEDU (1), 2022)

Perspectives on computing ethics: a multi-stakeholder analysis. - Damian Gordon; Ioannis Stavrakakis; J. Paul Gibson; Brendan Tierney; Anna Becevel; Andrea Curley; Michael Collins; William O'Mahony; Dympna O'Sullivan (J. Inf. Commun. Ethics Soc., 2022)