J. Paul Gibson

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