
Paul Gibson
67
Documents
Publications
Publications
Measuring the longitudinal impact of teaching programming ethics to first years students16th International Technology, Education and Development Conference(INTED2022), IATED, Mar 2022, Online Conference, France. pp.844-847, ⟨10.21125/inted.2022.0273⟩
Communication dans un congrès
hal-03782518
v1
|
|
|
The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project14th International Conference on Computer Supported Education, Apr 2022, Online Streaming, Czech Republic. pp.297-303, ⟨10.5220/0011075900003182⟩
Communication dans un congrès
hal-03729234
v1
|
|
Minding the gap: computing ethics and the political economy of big techETHICOMP2022: "Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?", Jul 2022, Turku, Finland. pp.546-550, ⟨10.21427/T0YQ-VP49⟩
Communication dans un congrès
hal-03787335
v1
|
|
Technical debt is an ethical issueETHICOMP 2022: Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?, Jul 2022, Turku, Finland. pp.258-266, ⟨10.21427/Y73Z-6P82⟩
Communication dans un congrès
hal-03782691
v1
|
|
Developing an educational brick for digital ethics: a case study-driven approachETHICOMP 2021: 19th International Conference on the Ethical and Social Impact of ICT, Jun 2021, Logroño, Spain. pp.29-37
Communication dans un congrès
hal-03377665
v1
|
|
Adaptable and reusable educational 'bricks' for teaching computer science ethicsEDULEARN 2021: 13th International Conference on Education and New Learning Technologies, Jul 2021, Online, Spain. pp.1991 (abstract only), ⟨10.21125/edulearn.2021.0456⟩
Communication dans un congrès
hal-03377576
v1
|
|
Formalising the requirements of an e-voting software product line using event-BWETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. pp.78 - 84, ⟨10.1109/WETICE.2018.00022⟩
Communication dans un congrès
hal-01914195
v1
|
|
Explicit modelling of physical measures: from Event-B to JavaIMPEX 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⟩
Communication dans un congrès
hal-01798224
v1
|
|
Cyber-physical systems engineering: an introductionISOLA 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⟩
Communication dans un congrès
hal-01914210
v1
|
|
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B6th 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⟩
Communication dans un congrès
hal-01797538
v1
|
|
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B37th 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⟩
Communication dans un congrès
hal-01658423
v1
|
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Communication dans un congrès
hal-01430628
v1
|
|
|
Designing a virtual laboratory for a relational database MOOCCSEDU 2015 : 7th International Conference on Computer Supported Education, May 2015, Lisbonne, Portugal. pp.260 - 268, ⟨10.5220/0005439702600268⟩
Communication dans un congrès
hal-01255058
v1
|
|
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩
Communication dans un congrès
hal-01097624
v1
|
Just Like Paper : a baseline for classifying e-voting usabilityCEDEM 2014 : International Conference for E-Democracy and Open Government, May 2014, Krems, Austria. pp.113 - 127
Communication dans un congrès
hal-01263326
v1
|
|
Semantic Heterogeneity in the Formal Development of Complex Systems: An IntroductionISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩
Communication dans un congrès
hal-01103304
v1
|
|
|
Just like paper : a classification system for eVoting machinesCeDEM13 : Conference for e-Democracy and Open Government, May 2013, Krems, Austria. pp.351 - 356
Communication dans un congrès
hal-01335739
v1
|
|
A preliminary study on a DualVote and Prêt à Voter hybrid systemCeDEM 2012: International Conference for E-Democracy and Open Government, May 2012, Krems, Austria. pp.77-89
Communication dans un congrès
hal-03377886
v1
|
|
Teaching graph algorithms to children of all agesITiCSE '12 : 17th Annual Conference on Innovation and Technology in Computer Science Education, Jul 2012, Haifa, Israel. pp.34-39, ⟨10.1145/2325296.2325308⟩
Communication dans un congrès
hal-00728212
v1
|
Just like paper and the 3-colour protocol : a voting interface requirements engineering case studyREVOTE '11 : International Workshop on Requirements Engineering for Electronic Voting Systems, Aug 2011, Trento, Italy. pp.66-75, ⟨10.1109/REVOTE.2011.6045917⟩
Communication dans un congrès
hal-00641415
v1
|
|
A "future-proof" postgraduate software engineering programme : maintainability issuesICSEA '11 : The Sixth International Conference on Software Engineering Advances, Oct 2011, Barcelona, Spain. pp.471-476
Communication dans un congrès
hal-00641386
v1
|
|
DualVote : addressing usability and verifiability issues in electronic voting systemsCeDEM '11 : Conference for E-Democracy and Open Government, May 2011, Krems, Austria. pp.313-322
Communication dans un congrès
hal-00641404
v1
|
|
Engineering a distributed e-voting system architecture : meeting critical requirementsISARCS '10 :1rst International Symposium on Architecting Critical Systems, Jun 2010, Prague, Czech Republic. pp.89-108, ⟨10.1007/978-3-642-13556-9_6⟩
Communication dans un congrès
istex
hal-00817746
v1
|
|
Dual vote : a novel user interface for e-voting systemsIHCI 2010 : IADIS International Conference Interfaces and Human Computer Interaction, Jul 2010, Freiburg, Germany. pp.129 - 138
Communication dans un congrès
hal-01354800
v1
|
|
(m)Oodles of data : mining Moodle to understand student behaviourICEP 2010 : International Conference on Engaging Pedagogy, Jan 2011, Maynooth, Ireland. pp.61 - 71
Communication dans un congrès
hal-01354792
v1
|
|
|
Challenging the lecturer : learning from the teacher's mistakesICEP 2009 : 2nd Irish Conference on Engaging Pedagogy, Sep 2009, Dublin, Ireland. pp.1 - 10
Communication dans un congrès
hal-01367813
v1
|
Sculpturing event-B models with RODIN : 'Holes and Lumps' in teaching refinement through problem-based learningTFM B'2009 : From Research to Teaching Formal Methods - The B Method, Jun 2009, Nantes, France. pp.7 - 21
Communication dans un congrès
hal-01367811
v1
|
|
Feature interactions in a software product line for e-votingICFI '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⟩
Communication dans un congrès
hal-00817774
v1
|
|
Formal methods : never too young to startFORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.149 - 158
Communication dans un congrès
hal-01354846
v1
|
|
Weaving a formal methods education with problem-based learningISoLA 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⟩
Communication dans un congrès
hal-01354847
v1
|
|
Verification and maintenance of e-voting systems and standardsECEG 2008 : 8th European Conference on e-Government, Jul 2008, Lausanne, Switzerland. pp.283 - 290
Communication dans un congrès
hal-01354839
v1
|
|
How do I know if my design is correct ?FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.59 - 68
Communication dans un congrès
hal-01355087
v1
|
|
Analysis of a distributed e-voting system architecture against quality of service requirementsICSEA 2008 : 3rd International Conference on Software Engineering Advances, Oct 2008, Sliema, Malta. pp.58 - 64, ⟨10.1109/ICSEA.2008.18⟩
Communication dans un congrès
hal-01354806
v1
|
|
|
Formal verification of tamper-evident storage for e-voting5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007, Sep 2007, LONDON, United Kingdom. pp.329-338, ⟨10.1109/SEFM.2007.21⟩
Communication dans un congrès
inria-00184833
v1
|
A taxonomy for triggered interactions using fair object semanticsFeature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p
Communication dans un congrès
inria-00099267
v1
|
|
Integration Problems in Telephone Feature requirementsWorkshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p
Communication dans un congrès
inria-00098882
v1
|
|
Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approachAndrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179
Communication dans un congrès
inria-00098998
v1
|
|
|
Animating formal specifications : a telephone simulation case study13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145
Communication dans un congrès
inria-00108114
v1
|
Fair ObjectsObject Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p
Communication dans un congrès
inria-00098620
v1
|
|
Always and Eventually in Object RequirementsRigorous Object Oriented Methods, 1998, none, 20 p
Communication dans un congrès
inria-00098617
v1
|
|
Teaching Formal Methods: Lessons to learnIrish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p
Communication dans un congrès
inria-00098616
v1
|
The role of telecommunications in electronic votingSpringer-Verlag, 71, n°7/8, pp.422, 2016, 0003-4347
Ouvrages
hal-01466195
v1
|
|
The future of medicine is digital: exploring the ethics of digital pillsMEDINFO 2021: One world, one health – global partnership for digital innovation, 290, IOS Press, pp.1120 - 1121, 2022, Studies in Health Technology and Informatics, 978-1-64368-264-8. ⟨10.3233/SHTI220297⟩
Chapitre d'ouvrage
hal-03729314
v1
|
|
You must have your webcam on for the entire duration of the examination: the trade-off between the integrity of on-line assessments and the privacy rights of studentsMoving technology ethics at the forefront of society, organisations and governments, Universidad de La Rioja, pp.65-75, 2021, 978-84-09-28672-0
Chapitre d'ouvrage
hal-03377716
v1
|
|
Modelling an e-voting domain for the formal development of a Software Product LineImplicit 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⟩
Chapitre d'ouvrage
hal-02941575
v1
|
Fair ObjectsH. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering
Chapitre d'ouvrage
inria-00099324
v1
|
|
An Object Oriented Requirements Capture and Analysis Environment[Intern report] 98-R-010 || gibson98g, 1998, 33 p
Rapport
inria-00098728
v1
|
|
POTS: An OO LOTOS Specification[Intern report] 98-R-013 || gibson98b, 1998, 27 p
Rapport
inria-00098729
v1
|
|
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
HDR
tel-01363179
v1
|
Chargement...
Chargement...