Homepage - J Paul Gibson

Leye Wang, Daqing Zhang, Haoyi Xiong, John Paul Gibson, Chao Chen, et al.. ecoSense: minimize participants' total 3G data cost in mobile crowdsensing using opportunistic relays. IEEE Transactions on Systems, Man, and Cybernetics: Systems, IEEE, 2017, 47 (6), pp.965 - 978. ⟨10.1109/TSMC.2016.2523902⟩. ⟨hal-01534510⟩

John Paul Gibson, Vanessa Teague, Robert Krimmer, Julia Pomares. A review of E-voting: the past, present and future. Annals of Telecommunications - annales des télécommunications, Springer, 2016, 71 (7), pp.279 - 286. ⟨10.1007/s12243-016-0525-8⟩. ⟨hal-01364859⟩

Haoyi Xiong, Daqing Zhang, Leye Wang, J. Paul Gibson, Jie Zhu. A EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants ACM Reference Format. ACM Transactions on Intelligent Systems and Technology, ACM, 2015, pp.1-23. ⟨10.1145/2644827⟩. ⟨hal-01078238⟩

John Paul Gibson, Isabelle Perseil. Introduction to UML and formal methods. Software Engineering Notes, Association for Computing Machinery, 2012, 37 (4), pp.32-33. ⟨10.1145/2237796.2237825⟩. ⟨hal-00728167⟩

Isabelle Perseil, John Paul Gibson. Introduction to special issue : papers from UML&FM'2011. Innovations in Systems and Software Engineering (ISSE), Springer London, 2011, 7 (4), pp.225-226. ⟨10.1007/s11334-011-0173-0⟩. ⟨hal-00677755⟩

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Formal object-oriented development of a voting system test oracle. Innovations in Systems and Software Engineering (ISSE), Springer London, 2011, 7 (4), pp.237-245. ⟨10.1007/s11334-011-0167-y⟩. ⟨hal-00670282⟩

John Paul Gibson. Software reuse and plagiarism : a code of practice. Sigcse Bulletin, Association for Computing Machinery, 2009, 41 (3), pp.55 - 59. ⟨10.1145/1595496.1562900⟩. ⟨hal-01357442⟩

Damien Woods, John Paul Gibson. Lower bounds on the computational power of an optical model of computation. Natural Computing, Springer Verlag, 2008, 7 (1), pp.95 - 108. ⟨10.1007/s11047-007-9039-7⟩. ⟨hal-01354830⟩

Dominique Cansell, Paul Gibson, Dominique Méry. Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 183, pp.39-55. ⟨10.1016/j.entcs.2007.01.060⟩. ⟨inria-00594892⟩

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, Jun 2018, Paris, France. pp.78 - 84, ⟨10.1109/WETICE.2018.00022⟩. ⟨hal-01914195⟩

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, Nov 2018, Limassol, Cyprus. pp.407 - 410, ⟨10.1007/978-3-030-03424-5_27⟩. ⟨hal-01914210⟩

Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, J. 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), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩. ⟨hal-01797538⟩

John Paul Gibson, Dominique Méry. 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, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩. ⟨hal-01798224⟩

Paul Gibson, Souad Kherroubi, Dominique Méry. 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), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩. ⟨hal-01658423⟩

Jean-Paul Gibson, Idir Ait-Sadoune, Marc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.. 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. ⟨hal-01430628⟩

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, May 2015, Lisbonne, Portugal. pp.260 - 268, ⟨10.5220/0005439702600268⟩. ⟨hal-01255058⟩

Damien Macnamara, John Paul Gibson, Ken Oakley. Just Like Paper : a baseline for classifying e-voting usability. CEDEM 2014 : International Conference for E-Democracy and Open Government, May 2014, Krems, Austria. pp.113 - 127. ⟨hal-01263326⟩

Yamine Aït-Ameur, J. Paul Gibson, Dominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, Tiziana Margaria and Bernhard Steffen, Oct 2014, Corfu, Greece. pp.604-618. ⟨hal-01097624⟩

Jean-Paul Gibson, Idir Ait-Sadoune. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩. ⟨hal-01103304⟩

Damien Macnamara, John Paul Gibson, Ken Oakley. Just like paper : a classification system for eVoting machines. CeDEM13 : Conference for e-Democracy and Open Government, May 2013, Krems, Austria. pp.351 - 356. ⟨hal-01335739⟩

John Paul Gibson. Teaching graph algorithms to children of all ages. ITiCSE '12 : 17th Annual Conference on Innovation and Technology in Computer Science Education, Jul 2012, Haifa, Israel. pp.34-39, ⟨10.1145/2325296.2325308⟩. ⟨hal-00728212⟩

Damien Macnamara, John Paul Gibson, Ken Oakley. A preliminary study on a dual vote and prêt à voter hybrid system. CeDEM '12 : International Conference for E-Democracy and Open Government, May 2012, Krems, Austria. pp.77-89. ⟨hal-00728228⟩

John Paul Gibson, Damien Macnamara, Ken Oakley. Just like paper and the 3-colour protocol : a voting interface requirements engineering case study. REVOTE '11 : International Workshop on Requirements Engineering for Electronic Voting Systems, Aug 2011, Trento, Italy. pp.66-75, ⟨10.1109/REVOTE.2011.6045917⟩. ⟨hal-00641415⟩

Kevin Casey, John Paul Gibson. (m)Oodles of data : mining Moodle to understand student behaviour. ICEP 2010 : International Conference on Engaging Pedagogy, Jan 2011, Maynooth, Ireland. pp.61 - 71. ⟨hal-01354792⟩

John Paul Gibson, Jean-Luc Raffy. A "future-proof" postgraduate software engineering programme : maintainability issues. ICSEA '11 : The Sixth International Conference on Software Engineering Advances, Oct 2011, Barcelona, Spain. pp.471-476. ⟨hal-00641386⟩

Damien Macnamara, Ted Scully, John Paul Gibson, Ken Oakley, Francis Carmody, et al.. DualVote : addressing usability and verifiability issues in electronic voting systems. CeDEM '11 : Conference for E-Democracy and Open Government, May 2011, Krems, Austria. pp.313-322. ⟨hal-00641404⟩

Damien Macnamara, Francis Carmody, Ted Scully, Ken Oakley, Elizabeth Quane, et al.. Dual vote : a novel user interface for e-voting systems. IHCI 2010 : IADIS International Conference Interfaces and Human Computer Interaction, Jul 2010, Freiburg, Germany. pp.129 - 138. ⟨hal-01354800⟩

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Engineering a distributed e-voting system architecture : meeting critical requirements. ISARCS '10 :1rst International Symposium on Architecting Critical Systems, Jun 2010, Prague, Czech Republic. pp.89-108, ⟨10.1007/978-3-642-13556-9_6⟩. ⟨hal-00817746⟩

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Sculpturing event-B models with RODIN : 'Holes and Lumps' in teaching refinement through problem-based learning. TFM B'2009 : From Research to Teaching Formal Methods - The B Method, Jun 2009, Nantes, France. pp.7 - 21. ⟨hal-01367811⟩

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Feature interactions in a software product line for e-voting. ICFI '09 : 10th International Conference on Feature Interactions in Telecommunications and Software Systems, Jun 2009, Lisbon, Portugal. pp.91-106, ⟨10.3233/978-1-60750-014-8-91⟩. ⟨hal-00817774⟩

John Paul Gibson. Challenging the lecturer : learning from the teacher's mistakes. ICEP 2009 : 2nd Irish Conference on Engaging Pedagogy, Sep 2009, Dublin, Ireland. pp.1 - 10. ⟨hal-01367813⟩

John Paul Gibson, Margaret Mcgaley. Verification and maintenance of e-voting systems and standards. ECEG 2008 : 8th European Conference on e-Government, Jul 2008, Lausanne, Switzerland. pp.283 - 290. ⟨hal-01354839⟩

John Paul Gibson. Weaving a formal methods education with problem-based learning. ISoLA 2008 : 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Oct 2008, Porto Sani, Greece. pp.460 - 472, ⟨10.1007/978-3-540-88479-8_32⟩. ⟨hal-01354847⟩

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. How do I know if my design is correct ?. FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.59 - 68. ⟨hal-01355087⟩

John Paul Gibson, Eric Lallet, Jean-Luc Raffy. Analysis of a distributed e-voting system architecture against quality of service requirements. ICSEA 2008 : 3rd International Conference on Software Engineering Advances, Oct 2008, Sliema, Malta. pp.58 - 64, ⟨10.1109/ICSEA.2008.18⟩. ⟨hal-01354806⟩

John Paul Gibson. Formal methods : never too young to start. FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.149 - 158. ⟨hal-01354846⟩

Dominique Cansell, Paul Gibson, Dominique Méry. Formal verification of tamper-evident storage for e-voting. 5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007, Sep 2007, LONDON, United Kingdom. pp.329-338, ⟨10.1109/SEFM.2007.21⟩. ⟨inria-00184833⟩

Paul Gibson, Geoff Hamilton, Dominique Méry. A taxonomy for triggered interactions using fair object semantics. Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p. ⟨inria-00099267⟩

Jean-Paul Gibson, Dominique Méry, Yassine Mokhtari. Animating formal specifications : a telephone simulation case study. 13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145. ⟨inria-00108114⟩

Jean-Paul Gibson, Dominique Méry. Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach. Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179. ⟨inria-00098998⟩

John Paul Gibson, Geoff Hamilton, Dominique Méry. Integration Problems in Telephone Feature requirements. Workshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p. ⟨inria-00098882⟩

Jean-Paul Gibson, Dominique Méry. Teaching Formal Methods: Lessons to learn. Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p. ⟨inria-00098616⟩

Jean-Paul Gibson, Dominique Méry. Always and Eventually in Object Requirements. Rigorous Object Oriented Methods, 1998, none, 20 p. ⟨inria-00098617⟩

Dominique Méry, Jean-Paul Gibson. Fair Objects. Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p. ⟨inria-00098620⟩

John Paul Gibson, Jean-Luc Raffy. Modelling an e-voting domain for the formal development of a Software Product Line: when the implicit should be made explicit. Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.3-18, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_1⟩. ⟨hal-02941575⟩

John Paul Gibson, Dominique Méry. Fair Objects. H. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering. ⟨inria-00099324⟩

John Paul Gibson, Robert Krimmer, Vanessa Teague, Julia Pomares. The role of telecommunications in electronic voting. 71, n°7/8, Springer-Verlag, pp.422, 2016, 0003-4347. ⟨hal-01466195⟩

Jean-Paul Gibson. An Object Oriented Requirements Capture and Analysis Environment. [Intern report] 98-R-010 || gibson98g, 1998, 33 p. ⟨inria-00098728⟩

Jean-Paul Gibson, Yassine Mokhtari. POTS: An OO LOTOS Specification. [Intern report] 98-R-013 || gibson98b, 1998, 27 p. ⟨inria-00098729⟩

John Paul Gibson. Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique). Software Engineering [cs.SE]. Télécom Sud Paris, 2011. ⟨tel-01363179⟩