Paul Gibson

68
Documents

Publications

Publications

Review on: domain science and engineering - a foundation for software development

John Paul Gibson

Formal Aspects of Computing, 2025, ⟨10.1145/3721144⟩

Article dans une revue hal-05142931v1
Deposit thumbnail

Inclusion4EU: co-designing a framework for inclusive software design and development

Dympna O’sullivan , Emma Murphy , Andrea Curley , John Gilligan , Damian Gordon et al.

Studies in Health Technology and Informatics, 2023, Studies in Health Technology and Informatics, 306, pp.497-502. ⟨10.3233/SHTI230668⟩

Article dans une revue hal-04197001v1

Apolipoprotein B, Residual Cardiovascular Risk After Acute Coronary Syndrome, and Effects of Alirocumab

Emil Hagström , Philippe Gabriel Steg , Michael Szarek , Deepak Bhatt , Vera Bittner et al.

Circulation, 2022, 146 (9), pp.657-672. ⟨10.1161/CIRCULATIONAHA.121.057807⟩

Article dans une revue hal-04012895v1
Deposit thumbnail

Perspectives on computing ethics: a multi-stakeholder analysis

Damian Gordon , Ioannis Stavrakakis , John Paul Gibson , Brendan Tierney , Anna Becevel et al.

Journal of Information, Communication and Ethics in Society, 2022, 20 (1), pp.72-90. ⟨10.1108/jices-12-2020-0127⟩

Article dans une revue hal-03377560v1
Deposit thumbnail

The teaching of computer ethics on computer science and related degree programmes: a European survey

Ioannis Stavrakakis , Damian Gordon , Brendan Tierney , Anna Becevel , Emma Murphy et al.

International Journal of Ethics Education, 2022, 7 (1), pp.101-129. ⟨10.1007/s40889-021-00135-1⟩

Article dans une revue hal-03377525v1

Relation of Lipoprotein(a) Levels to Incident Type 2 Diabetes and Modification by Alirocumab Treatment

Mark Mcclanahan , Michael Dempsey , Helen Colhoun , Isabelle Zobouyan , Patrick Picault et al.

Diabetes Care, 2021, 44 (5), pp.1219-1227. ⟨10.2337/dc20-2842⟩

Article dans une revue hal-03672072v1

Lipoprotein(a) and Benefit of PCSK9 Inhibition in Patients With Nominally Controlled LDL Cholesterol

Gregory Schwartz , Michael Szarek , Vera Bittner , Rafael Diaz , Shaun Goodman et al.

Journal of the American College of Cardiology, 2021, 78 (5), pp.421-433. ⟨10.1016/j.jacc.2021.04.102⟩

Article dans une revue hal-03650902v1

Effects of alirocumab on cardiovascular and metabolic outcomes after acute coronary syndrome in patients with or without diabetes: a prespecified analysis of the ODYSSEY OUTCOMES randomised controlled trial

Kausik Ray , Helen Colhoun , Michael Szarek , Marie Baccara-Dinet , Deepak Bhatt et al.

The Lancet. Diabetes & Endocrinology , 2019, 7 (8), pp.618-628. ⟨10.1016/S2213-8587(19)30158-5⟩

Article dans une revue hal-04012703v1

Nusinersen versus Sham Control in Later-Onset Spinal Muscular Atrophy

Sibylle Vogt , Marcus Krueger , Astrid Pechmann , Bianca Rippberger , Matthias Eckenweiler et al.

New England Journal of Medicine, 2018, 378 (7), pp.625-635. ⟨10.1056/NEJMoa1710504⟩

Article dans une revue hal-03604455v1

ecoSense: minimize participants' total 3G data cost in mobile crowdsensing using opportunistic relays

Leye Wang , Daqing Zhang , Haoyi Xiong , John Paul Gibson , Chao Chen et al.

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (6), pp.965 - 978. ⟨10.1109/TSMC.2016.2523902⟩

Article dans une revue hal-01534510v1

A review of E-voting: the past, present and future

John Paul Gibson , Vanessa Teague , Robert Krimmer , Julia Pomares

Annals of Telecommunications - annales des télécommunications, 2016, 71 (7), pp.279 - 286. ⟨10.1007/s12243-016-0525-8⟩

Article dans une revue hal-01364859v1

A EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants ACM Reference Format

Haoyi Xiong , Daqing Zhang , Leye Wang , John Paul Gibson , Jie Zhu

ACM Transactions on Intelligent Systems and Technology, 2015, pp.1-23. ⟨10.1145/2644827⟩

Article dans une revue hal-01078238v1
Deposit thumbnail

The ideal voting interface: classifying usability

Damien Mac Namara , John Paul Gibson , Ken Oakley

JeDEM - eJournal of eDemocracy and Open Government, 2014, 6 (2), pp.182-196. ⟨10.29379/jedem.v6i2.306⟩

Article dans une revue hal-03377805v1

Introduction to UML and formal methods

John Paul Gibson , Isabelle Perseil

Software Engineering Notes, 2012, 37 (4), pp.32-33. ⟨10.1145/2237796.2237825⟩

Article dans une revue hal-00728167v1

Formal object-oriented development of a voting system test oracle

John Paul Gibson , Eric Lallet , Jean-Luc Raffy

Innovations in Systems and Software Engineering (ISSE), 2011, 7 (4), pp.237-245. ⟨10.1007/s11334-011-0167-y⟩

Article dans une revue istex hal-00670282v1

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

Isabelle Perseil , John Paul Gibson

Innovations in Systems and Software Engineering (ISSE), 2011, 7 (4), pp.225-226. ⟨10.1007/s11334-011-0173-0⟩

Article dans une revue hal-00677755v1

Software reuse and plagiarism : a code of practice

John Paul Gibson

Sigcse Bulletin, 2009, 41 (3), pp.55 - 59. ⟨10.1145/1595496.1562900⟩

Article dans une revue hal-01357442v1
Deposit thumbnail

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

Damien Woods , John Paul Gibson

Natural Computing, 2008, 7 (1), pp.95 - 108. ⟨10.1007/s11047-007-9039-7⟩

Article dans une revue hal-01354830v1

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

Dominique Cansell , Paul Gibson , Dominique Méry

Electronic Notes in Theoretical Computer Science, 2008, 183, pp.39-55. ⟨10.1016/j.entcs.2007.01.060⟩

Article dans une revue inria-00594892v1
Deposit thumbnail

The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project

Paul Doyle , Brian Keegan , Damian Gordon , Anna Becevel , John Paul Gibson et al.

14th International Conference on Computer Supported Education, Apr 2022, Online Streaming, Czech Republic. pp.297-303, ⟨10.5220/0011075900003182⟩

Communication dans un congrès hal-03729234v1

Measuring the longitudinal impact of teaching programming ethics to first years students

Damian Gordon , Michael Collins , John Paul Gibson , Dympna O'Sullivan

16th International Technology, Education and Development Conference(INTED2022), IATED, Mar 2022, Online Conference, France. pp.844-847, ⟨10.21125/inted.2022.0273⟩

Communication dans un congrès hal-03782518v1
Deposit thumbnail

Minding the gap: computing ethics and the political economy of big tech

Ioannis Stavrakakis , Damian Gordon , John Paul Gibson , Dympna O’sullivan , Anna Becevel

ETHICOMP2022: "Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?", Jul 2022, Turku, Finland. pp.546-550, ⟨10.21427/T0YQ-VP49⟩

Communication dans un congrès hal-03787335v1
Deposit thumbnail

Technical debt is an ethical issue

John Paul Gibson , Massamaesso Narouwa , Damian Gordon , Dympna O'Sullivan , Jonathan Turner et al.

ETHICOMP 2022: Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?, Jul 2022, Turku, Finland. pp.258-266, ⟨10.21427/Y73Z-6P82⟩

Communication dans un congrès hal-03782691v1
Deposit thumbnail

Developing an educational brick for digital ethics: a case study-driven approach

John Paul Gibson , Yael Jacob , Damian Gordon , Dympna O'Sullivan

ETHICOMP 2021: 19th International Conference on the Ethical and Social Impact of ICT, Jun 2021, Logroño, Spain. pp.29-37

Communication dans un congrès hal-03377665v1

Adaptable and reusable educational 'bricks' for teaching computer science ethics

Andrea Curley , Damian Gordon , Ioannis Stavrakakis , Anna J Becevel , John Paul Gibson et al.

EDULEARN 2021: 13th International Conference on Education and New Learning Technologies, Jul 2021, Online, Spain. pp.1991 (abstract only), ⟨10.21125/edulearn.2021.0456⟩

Communication dans un congrès hal-03377576v1
Deposit thumbnail

Formalising the requirements of an e-voting software product line using event-B

Abderrahim Ait Wakrime , John Paul Gibson , Jean-Luc Raffy

WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. pp.78 - 84, ⟨10.1109/WETICE.2018.00022⟩

Communication dans un congrès hal-01914195v1
Deposit thumbnail

Explicit modelling of physical measures: from Event-B to Java

John Paul Gibson , Dominique Méry

IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩

Communication dans un congrès hal-01798224v1
Deposit thumbnail

Cyber-physical systems engineering: an introduction

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

ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407 - 410, ⟨10.1007/978-3-030-03424-5_27⟩

Communication dans un congrès hal-01914210v1
Deposit thumbnail

On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B

Yamine Aït-Ameur , Idir Ait-Sadoune , Pierre Castéran , John Paul Gibson , Kahina Hacid et al.

6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩

Communication dans un congrès hal-01797538v1
Deposit thumbnail

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

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

37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩

Communication dans un congrès hal-01658423v1

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

Jean-Paul Gibson , Idir Ait-Sadoune , Marc Pantel

7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece

Communication dans un congrès hal-01430628v1

Designing a virtual laboratory for a relational database MOOC

Olivier Berger , John Paul Gibson , Claire Lecocq , Christian Bac

CSEDU 2015 : 7th International Conference on Computer Supported Education, May 2015, Lisbonne, Portugal. pp.260 - 268, ⟨10.5220/0005439702600268⟩

Communication dans un congrès hal-01255058v1
Deposit thumbnail

On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems

Yamine Aït-Ameur , John Paul Gibson , Dominique Méry

6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩

Communication dans un congrès hal-01097624v1

Just Like Paper : a baseline for classifying e-voting usability

Damien Macnamara , John Paul Gibson , Ken Oakley

CEDEM 2014 : International Conference for E-Democracy and Open Government, May 2014, Krems, Austria. pp.113 - 127

Communication dans un congrès hal-01263326v1

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

Jean-Paul Gibson , Idir Ait-Sadoune

ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩

Communication dans un congrès hal-01103304v1
Deposit thumbnail

Just like paper : a classification system for eVoting machines

Damien Macnamara , John Paul Gibson , Ken Oakley

CeDEM13 : Conference for e-Democracy and Open Government, May 2013, Krems, Austria. pp.351 - 356

Communication dans un congrès hal-01335739v1
Deposit thumbnail

A preliminary study on a DualVote and Prêt à Voter hybrid system

Damien Mac Namara , John Paul Gibson , Ken Oakley

CeDEM 2012: International Conference for E-Democracy and Open Government, May 2012, Krems, Austria. pp.77-89

Communication dans un congrès hal-03377886v1

Teaching graph algorithms to children of all ages

John Paul Gibson

ITiCSE '12 : 17th Annual Conference on Innovation and Technology in Computer Science Education, Jul 2012, Haifa, Israel. pp.34-39, ⟨10.1145/2325296.2325308⟩

Communication dans un congrès hal-00728212v1

A "future-proof" postgraduate software engineering programme : maintainability issues

John Paul Gibson , Jean-Luc Raffy

ICSEA '11 : The Sixth International Conference on Software Engineering Advances, Oct 2011, Barcelona, Spain. pp.471-476

Communication dans un congrès hal-00641386v1

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

John Paul Gibson , Damien Macnamara , Ken Oakley

REVOTE '11 : International Workshop on Requirements Engineering for Electronic Voting Systems, Aug 2011, Trento, Italy. pp.66-75, ⟨10.1109/REVOTE.2011.6045917⟩

Communication dans un congrès hal-00641415v1

DualVote : addressing usability and verifiability issues in electronic voting systems

Damien Macnamara , Ted Scully , John Paul Gibson , Ken Oakley , Francis Carmody et al.

CeDEM '11 : Conference for E-Democracy and Open Government, May 2011, Krems, Austria. pp.313-322

Communication dans un congrès hal-00641404v1

Engineering a distributed e-voting system architecture : meeting critical requirements

John Paul Gibson , Eric Lallet , Jean-Luc Raffy

ISARCS '10 :1rst International Symposium on Architecting Critical Systems, Jun 2010, Prague, Czech Republic. pp.89-108, ⟨10.1007/978-3-642-13556-9_6⟩

Communication dans un congrès istex hal-00817746v1

Dual vote : a novel user interface for e-voting systems

Damien Macnamara , Francis Carmody , Ted Scully , Ken Oakley , Elizabeth Quane et al.

IHCI 2010 : IADIS International Conference Interfaces and Human Computer Interaction, Jul 2010, Freiburg, Germany. pp.129 - 138

Communication dans un congrès hal-01354800v1

(m)Oodles of data : mining Moodle to understand student behaviour

Kevin Casey , John Paul Gibson

ICEP 2010 : International Conference on Engaging Pedagogy, Jan 2011, Maynooth, Ireland. pp.61 - 71

Communication dans un congrès hal-01354792v1
Deposit thumbnail

Challenging the lecturer : learning from the teacher's mistakes

John Paul Gibson

ICEP 2009 : 2nd Irish Conference on Engaging Pedagogy, Sep 2009, Dublin, Ireland. pp.1 - 10

Communication dans un congrès hal-01367813v1

Sculpturing event-B models with RODIN : 'Holes and Lumps' in teaching refinement through problem-based learning

John Paul Gibson , Eric Lallet , Jean-Luc Raffy

TFM B'2009 : From Research to Teaching Formal Methods - The B Method, Jun 2009, Nantes, France. pp.7 - 21

Communication dans un congrès hal-01367811v1

Feature interactions in a software product line for e-voting

John Paul Gibson , Eric Lallet , Jean-Luc Raffy

ICFI '09 : 10th International Conference on Feature Interactions in Telecommunications and Software Systems, Jun 2009, Lisbon, Portugal. pp.91-106, ⟨10.3233/978-1-60750-014-8-91⟩

Communication dans un congrès hal-00817774v1

Weaving a formal methods education with problem-based learning

John Paul Gibson

ISoLA 2008 : 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Oct 2008, Porto Sani, Greece. pp.460 - 472, ⟨10.1007/978-3-540-88479-8_32⟩

Communication dans un congrès hal-01354847v1

Formal methods : never too young to start

John Paul Gibson

FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.149 - 158

Communication dans un congrès hal-01354846v1

Verification and maintenance of e-voting systems and standards

John Paul Gibson , Margaret Mcgaley

ECEG 2008 : 8th European Conference on e-Government, Jul 2008, Lausanne, Switzerland. pp.283 - 290

Communication dans un congrès hal-01354839v1

How do I know if my design is correct ?

John Paul Gibson , Eric Lallet , Jean-Luc Raffy

FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.59 - 68

Communication dans un congrès hal-01355087v1

Analysis of a distributed e-voting system architecture against quality of service requirements

John Paul Gibson , Eric Lallet , Jean-Luc Raffy

ICSEA 2008 : 3rd International Conference on Software Engineering Advances, Oct 2008, Sliema, Malta. pp.58 - 64, ⟨10.1109/ICSEA.2008.18⟩

Communication dans un congrès hal-01354806v1
Deposit thumbnail

Formal verification of tamper-evident storage for e-voting

Dominique Cansell , Paul Gibson , Dominique Méry

5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007, Sep 2007, LONDON, United Kingdom. pp.329-338, ⟨10.1109/SEFM.2007.21⟩

Communication dans un congrès inria-00184833v1

A taxonomy for triggered interactions using fair object semantics

Paul Gibson , Geoff Hamilton , Dominique Méry

Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p

Communication dans un congrès inria-00099267v1

Integration Problems in Telephone Feature requirements

John Paul Gibson , Geoff Hamilton , Dominique Méry

Workshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p

Communication dans un congrès inria-00098882v1
Deposit thumbnail

Animating formal specifications : a telephone simulation case study

Jean-Paul Gibson , Dominique Méry , Yassine Mokhtari

13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145

Communication dans un congrès inria-00108114v1

Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach

Jean-Paul Gibson , Dominique Méry

Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179

Communication dans un congrès inria-00098998v1

Fair Objects

Dominique Méry , Jean-Paul Gibson

Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p

Communication dans un congrès inria-00098620v1

Always and Eventually in Object Requirements

Jean-Paul Gibson , Dominique Méry

Rigorous Object Oriented Methods, 1998, none, 20 p

Communication dans un congrès inria-00098617v1

Teaching Formal Methods: Lessons to learn

Jean-Paul Gibson , Dominique Méry

Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p

Communication dans un congrès inria-00098616v1
Deposit thumbnail

The future of medicine is digital: exploring the ethics of digital pills

Dympna O’sullivan , John Paul Gibson , Yael Jacob , Ioannis Stavrakakis , Damian Gordon

MEDINFO 2021: One world, one health – global partnership for digital innovation, 290, IOS Press, pp.1120 - 1121, 2022, Studies in Health Technology and Informatics, 978-1-64368-264-8. ⟨10.3233/SHTI220297⟩

Chapitre d'ouvrage hal-03729314v1
Deposit thumbnail

You must have your webcam on for the entire duration of the examination: the trade-off between the integrity of on-line assessments and the privacy rights of students

Damian Gordon , John Paul Gibson , Brendan Tierney , Dympna O'Sullivan , Ioannis Stavrakakis

Moving technology ethics at the forefront of society, organisations and governments, Universidad de La Rioja, pp.65-75, 2021, 978-84-09-28672-0

Chapitre d'ouvrage hal-03377716v1
Deposit thumbnail

Modelling an e-voting domain for the formal development of a Software Product Line

John Paul Gibson , Jean-Luc Raffy

Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.3-18, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_1⟩

Chapitre d'ouvrage hal-02941575v1

Fair Objects

John Paul Gibson , Dominique Méry

H. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering

Chapitre d'ouvrage inria-00099324v1