J. Paul Gibson

ORCID

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 10

Top Venues

CSEDU (1)

ISoLA (2)

Ann. des Télécommunications

MedInfo

University of Stirling, UK (PHD)

Education History

University of Stirling, UK

PHD

Publications

Paul Doyle, Brian Keegan, Damian Gordon, Anna Becevel, J. Paul Gibson, Zhiying Jiang, Dympna O'Sullivan
The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project. CSEDU (1) (2022)
Damian Gordon, Ioannis Stavrakakis, J. Paul Gibson, Brendan Tierney, Anna Becevel, Andrea Curley, Michael Collins, William O'Mahony, Dympna O'Sullivan
Perspectives on computing ethics: a multi-stakeholder analysis. J. Inf. Commun. Ethics Soc. 20 (1) (2022)
Dympna O'Sullivan, J. Paul Gibson, Yael Jacob, Ioannis Stavrakakis, Damian Gordon
The Future of Medicine Is Digital: Exploring the Ethics of Digital Pills. MedInfo (2021)
Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy
Formalising the Requirements of an E-Voting Software Product Line Using Event-B. WETICE (2018)
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
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ (2018)
J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) (2018)
J. Paul Gibson, Souad Kherroubi, Dominique Méry
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. FORTE (2017)
J. Paul Gibson, Dominique Méry
Explicit Modelling of Physical Measures: From Event-B to Java. IMPEX/FM&MDD (2017)
J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (1) (2016)
J. Paul Gibson, Robert Krimmer, Vanessa Teague, Julia Pomares
A review of E-voting: the past, present and future. Ann. des Télécommunications 71 (7-8) (2016)
Olivier Berger, J. Paul Gibson, Claire Lecocq, Christian Bac
Designing a Virtual Laboratory for a Relational Database MOOC. CSEDU (1) (2015)
Haoyi Xiong, Daqing Zhang, Leye Wang, J. Paul Gibson, Jie Zhu
EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants. ACM Trans. Intell. Syst. Technol. 6 (3) (2015)
J. Paul Gibson, Idir Aït-Sadoune
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (2) (2014)
Yamine Aït Ameur, J. Paul Gibson, Dominique Méry
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. ISoLA (2) (2014)
J. Paul Gibson, Isabelle Perseil
Introduction to UML and Formal Methods. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
J. Paul Gibson
Teaching graph algorithms to children of all ages. ITiCSE (2012)
J. Paul Gibson, Jean-Luc Raffy, Eric Lallet
Formal object-oriented development of a voting system test oracle. Innov. Syst. Softw. Eng. 7 (4) (2011)
J. Paul Gibson, Damien MacNamara, Ken Oakley
Just like paper and the 3-colour protocol: A voting interface requirements engineering case study. REVOTE (2011)
Isabelle Perseil, J. Paul Gibson
Introduction to special issue: papers from UML&FM'2011. Innov. Syst. Softw. Eng. 7 (4) (2011)
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. ISARCS (2010)
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
Feature Interactions in a Software Product Line for E-voting. ICFI (2009)
J. Paul Gibson
Software reuse and plagiarism: a code of practice. ITiCSE (2009)
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. ICSEA (2008)
J. Paul Gibson
Weaving a Formal Methods Education with Problem-Based Learning. ISoLA (2008)
Damien Woods, J. Paul Gibson
Lower bounds on the computational power of an optical model of computation. Nat. Comput. 7 (1) (2008)
J. Paul Gibson
E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. B (2007)
Dominique Cansell, J. Paul Gibson, Dominique Méry
Formal verification of tamper-evident storage for e-voting. SEFM (2007)
Dominique Cansell, J. Paul Gibson, Dominique Méry
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. Electron. Notes Theor. Comput. Sci. 183 (2007)
Jackie O'Kelly, J. Paul Gibson
RoboCode & problem-based learning: a non-prescriptive approach to teaching programming. ITiCSE (2006)
Margaret McGaley, J. Paul Gibson
A Critical Analysis of the Council of Europe Recommendations on E-Voting. EVT (2006)
Stephen Hallinan, J. Paul Gibson
A Graduate's Role in Technology Transfer: From Requirements to Design with UML. IASTED Conf. on Software Engineering (2005)
Damien Woods, J. Paul Gibson
Complexity of Continuous Space Machine Operations. CiE (2005)
Des Traynor, J. Paul Gibson
Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs. SIGCSE (2005)
J. Paul Gibson, Jackie O'Kelly
Software engineering as a model of understanding for learning and problem solving. ICER (2005)
Damien Woods, J. Paul Gibson
Lower Bounds on the Computational Power of an Optical Model of Computation. UC (2005)
Des Traynor, J. Paul Gibson
Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program. CELDA (2004)
Des Traynor, J. Paul Gibson
Towards the development of a cognitive model of programming: a software engineering proposal. PPIG (2004)
Edward B. Duffy, J. Paul Gibson, Brian A. Malloy
Applying the Decorator Pattern for Profiling Object-Oriented Software. IWPC (2003)
Peter J. Clarke, Brian A. Malloy, J. Paul Gibson
Using a Taxonomy Tool to Identify Changes in OO Softwar. CSMR (2003)
J. Paul Gibson
A noughts and crosses Java applet to teach programming to primary school children. PPPJ (2003)
David C. Rine, James F. Power, J. Paul Gibson
ACM SAC2002 software engineering: theory and applications (SETA) track description. SAC (2002)
J. Paul Gibson, Geoff W. Hamilton, Dominique Méry
A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW (2000)
J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy
The Application of Correctness Preserving Transformations to Software Maintenance. ICSM (2000)
David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton
Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification (2000)
J. Paul Gibson
Formal Requirements Engineering: Learning from the Students. Australian Software Engineering Conference (2000)
J. Paul Gibson, Geoff W. Hamilton, Dominique Méry
Integration Problems in Telephone Feature Requirements. IFM (1999)
J. Paul Gibson, Dominique Méry
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. Ershov Memorial Conference (1999)
David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power
Four Logics and a Protocol. IWFM (1999)
J. Paul Gibson
Towards a Feature Interaction Algebra. FIW (1998)
J. Paul Gibson, Dominique Méry
Teaching Formal Methods: Lessons to Learn. IWFM (1998)
Dominique Méry, J. Paul Gibson
Telephone feature verification: Translating SDL to TLA+. SDL Forum (1997)
J. Paul Gibson, Bruno Mermet, Dominique Méry
Feature Interactions: A Mixed Semantic Model Approach. IWFM (1997)
J. Paul Gibson
Feature Requirements Models: Understanding Interactions. FIW (1997)

J. Paul Gibson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

J. Paul Gibson