Access content directly

Paul Gibson

60
Documents

Publications

Image document

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

Dympna O’sullivan , Emma Murphy , Andrea Curley , John Gilligan , Damian Gordon
Studies in Health Technology and Informatics, 2023, Studies in Health Technology and Informatics, 306, pp.497-502. ⟨10.3233/SHTI230668⟩
Journal articles hal-04197001v1
Image document

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
International Journal of Ethics Education, 2022, 7 (1), pp.101-129. ⟨10.1007/s40889-021-00135-1⟩
Journal articles hal-03377525v1
Image document

Perspectives on computing ethics: a multi-stakeholder analysis

Damian Gordon , Ioannis Stavrakakis , John Paul Gibson , Brendan Tierney , Anna Becevel
Journal of Information, Communication and Ethics in Society, 2022, 20 (1), pp.72-90. ⟨10.1108/jices-12-2020-0127⟩
Journal articles hal-03377560v1

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

Leye Wang , Daqing Zhang , Haoyi Xiong , John Paul Gibson , Chao Chen
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (6), pp.965 - 978. ⟨10.1109/TSMC.2016.2523902⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles hal-01078238v1
Image document

The ideal voting interface: classifying usability

Damien Mac Namara , Paul Gibson , Ken Oakley
JeDEM - eJournal of eDemocracy and Open Government, 2014, 6 (2), pp.182-196. ⟨10.29379/jedem.v6i2.306⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles hal-01357442v1
Image document

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⟩
Journal articles 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⟩
Journal articles inria-00594892v1
Image document

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
Conference papers hal-03787335v1
Image document

Technical debt is an ethical issue

John Paul Gibson , Massamaesso Narouwa , Damian Gordon , Dympna O'Sullivan , Jonathan Turner
ETHICOMP 2022: Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?, Jul 2022, Turku, Finland. ⟨10.21427/Y73Z-6P82⟩
Conference papers hal-03782691v1

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

Damian Gordon , Michael Collins , J 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⟩
Conference papers hal-03782518v1
Image document

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
Conference papers hal-03377665v1

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

Andrea Curley , Damian Gordon , Ioannis Stavrakakis , Anna J Becevel , John Paul Gibson
EDULEARN 2021: 13th International Conference on Education and New Learning Technologies, Jul 2021, Online, Spain. pp.1991 (abstract only), ⟨10.21125/edulearn.2021.0456⟩
Conference papers hal-03377576v1
Image document

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⟩
Conference papers hal-01914210v1
Image document

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⟩
Conference papers hal-01914195v1
Image document

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
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⟩
Conference papers hal-01797538v1
Image document

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⟩
Conference papers hal-01658423v1
Image document

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⟩
Conference papers hal-01798224v1

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
Conference papers 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⟩
Conference papers hal-01255058v1

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⟩
Conference papers hal-01103304v1

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
Conference papers hal-01263326v1
Image document

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
Conference papers hal-01335739v1

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⟩
Conference papers hal-00728212v1
Image document

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
Conference papers hal-03377886v1

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⟩
Conference papers hal-00641415v1

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
Conference papers hal-00641386v1

DualVote : addressing usability and verifiability issues in electronic voting systems

Damien Macnamara , Ted Scully , John Paul Gibson , Ken Oakley , Francis Carmody
CeDEM '11 : Conference for E-Democracy and Open Government, May 2011, Krems, Austria. pp.313-322
Conference papers hal-00641404v1

(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
Conference papers hal-01354792v1

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

Damien Macnamara , Francis Carmody , Ted Scully , Ken Oakley , Elizabeth Quane
IHCI 2010 : IADIS International Conference Interfaces and Human Computer Interaction, Jul 2010, Freiburg, Germany. pp.129 - 138
Conference papers hal-01354800v1

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⟩
Conference papers hal-00817746v1

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
Conference papers hal-01367811v1
Image document

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
Conference papers hal-01367813v1

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⟩
Conference papers hal-00817774v1

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
Conference papers hal-01355087v1

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
Conference papers hal-01354839v1

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
Conference papers hal-01354846v1

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⟩
Conference papers hal-01354847v1

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⟩
Conference papers hal-01354806v1
Image document

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⟩
Conference papers 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
Conference papers 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
Conference papers inria-00098882v1
Image document

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
Conference papers 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
Conference papers inria-00098998v1

Fair Objects

Dominique Méry , Jean-Paul Gibson
Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p
Conference papers inria-00098620v1

Teaching Formal Methods: Lessons to learn

Jean-Paul Gibson , Dominique Méry
Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p
Conference papers inria-00098616v1

Always and Eventually in Object Requirements

Jean-Paul Gibson , Dominique Méry
Rigorous Object Oriented Methods, 1998, none, 20 p
Conference papers inria-00098617v1
Image document

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⟩
Book sections hal-03729314v1
Image document

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⟩
Book sections hal-02941575v1
Image document

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
Book sections hal-03377716v1

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
Book sections inria-00099324v1