J. Paul Gibson

According to our database, J. Paul Gibson authored at least 55 papers between 1993 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

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

Proceedings of the 14th International Conference on Computer Supported Education, 2022

2021

The Future of Medicine Is Digital: Exploring the Ethics of Digital Pills.

Dympna O'Sullivan, J. Paul Gibson, Yael Jacob, Ioannis Stavrakakis, Damian Gordon

Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021

2018

Formalising the Requirements of an E-Voting Software Product Line Using Event-B.

Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Cyber-Physical Systems Engineering: An Introduction.

J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

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, Laurent Voisin

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

ecoSense: Minimize Participants' Total 3G Data Cost in Mobile Crowdsensing Using Opportunistic Relays.

Leye Wang, Daqing Zhang, Haoyi Xiong, John Paul Gibson, Chao Chen, Bing Xie

IEEE Trans. Syst. Man Cybern. Syst., 2017

Explicit Modelling of Physical Measures: From Event-B to Java.

J. Paul Gibson, Dominique Méry

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

Applying a Dependency Mechanism for Voting Protocol Models Using Event-B.

J. Paul Gibson, Souad Kherroubi, Dominique Méry

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

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

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.

J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants.

Haoyi Xiong, Daqing Zhang, Leye Wang, J. Paul Gibson, Jie Zhu

ACM Trans. Intell. Syst. Technol., 2015

Designing a Virtual Laboratory for a Relational Database MOOC.

Olivier Berger, J. Paul Gibson, Claire Lecocq, Christian Bac

Proceedings of the CSEDU 2015, 2015

2014

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.

J. Paul Gibson, Idir Aït-Sadoune

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2012

Introduction to UML and Formal Methods.

J. Paul Gibson, Isabelle Perseil

ACM SIGSOFT Softw. Eng. Notes, 2012

Teaching graph algorithms to children of all ages.

J. Paul Gibson

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011

Introduction to special issue: papers from UML&FM'2011.

Isabelle Perseil, J. Paul Gibson

Innov. Syst. Softw. Eng., 2011

Formal object-oriented development of a voting system test oracle.

J. Paul Gibson, Jean-Luc Raffy, Eric Lallet

Innov. Syst. Softw. Eng., 2011

Just like paper and the 3-colour protocol: A voting interface requirements engineering case study.

J. Paul Gibson, Damien MacNamara, Ken Oakley

Proceedings of the 2011 International Workshop on Requirements Engineering for Electronic Voting Systems, 2011

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

2010

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements.

J. Paul Gibson, Eric Lallet, Jean-Luc Raffy

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

2009

Software reuse and plagiarism: a code of practice.

J. Paul Gibson

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

Feature Interactions in a Software Product Line for E-voting.

J. Paul Gibson, Eric Lallet, Jean-Luc Raffy

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

Lower bounds on the computational power of an optical model of computation.

Damien Woods, J. Paul Gibson

Nat. Comput., 2008

Weaving a Formal Methods Education with Problem-Based Learning.

J. Paul Gibson

Proceedings of the Leveraging Applications of Formal Methods, 2008

Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements.

J. Paul Gibson, Eric Lallet, Jean-Luc Raffy

Proceedings of the Third International Conference on Software Engineering Advances, 2008

2007

Formal verification of tamper-evident storage for e-voting.

Dominique Cansell, J. Paul Gibson, Dominique Méry

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future.

J. Paul Gibson

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface.

Dominique Cansell, J. Paul Gibson, Dominique Méry

Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

A Critical Analysis of the Council of Europe Recommendations on E-Voting.

Margaret McGaley, J. Paul Gibson

Proceedings of the 2006 USENIX/ACCURATE Electronic Voting Technology Workshop, 2006

RoboCode & problem-based learning: a non-prescriptive approach to teaching programming.

Jackie O'Kelly, J. Paul Gibson

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2005

Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs.

Des Traynor, J. Paul Gibson

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Software engineering as a model of understanding for learning and problem solving.

J. Paul Gibson, Jackie O'Kelly

Proceedings of the International Computing Education Research Workshop 2005, 2005

A Graduate's Role in Technology Transfer: From Requirements to Design with UML.

Stephen Hallinan, J. Paul Gibson

Proceedings of the IASTED International Conference on Software Engineering, 2005

Complexity of Continuous Space Machine Operations.

Damien Woods, J. Paul Gibson

Proceedings of the New Computational Paradigms, 2005

2004

Towards the development of a cognitive model of programming: a software engineering proposal.

Des Traynor, J. Paul Gibson

Proceedings of the 16th Annual Workshop of the Psychology of Programming Interest Group, 2004

Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program.

Des Traynor, J. Paul Gibson

Proceedings of the Cognition and Exploratory Learning in Digital Age (CELDA'04), 2004

2003

A noughts and crosses Java applet to teach programming to primary school children.

J. Paul Gibson

Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, 2003

Applying the Decorator Pattern for Profiling Object-Oriented Software.

Edward B. Duffy, J. Paul Gibson, Brian A. Malloy

Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003

Using a Taxonomy Tool to Identify Changes in OO Softwar.

Peter J. Clarke, Brian A. Malloy, J. Paul Gibson

Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

2002

ACM SAC2002 software engineering: theory and applications (SETA) track description.

David C. Rine, James F. Power, J. Paul Gibson

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2000

The Application of Correctness Preserving Transformations to Software Maintenance.

J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy

Proceedings of the 2000 International Conference on Software Maintenance, 2000

Specifying and Verifying IP with Linear Logic.

David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

A Taxonomy for Triggered Interactions Using Fair Object Semantics.

J. Paul Gibson, Geoff W. Hamilton, Dominique Méry

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Formal Requirements Engineering: Learning from the Students.

J. Paul Gibson

Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

1999

Four Logics and a Protocol.

David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Integration Problems in Telephone Feature Requirements.

J. Paul Gibson, Geoff W. Hamilton, Dominique Méry

Proceedings of the Integrated Formal Methods, 1999

Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem.

J. Paul Gibson, Dominique Méry

Proceedings of the Perspectives of System Informatics, 1999

1998

Teaching Formal Methods: Lessons to Learn.

J. Paul Gibson, Dominique Méry

Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998

Towards a Feature Interaction Algebra.

J. Paul Gibson

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1997

Telephone feature verification: Translating SDL to TLA+.

Dominique Méry, J. Paul Gibson

Proceedings of the SDL '97 Time for Testing, 1997

Feature Interactions: A Mixed Semantic Model Approach.

J. Paul Gibson, Bruno Mermet, Dominique Méry

Proceedings of the 1st Irish Workshop on Formal Methods, 1997

Feature Requirements Models: Understanding Interactions.

J. Paul Gibson

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1993

Formal object oriented development of software systems using LOTOS.

J. Paul Gibson

PhD thesis, 1993