default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJ. Paul Gibson
Person information
- affiliation: Telecom Sud Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j8]Damian Gordon, Ioannis Stavrakakis
, J. Paul Gibson, Brendan Tierney, Anna Becevel, Andrea Curley, Michael Collins, William O'Mahony, Dympna O'Sullivan:
Perspectives on computing ethics: a multi-stakeholder analysis. J. Inf. Commun. Ethics Soc. 20(1): 72-90 (2022)- [c46]Paul Doyle, Brian Keegan, Damian Gordon, Anna Becevel, J. Paul Gibson, Zhiying Jiang, Dympna O'Sullivan:
The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project. CSEDU (1) 2022: 297-303 - 2021
- [c45]Dympna O'Sullivan, J. Paul Gibson, Yael Jacob, Ioannis Stavrakakis, Damian Gordon:
The Future of Medicine Is Digital: Exploring the Ethics of Digital Pills. MedInfo 2021: 1120-1121
2010 – 2019
- 2018
- [c44]Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin:
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ 2018: 425-430 - [c43]J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock:
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) 2018: 407-410 - [c42]Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy:
Formalising the Requirements of an E-Voting Software Product Line Using Event-B. WETICE 2018: 78-84 - 2017
- [j7]Leye Wang, Daqing Zhang, Haoyi Xiong, John Paul Gibson, Chao Chen, Bing Xie:
ecoSense: Minimize Participants' Total 3G Data Cost in Mobile Crowdsensing Using Opportunistic Relays. IEEE Trans. Syst. Man Cybern. Syst. 47(6): 965-978 (2017) - [c41]J. Paul Gibson, Souad Kherroubi, Dominique Méry:
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. FORTE 2017: 124-138 - [c40]J. Paul Gibson, Dominique Méry:
Explicit Modelling of Physical Measures: From Event-B to Java. IMPEX/FM&MDD 2017: 64-79 - 2016
- [j6]J. Paul Gibson, Robert Krimmer, Vanessa Teague, Julia Pomares:
A review of E-voting: the past, present and future. Ann. des Télécommunications 71(7-8): 279-286 (2016) - [c39]J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel:
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (1) 2016: 321-324 - 2015
- [j5]Haoyi Xiong, Daqing Zhang, Leye Wang, J. Paul Gibson, Jie Zhu:
EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants. ACM Trans. Intell. Syst. Technol. 6(3): 39:1-39:26 (2015) - [c38]Olivier Berger, J. Paul Gibson, Claire Lecocq, Christian Bac:
Designing a Virtual Laboratory for a Relational Database MOOC. CSEDU (1) 2015: 260-268 - 2014
- [c37]J. Paul Gibson, Idir Aït-Sadoune:
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (2) 2014: 570-572 - [c36]Yamine Aït Ameur, J. Paul Gibson, Dominique Méry:
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. ISoLA (2) 2014: 604-618 - 2012
- [j4]J. Paul Gibson, Isabelle Perseil:
Introduction to UML and Formal Methods. ACM SIGSOFT Softw. Eng. Notes 37(4): 32-33 (2012) - [c35]J. Paul Gibson:
Teaching graph algorithms to children of all ages. ITiCSE 2012: 34-39 - 2011
- [b2]John Paul Gibson:
Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique). (Formal software engineering: theory, practice and teaching (learning from the E-voting experience)). Telecom SudParis, France, 2011 - [j3]Isabelle Perseil, J. Paul Gibson:
Introduction to special issue: papers from UML&FM'2011. Innov. Syst. Softw. Eng. 7(4): 225-226 (2011) - [j2]J. Paul Gibson, Jean-Luc Raffy, Eric Lallet:
Formal object-oriented development of a voting system test oracle. Innov. Syst. Softw. Eng. 7(4): 237-245 (2011) - [c34]J. Paul Gibson, Damien MacNamara, Ken Oakley:
Just like paper and the 3-colour protocol: A voting interface requirements engineering case study. REVOTE 2011: 66-75 - 2010
- [c33]J. Paul Gibson, Eric Lallet, Jean-Luc Raffy:
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. ISARCS 2010: 89-108
2000 – 2009
- 2009
- [c32]J. Paul Gibson, Eric Lallet, Jean-Luc Raffy:
Feature Interactions in a Software Product Line for E-voting. ICFI 2009: 91-106 - [c31]J. Paul Gibson:
Software reuse and plagiarism: a code of practice. ITiCSE 2009: 55-59 - 2008
- [j1]Damien Woods, J. Paul Gibson:
Lower bounds on the computational power of an optical model of computation. Nat. Comput. 7(1): 95-108 (2008) - [c30]J. Paul Gibson, Eric Lallet, Jean-Luc Raffy:
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. ICSEA 2008: 58-64 - [c29]J. Paul Gibson:
Weaving a Formal Methods Education with Problem-Based Learning. ISoLA 2008: 460-472 - 2007
- [c28]J. Paul Gibson:
E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. B 2007: 1 - [c27]Dominique Cansell, J. Paul Gibson, Dominique Méry:
Formal verification of tamper-evident storage for e-voting. SEFM 2007: 329-338 - 2006
- [c26]Jackie O'Kelly, J. Paul Gibson:
RoboCode & problem-based learning: a non-prescriptive approach to teaching programming. ITiCSE 2006: 217-221 - [c25]Margaret McGaley, J. Paul Gibson:
A Critical Analysis of the Council of Europe Recommendations on E-Voting. EVT 2006 - [c24]Dominique Cansell, J. Paul Gibson, Dominique Méry:
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. FMIS@ICFEM 2006: 39-55 - 2005
- [c23]Damien Woods, J. Paul Gibson:
Complexity of Continuous Space Machine Operations. CiE 2005: 540-551 - [c22]Stephen Hallinan, J. Paul Gibson:
A Graduate's Role in Technology Transfer: From Requirements to Design with UML. IASTED Conf. on Software Engineering 2005: 94-99 - [c21]J. Paul Gibson, Jackie O'Kelly:
Software engineering as a model of understanding for learning and problem solving. ICER 2005: 87-97 - [c20]Des Traynor, J. Paul Gibson:
Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs. SIGCSE 2005: 495-499 - [c19]Damien Woods, J. Paul Gibson:
Lower Bounds on the Computational Power of an Optical Model of Computation. UC 2005: 237-250 - 2004
- [c18]Des Traynor, J. Paul Gibson:
Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program. CELDA 2004: 533-536 - [c17]Des Traynor, J. Paul Gibson:
Towards the development of a cognitive model of programming: a software engineering proposal. PPIG 2004: 9 - 2003
- [c16]Peter J. Clarke, Brian A. Malloy, J. Paul Gibson:
Using a Taxonomy Tool to Identify Changes in OO Softwar. CSMR 2003: 213-222 - [c15]Edward B. Duffy, J. Paul Gibson, Brian A. Malloy:
Applying the Decorator Pattern for Profiling Object-Oriented Software. IWPC 2003: 84-93 - [c14]J. Paul Gibson:
A noughts and crosses Java applet to teach programming to primary school children. PPPJ 2003: 85-88 - 2002
- [c13]David C. Rine, James F. Power, J. Paul Gibson:
ACM SAC2002 software engineering: theory and applications (SETA) track description. SAC 2002: 969-970 - 2000
- [c12]J. Paul Gibson:
Formal Requirements Engineering: Learning from the Students. Australian Software Engineering Conference 2000: 171-180 - [c11]J. Paul Gibson, Geoff W. Hamilton, Dominique Méry:
A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW 2000: 193-209 - [c10]David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton:
Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification 2000: E104-E110 - [c9]J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy:
The Application of Correctness Preserving Transformations to Software Maintenance. ICSM 2000: 108- - [e1]David Sinclair, J. Paul Gibson:
4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. Workshops in Computing, BCS 2000 [contents]
1990 – 1999
- 1999
- [c8]J. Paul Gibson, Dominique Méry:
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. Ershov Memorial Conference 1999: 155-179 - [c7]J. Paul Gibson, Geoff W. Hamilton, Dominique Méry:
Integration Problems in Telephone Feature Requirements. IFM 1999: 129-148 - [c6]David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power:
Four Logics and a Protocol. IWFM 1999 - 1998
- [c5]J. Paul Gibson:
Towards a Feature Interaction Algebra. FIW 1998: 217-231 - [c4]J. Paul Gibson, Dominique Méry:
Teaching Formal Methods: Lessons to Learn. IWFM 1998 - 1997
- [c3]J. Paul Gibson:
Feature Requirements Models: Understanding Interactions. FIW 1997: 46-60 - [c2]J. Paul Gibson, Bruno Mermet, Dominique Méry:
Feature Interactions: A Mixed Semantic Model Approach. IWFM 1997 - [c1]Dominique Méry, J. Paul Gibson:
Telephone feature verification: Translating SDL to TLA+. SDL Forum 1997: 103-118 - 1993
- [b1]J. Paul Gibson:
Formal object oriented development of software systems using LOTOS. University of Stirling, UK, 1993
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
