Skip to main navigation Skip to search Skip to main content
No photo of John Paul Gibson

View Scopus Profile

John Paul Gibson

Directeur d'Études

  • 466
    Citations
20002025

Research activity per year

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
View full fingerprint

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
Explore network further

  • 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

    4 Citations (Scopus)

  • 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
    1 Citation (Scopus)

  • 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
    10 Citations (Scopus)

  • 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
    1 Citation (Scopus)

  • 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
    3 Citations (Scopus)

  • 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

    2 Citations (Scopus)

  • 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
    1 Citation (Scopus)

  • 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

    7 Citations (Scopus)

  • 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

    2 Citations (Scopus)
View all 38 research outputs