Personal profile
Fingerprint
Dive into the research topics where John Paul Gibson is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Event-B Capability-Centric Model for Cloud Service Discovery
Sid’Elmostaphe, A., Gibson, J. P., Jerbi, I., Gaaloul, W. & Nanne, M. F., 1 Jan 2025, In: International Journal of Advanced Computer Science and Applications. 16, 5, p. 944-959 16 p.Research output: Contribution to journal › Article › peer-review
Open Access -
ETHICS4EU: DESIGNING NEW CURRICULA FOR COMPUTER SCIENCE ETHICS EDUCATION: CASE STUDIES FOR AI ETHICS
O'Sullivan, D., Gibson, J. P., Curley, A., Becevel, A., Murphy, E. & Gordon, D., 1 Jan 2023, SEFI 2023 - 51st Annual Conference of the European Society for Engineering Education: Engineering Education for Sustainability, Proceedings. Reilly, G., Murphy, M., Nagy, B. V. & Jarvinen, H.-M. (eds.). European Society for Engineering Education (SEFI), p. 2664-2671 8 p. (SEFI 2023 - 51st Annual Conference of the European Society for Engineering Education: Engineering Education for Sustainability, Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Inclusion4EU: Co-Designing a Framework for Inclusive Software Design and Development
O'Sullivan, D., Murphy, E., Curley, A., Gilligan, J., Gordon, D., Becevel, A., Hensman, S., Rocha, M., Rivera, C., Collins, M., Gibson, J. P., Dodig-Crnkovic, G., Kearney, G. & Boland, S., 23 Aug 2023, Assistive Technology: Shaping a Sustainable and Inclusive World. Archambault, D. & Kouroupetroglou, G. (eds.). IOS Press BV, p. 497-502 6 p. (Studies in Health Technology and Informatics; vol. 306).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Perspectives on computing ethics: a multi-stakeholder analysis
Gordon, D., Stavrakakis, I., Gibson, J. P., Tierney, B., Becevel, A., Curley, A., Collins, M., O’Mahony, W. & O’Sullivan, D., 7 Feb 2022, In: Journal of Information, Communication and Ethics in Society. 20, 1, p. 72-90 19 p.Research output: Contribution to journal › Article › peer-review
Open Access -
The Future of Medicine Is Digital: Exploring the Ethics of Digital Pills
O'Sullivan, D., Gibson, J. P., Jacob, Y., Stavrakakis, I. & Gordon, D., 6 Jun 2022, MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation - Proceedings of the 18th World Congress on Medical and Health Informatics. Otero, P., Scott, P., Martin, S. Z. & Huesing, E. (eds.). IOS Press BV, p. 1120-1121 2 p. (Studies in Health Technology and Informatics; vol. 290).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project
Doyle, P., Keegan, B., Gordon, D., Becevel, A., Gibson, P. J., Jiang, Z. & O’Sullivan, D., 1 Jan 2022, Proceedings of the 14th International Conference on Computer Supported Education - Volume 1, CSEDU 2022. Cukurova, M., Rummel, N., Gillet, D., McLaren, B. & Uhomoibhi, J. (eds.). Science and Technology Publications, Lda, p. 297-303 7 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit
Paul Gibson, J. & Raffy, J. L., 1 Jan 2020, Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings. Springer Singapore, p. 3-18 16 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Cyber-physical systems engineering: An introduction
Gibson, J. P., Larsen, P. G., Pantel, M., Fitzgerald, J. & Woodcock, J., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 407-410 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11246 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Formalising the requirements of an e-voting software product line using event-B
Wakrime, A. A., Gibson, J. P. & Raffy, J. L., 17 Oct 2018, Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018. Institute of Electrical and Electronics Engineers Inc., p. 54-57 4 p. 8495912. (Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
On the importance of explicit domain modelling in refinement-based modelling design. Experiments with event-B
Aït-Ameur, Y., Ait-Sadoune, I., Casteran, P., Gibson, P., Hacid, K., Kherroubi, S., Méry, D., Mohand-Oussaid, L., Singh, N. K. & Voisin, L., 1 Jan 2018, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings. Butler, M., Hoang, T. S., Raschke, A. & Reichl, K. (eds.). Springer Verlag, p. 425-430 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10817 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review