Paul Gibson
60
Documents
Publications
|
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. ⟨10.21427/Y73Z-6P82⟩
Conference papers
hal-03782691v1
|
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⟩
Conference papers
hal-03782518v1
|
|
|
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
Conference papers
hal-03787335v1
|
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⟩
Conference papers
hal-03377576v1
|
|
|
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
Conference papers
hal-03377665v1
|
|
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⟩
Conference papers
hal-01914210v1
|
|
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⟩
Conference papers
hal-01797538v1
|
|
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⟩
Conference papers
hal-01914195v1
|
|
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⟩
Conference papers
hal-01798224v1
|
|
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⟩
Conference papers
hal-01658423v1
|
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Conference papers
hal-01430628v1
|
|
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⟩
Conference papers
hal-01255058v1
|
|
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
Conference papers
hal-01263326v1
|
|
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of SystemsLeveraging 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
Conference papers
hal-01097624v1
|
|
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⟩
Conference papers
hal-01103304v1
|
|
|
Just like paper : a classification system for eVoting machinesCeDEM13 : Conference for e-Democracy and Open Government, May 2013, Krems, Austria. pp.351 - 356
Conference papers
hal-01335739v1
|
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⟩
Conference papers
hal-00728212v1
|
|
|
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
Conference papers
hal-03377886v1
|
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
Conference papers
hal-00641386v1
|
|
(m)Oodles of data : mining Moodle to understand student behaviourICEP 2010 : International Conference on Engaging Pedagogy, Jan 2011, Maynooth, Ireland. pp.61 - 71
Conference papers
hal-01354792v1
|
|
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⟩
Conference papers
hal-00641415v1
|
|
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
Conference papers
hal-00641404v1
|
|
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⟩
Conference papers
hal-00817746v1
|
|
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
Conference papers
hal-01354800v1
|
|
|
Challenging the lecturer : learning from the teacher's mistakesICEP 2009 : 2nd Irish Conference on Engaging Pedagogy, Sep 2009, Dublin, Ireland. pp.1 - 10
Conference papers
hal-01367813v1
|
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
Conference papers
hal-01367811v1
|
|
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⟩
Conference papers
hal-00817774v1
|
|
Verification and maintenance of e-voting systems and standardsECEG 2008 : 8th European Conference on e-Government, Jul 2008, Lausanne, Switzerland. pp.283 - 290
Conference papers
hal-01354839v1
|
|
How do I know if my design is correct ?FORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.59 - 68
Conference papers
hal-01355087v1
|
|
Formal methods : never too young to startFORMED 2008 : Formal Methods in Computer Science Education, Mar 2008, Budapest, Hungary. pp.149 - 158
Conference papers
hal-01354846v1
|
|
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⟩
Conference papers
hal-01354847v1
|
|
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⟩
Conference papers
hal-01354806v1
|
|
|
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⟩
Conference papers
inria-00184833v1
|
A taxonomy for triggered interactions using fair object semanticsFeature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p
Conference papers
inria-00099267v1
|
|
Integration Problems in Telephone Feature requirementsWorkshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p
Conference papers
inria-00098882v1
|
|
|
Animating formal specifications : a telephone simulation case study13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145
Conference papers
inria-00108114v1
|
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
Conference papers
inria-00098998v1
|
|
Always and Eventually in Object RequirementsRigorous Object Oriented Methods, 1998, none, 20 p
Conference papers
inria-00098617v1
|
|
Teaching Formal Methods: Lessons to learnIrish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p
Conference papers
inria-00098616v1
|
|
Fair ObjectsObject Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p
Conference papers
inria-00098620v1
|
The role of telecommunications in electronic votingSpringer-Verlag, 71, n°7/8, pp.422, 2016, 0003-4347
Books
hal-01466195v1
|
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⟩
Book sections
hal-03729314v1
|
|
|
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
Book sections
hal-03377716v1
|
|
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⟩
Book sections
hal-02941575v1
|
Fair ObjectsH. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering
Book sections
inria-00099324v1
|
|
POTS: An OO LOTOS Specification[Intern report] 98-R-013 || gibson98b, 1998, 27 p
Reports
inria-00098729v1
|
|
An Object Oriented Requirements Capture and Analysis Environment[Intern report] 98-R-010 || gibson98g, 1998, 33 p
Reports
inria-00098728v1
|
|
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
Habilitation à diriger des recherches
tel-01363179v1
|