\n![\"BibTex\"](\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" "\\"BibTex\\"")
<\/a>\n<\/span><\/dd>\n<\/dl>\nCommunication dans un congr\u00e8s<\/p>\n
2022<\/p>\n
\n- ref_biblio<\/dt>
- Paul Doyle, Brian Keegan, Damian Gordon, Anna Becevel, John Paul Gibson, et al.. The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project. 14th International Conference on Computer Supported Education<\/i>, Apr 2022, Online Streaming, Czech Republic. pp.297-303, ⟨10.5220\/0011075900003182⟩<\/a>. ⟨hal-03729234⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n
![\"https:\/\/hal.science\/hal-03729234\/file\/DoyleKGBGJO%27S22.pdf\"](\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" "\\"https:\/\/hal.science\/hal-03729234\/file\/DoyleKGBGJO%27S22.pdf\\"")
<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n\n- ref_biblio<\/dt>
- John Paul Gibson, Massamaesso Narouwa, Damian Gordon, Dympna O'Sullivan, Jonathan Turner, et al.. Technical debt is an ethical issue. ETHICOMP 2022: Effectiveness of ICT ethics \u2013 How do we help solve ethical problems in the field of ICT?<\/i>, Jul 2022, Turku, Finland. pp.258-266, ⟨10.21427\/Y73Z-6P82⟩<\/a>. ⟨hal-03782691⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n
\n- ref_biblio<\/dt>
- Damian Gordon, Michael Collins, John Paul Gibson, Dympna O'Sullivan. Measuring the longitudinal impact of teaching programming ethics to first years students. 16th International Technology, Education and Development Conference(INTED2022)<\/i>, IATED, Mar 2022, Online Conference, France. pp.844-847, ⟨10.21125\/inted.2022.0273⟩<\/a>. ⟨hal-03782518⟩<\/a><\/dd>\n
- Acc\u00e8s au bibtex<\/dt>\n
- \n\n<\/a>\n<\/dd>\n<\/dl>\n
\n- ref_biblio<\/dt>
- Ioannis Stavrakakis, Damian Gordon, John Paul Gibson, Dympna O\u2019sullivan, Anna Becevel. Minding the gap: computing ethics and the political economy of big tech. ETHICOMP2022: \"Effectiveness of ICT ethics \u2013 How do we help solve ethical problems in the field of ICT?\"<\/i>, Jul 2022, Turku, Finland. pp.546-550, ⟨10.21427\/T0YQ-VP49⟩<\/a>. ⟨hal-03787335⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n
2021<\/p>\n
\n- ref_biblio<\/dt>
- Andrea Curley, Damian Gordon, Ioannis Stavrakakis, Anna J Becevel, John Paul Gibson, et al.. Adaptable and reusable educational 'bricks' for teaching computer science ethics. EDULEARN 2021: 13th International Conference on Education and New Learning Technologies<\/i>, Jul 2021, Online, Spain. pp.1991 (abstract only), ⟨10.21125\/edulearn.2021.0456⟩<\/a>. ⟨hal-03377576⟩<\/a><\/dd>\n
- Acc\u00e8s au bibtex<\/dt>\n
- \n\n<\/a>\n<\/dd>\n<\/dl>\n
\n- ref_biblio<\/dt>
- John Paul Gibson, Yael Jacob, Damian Gordon, Dympna O'Sullivan. Developing an educational brick for digital ethics: a case study-driven approach. ETHICOMP 2021: 19th International Conference on the Ethical and Social Impact of ICT<\/i>, Jun 2021, Logro\u00f1o, Spain. pp.29-37. ⟨hal-03377665⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n
2018<\/p>\n
\n- ref_biblio<\/dt>
- Abderrahim Ait Wakrime, John Paul Gibson, Jean-Luc Raffy. Formalising the requirements of an e-voting software product line using event-B. WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises<\/i>, Jun 2018, Paris, France. pp.78 - 84, ⟨10.1109\/WETICE.2018.00022⟩<\/a>. ⟨hal-01914195⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n
\n- ref_biblio<\/dt>
- Yamine A\u00eft-Ameur, Idir Ait-Sadoune, Pierre Cast\u00e9ran, John Paul Gibson, Kahina Hacid, et al.. On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B. 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018)<\/i>, Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007\/978-3-319-91271-4_35⟩<\/a>. ⟨hal-01797538⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n
\n- ref_biblio<\/dt>
- John Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, Jim Woodcock. Cyber-physical systems engineering: an introduction. ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation<\/i>, Nov 2018, Limassol, Cyprus. pp.407 - 410, ⟨10.1007\/978-3-030-03424-5_27⟩<\/a>. ⟨hal-01914210⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n
2017<\/p>\n
\n- ref_biblio<\/dt>
- Paul J. Gibson, Souad Kherroubi, Dominique M\u00e9ry. Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017)<\/i>, Jun 2017, Neuch\u00e2tel, Switzerland. pp.124-138, ⟨10.1007\/978-3-319-60225-7_9⟩<\/a>. ⟨hal-01658423⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n
\n- ref_biblio<\/dt>
- John Paul Gibson, Dominique M\u00e9ry. Explicit modelling of physical measures: from Event-B to Java. IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development<\/i>, Nov 2017, Xi\u2019An, China. pp.64 - 79, ⟨10.4204\/EPTCS.271.5⟩<\/a>. ⟨hal-01798224⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n
2016<\/p>\n
\n- ref_biblio<\/dt>
- Jean-Paul Gibson, Idir Ait-Sadoune, Marc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.. 7th International Symposium, ISoLA 2016<\/i>, Oct 2016, Corfu, Greece. ⟨hal-01430628⟩<\/a><\/dd>\n
- Acc\u00e8s au bibtex<\/dt>\n
- \n\n<\/a>\n<\/dd>\n<\/dl>\n
2015<\/p>\n
\n- ref_biblio<\/dt>
- Olivier Berger, John Paul Gibson, Claire Lecocq, Christian Bac. Designing a virtual laboratory for a relational database MOOC. CSEDU 2015 : 7th International Conference on Computer Supported Education<\/i>, May 2015, Lisbonne, Portugal. pp.260 - 268, ⟨10.5220\/0005439702600268⟩<\/a>. ⟨hal-01255058⟩<\/a><\/dd>\n
- Acc\u00e8s au bibtex<\/dt>\n
- \n\n<\/a>\n<\/dd>\n<\/dl>\n
2014<\/p>\n
\n- ref_biblio<\/dt>
- Yamine A\u00eft-Ameur, John Paul Gibson, Dominique M\u00e9ry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014)<\/i>, Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007\/978-3-662-45231-8_50⟩<\/a>. ⟨hal-01097624⟩<\/a><\/dd>\n
- Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n
- \n\n<\/a>\n\n<\/a>\n<\/span><\/dd>\n<\/dl>\n
\n- ref_biblio<\/dt>
- Jean-Paul Gibson, Idir Ait-Sadoune. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA 2014<\/i>, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007\/978-3-662-45231-8_47⟩<\/a>. ⟨hal-01103304⟩<\/a><\/dd>\n
- Acc\u00e8s au bibtex<\/dt>\n
- \n\n<\/a>\n<\/dd>\n<\/dl>\n
\n- ref_biblio<\/dt>
- Damien Macnamara, John Paul Gibson, Ken Oakley. Just Like Paper : a baseline for classifying e-voting usability.
![\"](\"https:\/\/samovar.telecom-sudparis.eu\/wp-content\/uploads\/2022\/07\/Paul-GIBSON.jpg\")