Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de John Paul Gibson

Voir le profil Scopus

John Paul Gibson

Directeur d'Études

20002025

Résultat de recherche par an

Profil personnel

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où John Paul Gibson est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau

  • An Event-B Capability-Centric Model for Cloud Service Discovery

    Sid’Elmostaphe, A., Gibson, J. P., Jerbi, I., Gaaloul, W. & Nanne, M. F., 1 janv. 2025, Dans: International Journal of Advanced Computer Science and Applications. 16, 5, p. 944-959 16 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • 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 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • 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 août 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • 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 févr. 2022, Dans: Journal of Information, Communication and Ethics in Society. 20, 1, p. 72-90 19 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • 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 juin 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • 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 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • 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 janv. 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.

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

  • Cyber-physical systems engineering: An introduction

    Gibson, J. P., Larsen, P. G., Pantel, M., Fitzgerald, J. & Woodcock, J., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • 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 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Tout afficher 38 résultat de recherche