Research-Publications for Dr J. Paul Gibson, INFormatique (INF), Telecom SudParis, France.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Quick Links (This Page):

Published (or accepted for publication)

2023

Inclusion4EU: Fostering Inclusive Technological Thinking for Software Design and Development. O'Sullivan, Dympna; Murphy, Emma; Curley, Andrea; Gilligan, John; Gordon, Damian; Becevel, Anna; Hensman, Svetlana; Rocha, Mariana; Rivera, Claudia; Collins, Michael; Gibson, J Paul ; Dodig-Crnkovic, Gordana; Kearney, Gearoid; Boland, Sarah. Accepted for presentation at IMCL 2023, November 2023, Thessaloniki, Greece. To be published in conference proceedings.

ETHICS4EU: DESIGNING NEW CURRICULA FOR COMPUTER SCIENCE ETHICS EDUCATION: CASE STUDIES FOR AI ETHICS. O'Sullivan, Dympna, and Gibson, J Paul and Curley, Andrea and Becevel, Anna and Murphy, Emma and Gordon, Damian. Accepted for presentation at SEFI 2023, September 2023, TUD, Dublin, Ireland. To be published in conference proceedings.

Inclusion4EU: Co-Designing a Framework for Inclusive Software Design and Development. O'Sullivan, Dympna and Murphy, Emma and Curley, Andrea and Gilligan, John and Gordon, Damian and Becevel, Anna and Hensman, Svetlana and Rocha, Mariana and Rivera, Claudia and Collins, Michael and Gibson, J Paul and Dodig-Crnkovic, Gordana and Kearney, Gearoid, and Boland, Sarah. J. Paul Gibson, presented at AAATE 2023 Published in Studies in Health Technology and Informatics (Assistive Technology: Shaping a Sustainable and Inclusive World) vol 306, (editors D. Archambault and G. Kouroupetroglou, publisher IOS Press), pages 497--502, August 2023, ISSN = 0926-9630.

2022

Organisation des élections : comment font les autres pays ?. J. Paul Gibson, Published in Horizons Publics 25: Dans Les Coulisses des Elections (editor Julien Nessi, publisher Berger-Levrault), pages 66-73, January 2022, ISBN = 978-2-7013-2188-2.

Technical Debt is an Ethical Issue. J. Paul Gibson, Massamaesso Narouwa, Damian Gordon, Dympna O’Sullivan, Jonathan Turner and Michael Collins. Presented at ETHICOMP 2022, July 2022, Turku, Finland. Published in the proceedings "Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?" (editors Kai K. Kimppa and Jani Koskinen), ISBN = 978-951-29-8989-8.

Minding the Gap: Computing Ethics and the Political Economy of Big Tech. Ioannis Stavrakakis, Damian Gordon, J. Paul Gibson, Dympna O’Sullivan and Anna Becevel. Presented at ETHICOMP 2022, July 2022, Turku, Finland. Published in the proceedings "Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?" (editors Kai K. Kimppa and Jani Koskinen), ISBN = 978-951-29-8989-8.

MEASURING THE LONGITUDINAL IMPACT OF TEACHING PROGRAMMING ETHICS TO FIRST YEAR STUDENTS. Damian Gordon, Michael Collins, J. Paul Gibson and Dympna O’Sullivan. Presented at the 16th annual International Technology, Education and Development Conference (INTED2022), March 7-8, 2022. Published in the INTED2022 Proceedings, pp. 844-847, IATED Digital Library, ISSN 2340-1079, ISBN 978-84-09-37758-9.

The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project. Paul Doyle, Brian Keegan, Damian Gordon, Anna Becevel, J. Paul Gibson, Zhiying Jiang, and Dympna O’Sullivan. Presented at CSEDU 2022. Published in the Proceedings of the 14th International Conference on Computer Supported Education - Volume 1, pp. 297-303, SciTePress (INSTICC), ISSN 978-989-758-562-3, April 2022.

The Future of Medicine Is Digital: Exploring the Ethics of Digital Pills. O'Sullivan, Dympna and Gibson, J Paul and Jacob, Yael and Stavrakakis, Ioannis and Gordon, Damian. Presented at MEDINFO 2021. Published in the journal Studies in health technology and informatics, volume 290, IOS Press, pp. 1120-1121, 2022.

2021

The teaching of Computer Ethics on Computer Science and related degree programmes: A European Survey. Ioannis Stavrakakis, Damian Gordon, Brendan Tierney, Anna Becevel, Emma Murphy, Gordana Dodig-Crnkovic, Radu Dobrin, Viola Schiaffonati, Cristina Pereira, Svetlana Tikhonenko, J. Paul Gibson, Stephane Maag, Francesco Agresta, Andrea Curley, Michael Collins, and Dympna O'Sullivan. October 2021. Published in the Springer International Journal of Ethics Education

Perspectives on computing ethics: a multi-stakeholder analysis. Gordon, D., Stavrakakis, I.,Gibson, J. Paul, Tierney B., Becevel, A., Curley, A., Collins, M., O'Mahoney and O'Sullivan, D. Pubished in the Journal of Information, Communication and Ethics in Society, Vol. 20 No. 1, pp. 72-90, Emerald Publishing Limited, ISSN 1477-996X, 23 September 2021.

Adaptable and Reusable Educational 'Bricks' for Teaching Computer Science Ethics. Curley, A., Gordon, D., Stavrakakis, I., Becevel, A.,Gibson, J.P., and O'Sullivan, D. Presented at the 13th Annual International Conference on Education and New Learning Technologies (EduLearn 2021), Palma de Mallorca, Majorca, 5th - 6th of July, 2021. Published by IATED in EDULEARN21 Proceedings, IATED Digital Library, ISBN: 978-84-09-31267-2, ISSN 2340-1117, pages 1991-1992.

Developing an Educational Brick for Digital Ethics - A Case Study-Driven Approach, Gibson, J.P., Jacob, Y., Gordon, D., and O'Sullivan, D. Presented at EthiComp 2021 , Logroño, La Rioja, Spain, June 30 - July 2, 2021. Published in book Moving technology ethics at the forefront of society, organisations and governments, ISBN 9788409286713, pages=29--37, editors - Mario Arias-Oliva, Jorge Pelegrín Borondo,Kiyoshi Murata, and Eva Reinares Lara.

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 Students, Gordon, D., Gibson, J.P., Tierney, B., O'Sullivan, D., Stavrakakis, I., Curley, A. Presented at EthiComp 2021 , Logroño, La Rioja, Spain, June 30 - July 2, 2021. Published in book Moving technology ethics at the forefront of society, organisations and governments, ISBN 9788409286713, pages=65-75, editors - Mario Arias-Oliva, Jorge Pelegrín Borondo,Kiyoshi Murata, and Eva Reinares Lara.

2020

Modelling an e-voting domain for the formal development of a Software Product Line: when the implicit should be made explicit, J. Paul Gibson, Jean-Luc Raffy Presented at NII Shonan Meeting, Shonan, 2016. Published in Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems, (Springer Communications of Shonan Meetings). Editors: Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, pages 3-18, 2020.

Global Labs - a literature review and recommendations for best practices in the domain of software systems, J. Paul Gibson, EU Knowledge Alliance Deliverable HUBLINKED-D5.1.

2018

Cyber-Physical Systems Engineering: An Introduction, J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, and Jim Woodcock. Presented at ISOLA 2018, Limassol, Cyprus, November 2018. Published in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, Springer Lecture Notes in Computer Science (LNCS 11246), pages 407--410. Editors: Tiziana Margaria, Bernhard Steffen, ISBN:978-3-030-03424-5.

Formalising the Requirements of an E-Voting Software Product Line using Event-B, Abderrahim Ait Wakrime, J. Paul Gibson and Jean-Luc Raffy. Presented at: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2018), June 2018, Paris, France. IEEE proceedings, ISBN 978-1-5386-6916-7, pages 78-84.

Explicit modelling of physical measures: From Event-B to Java, J. Paul Gibson and Dominique Mery. Presented at: First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development. Co-located with ICFEM 2017 (19th International Conference on Formal Engineering Methods), Xi'An, China, 16th November 2017. Published in: Proceedings of the Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) (IMPEX 2017 and FM&MDD 2017), Electronic Proceedings in Theoretical Computer Science (EPTCS) 271, ISSN: 2075-2180, 12th May 2018, pp. 64-79. Edited by - Régine Laleau, Dominique Méry, Shin Nakajima and Elena Troubitsyna.

On the importance of explicit domain modelling in refinement-based modelling design. Experiments with Event-B, Y. Ait-Ameur, I. Ait-Sadoune, P. Casteran, J. Paul Gibson, K. Hacid, S. Kherroubi, D. Mery, L. Mohand-Oussaid, N. K. Singh, and L. Voisin. Accepted for presentation at: 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, (ABZ 2018). Published in Proceedings of ABZ2018, Springer LNCS 10817, May 2018. Edited by Michael J. Butler, Alexander Raschke, Thai Son Hoang and Klaus Reichl.

2017

Applying a Dependency Mechanism in the formal development of Voting Protocol Models Using Event-B, J. Paul Gibson, Souad Kherroubi and Dominique Mery. Presented at: 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2017. Published in: Formal Techniques for Distributed Objects, Components, and Systems, pages 124-138, editors Ahmed Bouajjani and Alexandra Silva, LNCS 10321, Springer, 2017.

ecoSense: Minimize Participants' Total 3G Data Cost in Mobile Crowdsensing Using Opportunistic Relays, Leye Wang, Daqing Zhang, Haoyi Xiong, J. Paul Gibson, Chao Chen and Bing Xie. Published in IEEE Transactions on Systems, Man, and Cybernetics, volume 47, number 6, pages 965-978, 2017.

2016

When Students Choose to Use Event-B in their Software Engineering Projects, J. Paul Gibson, presented at Event-B Day 2016, National Institute of Informatics Tokyo, Japan, November 21, 2016. Published in Newcastle University Computing Science Technical Report Series CS-TR-1504.

Semantic heterogeneity in the formal development of complex systems: an introduction, J. Paul Gibson, Idir Aït-Sadoune, and Marc Pantel Presented at ISOLA 2016. Published in Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Springer Lecture Notes in Computer Science Volume 9952 (LNCS 9952), pages 321-324. Editors: Tiziana Margaria, Bernhard Steffen, ISBN: 978-3-319-47165-5.

A Review of E-voting: the past, present and future, J. Paul Gibson, Robert Krimmer, Vanessa Teague and Julia Polmares. Published in Springer Annals of Telecommunications, volume=71, number=7, pages=279-286, July 2016.

The role of telecommunications in electronic voting (Special Issue), editors: J. Paul Gibson, Robert Krimmer, Vanessa Teague and Julia Polmares. Published in Springer Annals of Telecommunications, Volume 71, Issue 7-8, July-August 2016.

2015

Designing a virtual laboratory for a relational database MOOC, Olivier Berger, J. Paul Gibson, Claire Lecocq and Christian Bac. Published in proceedings of the 7th Int. Conference on Computer Supported Education (CSEDU 2015), Volume 1, pages 260 - 268, ISBN = 978-989-758-107-6, SCITEPRESS, 2015.

EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants, Haoyi Xiong, Daqing Zhang, Leye Wang, J. Paul Gibson and Jie Zhu. ACM Transactions on Intelligent Systems and Technology (Special Section on Participatory Sensing and Crowd Intelligence), volume 6, number 3, pages 39:1 - 39:26, 2015.

2014

The Ideal Voting Interface: Classifying Usability, Damien MacNamara, J. Paul Gibson and Ken Oakley. Volume 6, Issue 2, December 2014, pages 182-196, JeDEM - eJournal of eDemocracy and Open Government, ISSN 2075-9517

Just Like Paper: A Baseline for Classifying E-Voting Usability, Damien MacNamara, J. Paul Gibson and Ken Oakley. In proceedings of CeDEM 2014 (International Conference for E-Democracy and Open Government 2014), Danube University Krems, Austria, May 2014, pages 113-127, editors Peter Parycel and Noella Edelmann, ISBN 978-3-902505-35-4.

On Implicit and Explicit Semantics: Integration issues in proof-based development of systems, Yamine Ait-Ameur, J. Paul Gibson and Dominique Méry. Presented at ISOLA 2014. Published in Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Springer Lecture Notes in Computer Science Volume 8803 ( LNCS 8803 ). Editors: Tiziana Margaria, Bernhard Steffen, ISBN: 978-3-662-45230-1.

Semantic heterogeneity in the formal development of complex systems: an introduction, J. Paul Gibson and Idir Ait Sadoune. Presented at ISOLA 2014. Published in Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Springer Lecture Notes in Computer Science Volume 8803 ( LNCS 8803 ). Editors: Tiziana Margaria, Bernhard Steffen, ISBN: 978-3-662-45230-1.

2013

Just Like Paper: A classification system for eVoting Machines, Damien MacNamara, J. Paul Gibson and Ken Oakley. In proceedings of CeDEM 2013 (International Conference for E-Democracy and Open Government 2013), Danube University Krems, Austria, May 2013, pages 365-370, editors Peter Parycel and Noella Edelmann, ISBN 978-3-902505-30-9.

2012

Introduction to UML and Formal Methods, ACM SIGSOFT Softw. Eng. Notes, July 2012, volume 37, number 4, pages 32-33 J. Paul Gibson and Isabelle Perseil.

Teaching Graph Algorithms To Children Of All Ages, J. Paul Gibson. Presented at the Seventeenth Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2012), Haifa, Israel, 3-5 July, pages 34 - 39, ISBN = 978-1-4503-1246-2

A Preliminary Study On A DualVote and Prêt à  Voter Hybrid System, Damien MacNamara, J. Paul Gibson and Ken Oakley. Published in proceedings of CeDEM 2012 (International Conference for E-Democracy and Open Government 2012), Danube University Krems, Austria, 3-4 May 2012, pages 77-89, editors Peter Parycek and Noella Edelmann, ISBN =978-3-90250520-1.

2011

Génie Logiciel Formel: Théorie, Pratique et Pédagogie (Apprentissage à  partir de l'expérience du vote électronique), J. Paul Gibson, Habilitation à  Diriger des Recherches, Université Henri Poincaré, Nancy I, France, October 2011.

A "Future-Proof" Postgraduate Software Engineering Programme: Maintainability Issues, J. Paul Gibson and Jean-Luc Raffy. Published in proceedings of ICSEA 2011 (The Sixth International Conference on Software Engineering Advances), October 23-29, 2011 - Barcelona, Spain, pages =471--476, ISBN = 978-1-61208-165-6, URL: http://www.thinkmind.org/index.php?view=instance&instance=ICSEA+2011.

Just Like Paper and the 3-colour protocol: a voting interface requirements engineering case study, J. Paul Gibson, Damien MacNamara, Ken Oakley. Presentation at RE-Vote 2011. Published by the IEEE, in the Proceedings of 2011 International Workshop on Requirements Engineering for Electronic Voting (RE-Vote 2011), pages = 66--75, isbn = 978-1-4577-0951-7.

Formal Object Oriented Development of a Voting System Test Oracle, J. Paul Gibson, Eric Lallet, Jean-Luc Raffy. Presented at: UML-FM11. Updated version published in a special issue of ISSE NASA journal (Innovations in Systems and Software Engineering), volume 7, number 4, september 2011, pages = 237--245, ISSN 1614-5054.

Introduction to special issue: papers from UML&FM'2011, Isabelle Perseil and J. Paul Gibson. Guest editors of proceedings: special issue of ISSE NASA journal (Innovations in Systems and Software Engineering), volume 7, number 4, september 2011, pages = 225-226, ISSN 1614-5054.

DualVote: Addressing Usability and Verifiability Issues in Electronic Voting Systems, Damien MacNamara, Ted Scully, J. Paul Gibson, Francis Carmody, Ken Oakley and Elizabeth Quane. Published (Edition Donau-Universität Krems) in the proceedings of the 2011 Conference for E-Democracy and Open Government (CeDEM11), Danube University Krems, Austria, May 2011, pages 313-322, editors Peter Parycek and Manuel Kripp and Noella Edelmann, ISBN =978-3-90250520-1.

2010

(m)Oodles of Data Mining Moodle to understand Student Behaviour, Kevin Casey and J. Paul Gibson. Presented at the 3rd Irish Conference on Engaging Pedagogy (ICEP 2010), NUI Maynooth, December 2010. Published in proceedings , ISBN: 978-1-906878-02-3.

Dual Vote: A Novel User Interface For E-voting Systems, Damien MacNamara, Francis Carmody, Ted Scully, Ken Oakley, Elizabeth Quane and J. Paul Gibson. Published in IHCI10 conference proceedings (IADIS International Conference Interfaces and Human Computer Interaction 2010),Freiburg, Germany, 28 - 30 July 2010. ISBN = 978-972-8939-18-2, pages 129-138.

Engineering a distributed e-voting system architecture: meeting critical requirements, J. Paul Gibson, Eric Lallet, Jean-Luc Raffy. Accepted at: the 1st International Symposium on Architecting Critical Systems (ISARCS10). Published in: Architecting Critical Systems (Springer LNCS 6150), editor Holger Giese, ISBN 978-3-642-13555-2, pages 89-108.

2009

Proceedings of the First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE09), Atlanta, GA, USA, August 2009. Published in IEEE Explore, ISBN 978-1-4244-7698-5, edited by J. Paul Gibson and Doug Jones.

Challenging The Lecturer: Learning From The Teacher's Mistakes, J. Paul Gibson. Presented at the second Irish Conference on Engaging Pedagogy (ICEP 09), UCD Dublin, 3rd September 2009. In proceedings, published by Griffith College Dublin, November 2009, ISBN 978-1906878016, edited by O'Riordan, Toolan, Hernandez, Smyth, Becker, Casey, Lillis, McGing, Mulhall and O'Sullivan.

Software Reuse and Plagiarism: A code of practice, J. Paul Gibson. Presented at the Fourteenth Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2009), Paris, July 3-8, 2009, pages 55 - 59, ISBN = 978-1-60558-729-5 Also published in ACM Inroads SIGCSE Bulletin, Volume 41(3) (2009), ISSN:0097-8418,

Feature Interactions in a Software Product Line for E-voting, J. Paul Gibson, Eric Lallet, Jean-Luc Raffy. Presented at ICFI 2009: the 10th International Conference on Feature Interactions, Lisbon, Portugal, 11-12 June, 2009. Published in Feature Interactions in Software and Communication Systems X, Nakamura and Reiff-Marganiec (editors), pages 91 - 106, IOS Press, ISBN 9781607500148.

Sculpturing Event-B Models with RODIN: "Holes and Lumps" in Teaching Refinement through Problem-Based Learning, J. Paul Gibson, Eric Lallet, Jean-Luc Raffy. Presented at the Conference: From Research to Teaching Formal Methods - The B Method (TFM B'2009), 8 June 2009, Journée Scientifique, Université de Nantes. Published by APCB in proceedings TFM-B'2009, Attiogbe and Mery (editors), pages 7-21, ISBN 2951246102.

2008

Analysis of a distributed e-voting system architecture against quality of service requirements, J. Paul Gibson, Eric Lallet and Jean-Luc Raffy. Presented at ICSEA 08 (The Third International Conference on Software Engineering Advances). October 26-31, 2008 - Sliema, Malta. Proceedings published by IEEE Computer Society, editors: Mannaert, Ohta, Dini and Pellerin, pages 58-64, ISBN = 9780769533728.

Weaving a Formal Methods Education With Problem-Based Learning, J. Paul Gibson. ISolA 2008(3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation). 13-15 October 2008, Porto Sani, Greece. Published in T. Margaria and B. Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation, Communications in Computer and Information Science (CCIS) 17, pages 460-472, Springer-Verlag, Berlin Heidelberg, ISBN 978-3-540-88478-1.

Verification and Maintenance of e-voting systems and standards, J. Paul Gibson and Margaret McGaley. Presented at: ECEG 2008, the 8th European Conference on e-Government Ecole Polytechnique, Lausanne, Switzerland, 10-11 July 2008. In proceedings, pages 283-290, editor Dan Remenyi, published by Academic Publishing International, ISBN 978-1-906638-09-2 (and 978-1-906638-09-2 CD).

How Do I Know If My Design Is Correct?, J. Paul Gibson, Eric Lallet and Jean-Luc Raffy. In FORMED 2008 conference proceedings, pages 61-70, editor Zoltan Istenes, ETAPS 2008, satellite event. Budapest, Hungary, March 29, 2008.

Formal methods - never too young to start, J. Paul Gibson. In FORMED 2008 conference proceedings, pages 151-160, editor Zoltan Istenes, ETAPS 2008, satellite event. Budapest, Hungary, March 29, 2008.

Lower bounds on the computational power of an optical model of computation, Damien Woods and J. Paul Gibson. Published in Journal of Natural Computing, Volume 7, Number 1 (March 2008) pages 95 -- 108, Springer, ISSN 1567-7818 (Print) 1572-9796 (Online), Published online: 31 July 2007.

2007

Formal verification of tamper-evident storage for e-voting, Dominique Cansell, J. Paul Gibson, and Dominique Méry, in Proceedings of 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM07), London, 10-14 September 2007. Published by IEEE Computer Science Press, pages 329-338, ISBN = 0-7695-2884-8, editors Mike Hinchey and Tiziana Margaria.

Refinement: a constructive approach to formal software design for a secure e-voting interface, Dominique Cansell, J. Paul Gibson, and Dominique Méry. Electronic Notes in Theoretical Computer Science, 183 (2007), pages 39-55, Elsevier, ISSN 1571-0661.

E-Voting and the Need for Rigorous Software Engineering - The Past, Present and Future, J. Paul Gibson, Invited Talk: In proceedings of the 7th International B Conference (B 2007),Besancon, France, 17 - 19 January 2007. Published in: Springer Verlag Lecture Notes in Computer Science volume (4355), editors: Jacques Julliand and Olga Kouchnarenko; ISBN 3-540-68760-2, pages 1-1.

2006

Refinement: a constructive approach to formal software design for a secure e-voting interface, Dominique Cansell, J. Paul Gibson, and Dominique Méry. Published in proceedings of the 1st International Workshop on Formal Methods for Interactive Systems (FMIS 2006), as part of ICFEM06 , Macau SAR China, 31st October 2006. Edited by A. Cerone and P. Curzon

A Critical Analysis of the Council of Europe Recommendations on E-voting Standards, Margaret McGaley and J. Paul Gibson, published in the proceedings of the 2006 USENIX/ACCURATE Electronic Voting Technology Workshop (EVT'06), Vancouver, Canada, July 31st - August 4th 2006.

RoboCode and Problem-based Learning: A non-prescriptive approach to teaching programming, Jackie O'Kelly, and J. Paul Gibson, Presented at the Eleventh Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'06), University of Bologna, Italy, 26-28 June 2006, Published in proceedings, pages 217-221, ISBN =1-59593-055-8, ACM Press. Also published in ACM Inroads SIGCSE Bulletin, Volume 38(3) (2006),ISSN:0097-8418.

Automated Assessment in CS1, Des Traynor, Susan Bergin and J. Paul Gibson, presented at the Australasian Computing Education Conference as part of the Australasian Computer Science Week (ACSW2006), January 16th - 19th, 2006, Hobart, Tasmania. Published by: ACS, CRPIT series, Volume = 52, Pages = 223 - 228. Editors: Denise Tolhurst and Samuel Mann. ISBN = 1920682341, ISSN = 1445-1336.

2005

E-Voting Requirements Modelling: An Algebraic Specification Approach (With CafeOBJ), J. Paul Gibson, Technical Report: NUI Maynooth, Computing Science Department, NUIM-CS-TR2005-14, 2005.

Enhancing Skills Transfer through Problem-based Learning, Jackie O'Kelly, Rosemary Monahan, J. Paul Gibson and Stephen Brown, Technical Report: NUI Maynooth, Computing Science Department, NUIM-CS-TR2005-13, 2005.

Software engineering as a model of understanding for learning and problem solving, Jackie O'Kelly and J. Paul Gibson, presented at the first International Computing Education Research Workshop (ICER 2005), October 1-2, 2005, Seattle, USA. In proceedings, pages 87 - 97, ISBN 1-59593-043-4.

Lower bounds on the computational power of an optical model of computation, Damien Woods and J. Paul Gibson, presented at the Fourth International Conference on Unconventional Computation (UC'05), Sevilla, Spain, 3-7 October, 2005. Published in: Springer Verlag Lecture Notes in Computer Science volume (3699), editors: Calude, C.S.; Dinneen, M.J.; Paun, G.; Pérez-JiMénez, M.d.J.; Rozenberg, G.; ISBN 3-540-29100-8, pages 237 - 251.

Preliminary Study to Empirically Investigate the Comprehensibility of Requirements Specifications, Deirdre Carew, Dr. Chris Exton, Dr. Jim Buckley, Margaret McGaley, and J. Paul Gibson, in proceedings of the Psychology of Programming Interest Group 17th annual workshop (PPIG 2005), University of Sussex, Brighton, UK, 28 June - 1 July, 2005, editors: P. Romero, J. Good, E. Acosta Chaparro and S. Bryant, pages 182 - 202.

Complexity of continuous space machine operations, Damien Woods and J. Paul Gibson, presented at the First Conference on Computability in Europe: New Computational Paradigms. (CiE2005), Amsterdam, The Netherlands, June 8-12, 2005. Published in: Springer Verlag Lecture Notes in Computer Science volume (3526), editors: S.Barry Cooper, Benedikt Löwe, Leen Torenvliet, ISBN 3540261796, pages 540 - 551.

PBL: year One Analysis - Interpretation and Validation, O'Kelly, Jackie and Gibson, J.Paul, Presented at the 3rd International Conference on Problem Based Learning (PBL 2005), 9-11 June 2005, Lahti, Finland.

A Graduate's Role In Techology Transfer: From Requirements to Design with UML, Stephen Hallinan and J. Paul Gibson, Presented at the IASTED International Conference on SOFTWARE ENGINEERING 2005 (SE 2005), February 15-17, 2005, Innsbruck, Austria. Proceedings published by IASTED (ACTA PRESS), pages 94-99, editor Peter Kokol, ISBN 0-88986-464-0, ISSN: 1027-2666.

Synthesis and Analysis of Automatic Assessment Methods in CS1: Generating intelligent MCQs, Traynor, D., and J. Paul Gibson, Presented at the Special Interest Group on Computer Science Education (SIGCSE05) Technical Symposium, St. Louis, Missouri, USA, 23 - 27 February, 2005. In ACM International Conference Proceedings Series, pages 495 - 499, editors: Wanda Dann, Thomas L. Naps, Paul T. Tymann, and Doug Baldwin. ISBN:1-58113-997-7. (Paper Acceptance Rate: 104.00 of 330.00 submissions, 32%). Also published in ACM Inroads SIGCSE Bulletin, Volume 37(1) (2005), ISSN:0097-8418,

2004

Implementing Cognitive Modelling in CS Education: Aligning theory and practice of learning to Program, Traynor, D., and J. Paul Gibson, presented at Cognition and Exploratory Learning in Digital Age (CELDA 2004), Lisbon, Portugal, 15 - 17 December, 2004. Proceedings published by IADIS, 2004, Editors: Kinshuk, Demetrios Sampson and Pedro Isaías, pages 535 - 536, ISBN: 972-98947-7-9.

3rd International Conference on Principles and Practice of Programming in Java (PPPJ2004), Las Vegas, Nevada, June 16-18, 2004. Editors: J. Paul Gibson, James Power and John Waldron, Published In the ACM International Conference Proceeedings Series volume 91, 2004, ISBN: 1-59593-171-6

Towards the development of a cognitive model of programming: a software engineering proposal, Des Traynor and J. Paul Gibson, in proceedings of the Psychology of Programming Interest Group 16th annual workshop (PPIG 2004), pages 79-85, editors Dunican and Green, 5 - 7 April, 2004, Institute of Technology, Carlow, Ireland.

2003

Software Reuse In Final Year Projects: A Code of Practice, J. Paul Gibson, Technical Report: NUI Maynooth, Computing Science Department, NUIM-CS-TR2003-12, 2003.

E-voting: a safety critical system, Margaret McGaley and J. Paul Gibson, Technical Report: NUI Maynooth, Computing Science Department, NUIM-CS-TR2003-02, 2003.

A Continuous-space model of computation, D. Woods, T. J. Naughton, and J. Paul Gibson, Invited presentation of abstract to the American Mathematical Society (Spring Western Section Meeting #987), Special Session: Beyond Classical Boundaries of Computability, M. Burgin and P. Wegner, Eds., page 484, San Francisco, CA, 3 - 4 May, 2003. Published in Abstracts of Papers Presented to the AMS, vol. 24, no. 3.

A noughts and crosses Java applet to teach programming to primary school children, J. Paul Gibson, Presented at the 2nd International Conference on the Principles and Practice of Programming in Java (PPPJ03), Kilkenny City, Ireland, June 16-18, 2003. Published in ACM Int. Conference Proceedings Series, volume 42, pages 85 - 88, ISBN 0954414519, editors James Power and John Waldron.

Applying the Decorator Pattern for Profiling Object-Oriented Software, Edward Duffy, J. Paul Gibson and Brian Malloy. Presented at the 11th IEEE International Workshop on Program Comprehension (IWPC03) May 10 - 11, 2003, Portland, Oregon, USA. Published by the IEEE Computer Society Press, ISBN 0769518834, pages 84 - 93, editors: Hausi A. Müller, Rainer Koschke, Kenny Wong.

Using a Taxonomy Tool to Identify Changes in OO Software, Peter Clarke, Brian Malloy and J. Paul Gibson, Presented at the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), Benevento, Italy, March 26 - 28, 2003. Published by the IEEE Computer Society Press, ISBN 0769519024, pages: 213 - 223, editors: Gerardo Canfora, Mark van den Br Brand and Tibor Gyimothy.

2002

ACM SAC 2002 software engineering: theory and applications (SETA), track edited by: David C. Rine, James Power and J. Paul Gibson, published in the proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10 - 14, 2002, Madrid, Spain, pages 969 - 970, ISBN 1-58113-445-2.

2001

Formal requirements models: simulation, validation and verification, J. Paul Gibson, Technical Report: NUI Maynooth, Computing Science Department, NUIM-CS-TR-2001-02, 2001.

Analog recurrent neural network simulation, O(log n) unordered search, and bitonic sort with an optically-inspired model of computation, Damien Woods, Thomas J. Naughton and J. Paul Gibson, Technical Report: NUI Maynooth, Computing Science Department, NUIM-CS-TR-2001-06, 2001.

On the relationship between computational models and scientific theories, Damien Woods, and J. Paul Gibson, Technical Report: NUI Maynooth, Computing Science Department, NUIM-CS-TR-2001-05, 2001.

2000

Formal Requirements Engineering: Learning from the students, J. Paul Gibson, presented at the 12th Australian Software Engineering Conference 2000, 28-30 April 2000,Canberra, Australia, 2000. Proceedings published by IEEE Computer Society Press, pages 171 - 181, ISBN 0769506313, edited by Doug Grant, 2000.

Specifying and Verifying IP with Linear Logic, D Sinclair, J Power, J. Paul Gibson, D Gray and G Hamilton, presented at the International Workshop on Distributed System Validation and Verification (DSVV00), Taipei, Taiwan, April 10, 2000. Published in the proceedings of the 2000 ICDCS Workshops, pages E104 -E110, editor Ten-Hwang Lai.

A taxonomy for triggered interactions using fair object semantics, J. Paul Gibson, Geoff Hamilton and Dominique Méry Presented at the 6th International Workshop on Feature Interactions In Telecommunications, May 17 - 19, 2000, Glasgow, Scotland, UK. Proceedings published by IOS Press, pages 193 - 210, ISBN 1586030655, editors: Calder and Magill, 2000.

Composing Fair Objects, Geoff Hamilton, J. Paul Gibson and Dominique Méry. In Proceedings of the International Conference on Software Engineering Applied to Networks & Parallel/Distributed Computing (SNPD '00), 18 - 21 May, 2000, Reims, France, pages 225 - 233, editors: Fouchal and Lee.

The Application of Correctness Preserving Transformations to Software Maintenance, J. Paul Gibson, Tom Dowling and Brian Malloy. Presented at the 16th IEEE International Conference on Software Maintenance 2000 (ICSM2000), October 11 -14, 2000, San Jose, California, USA. Published by the IEEE Computer Society Press, pages 108 - 119, ISBN 0769507530.

4th Irish Workshop on Formal Methods, NUI Maynooth, Thursday 6th July, 2000. Editors: David Sinclair and J. Paul Gibson, Published In: BCS electronic workshops in computing (eWiC) ISSN: 1477-9358.

1999

Formal Modelling of services for better understanding of the feature interaction problem: a multi-view approach, J. Paul Gibson and Dominique Méry, presented at the Third International Andrei Ershov Memorial Conference, Perspectives of System Informatics (PSI'99), Akademgorodok, Novosibirsk, Russia, July 6-9, 1999. Published in: Springer Verlag Lecture Notes in Computer Science volume (1755), ISBN 3540671021, Editors: Dines Bjorner, Manfred Broy, Alexandre V. Zamulin, pages 155 - 180.

Formal object oriented requirements: simulation, validation and verification, J. Paul Gibson, Presented at the European Simulation Multi-conference (ESM99): Modelling and Simulation: A tool for the next millenium, vol II, Warsaw, Poland, June 1 -4, 1999. Published by the Society for Computer Simulation International SCS, ISBN 1565551729, editor: Helena Szczerbicka, pages 103 - 111.

Animating formal specifications - a telephone simulation case study, J. Paul Gibson, Dominique Méry and Yassine Mokhtari. Presented at the European Simulation Multi-conference (ESM99): Modelling and Simulation: A tool for the next millenium, vol II, Warsaw, Poland, June 1 -4, 1999. Published by the Society for Computer Simulation International SCS, ISBN 1565551729, editor: Helena Szczerbicka, pages 139 - 146.

Integration problems in telephone feature requirements, J. Paul Gibson, Geoff Hamilton, and Dominique Méry, Presented at the 1st International Workshop on Integrated Formal Methods (IFM99), York, UK, 28-29 June 1999. Published by Springer-Verlag UK, ISBN 1852331070, editors: Araki, Galloway and Taguchi, pages 129 - 148.

Fair Objects, J. Paul Gibson and Dominique Méry, Presented at Object Technology 1998: colloquium on Object technology and systems re-engineering. Published by Horwood Publishing, ISBN 189856356X, editors: Zedan and Cau, pages 122 - 140, 1999.

Four logics and a protocol, D Gray, G Hamilton, D Sinclair, J. Paul Gibson , and J Power, Presented at the 3rd Irish Workshop on Formal Methods (IWFM99), Galway, 1 - 2 July 1999. Published in the BCS electronic workshops in computing (eWiC), ISSN 1477-9358, editors: Butterfield and Haegele.

1998

Towards a Feature Interaction Algebra, J. Paul Gibson, Presented at the 5th International Workshop on Feature Interactions In Telecommunications, September 29 - October 1, 1998, Lund, Sweden. Proceedings published by IOS Press, pages 217 - 231, ISBN 9051994311, editors: Kimbler and Bouma.

Teaching Formal Methods: Lessons to Learn, Gibson, J.Paul and Dominique Méry, Presented at the 2nd Irish Workshop on Formal Methods (IWFM98), Cork, 2 - 3 July, 1998. Published by the BCS electronic workshops in computing (eWiC), ISSN 1477-9358, editors: Butterfield and Flynn.

Always and Eventually in Object Requirements, J. Paul Gibson, and Dominique Méry, Published in the proceedings of the Second Workshop on Rigorous Object Oriented Methods (ROOM 2), Bradford, West Yorkshire, UK, 29 May, 1998.

POTS: An OO LOTOS Specification, J. Paul Gibson and Y. Mokhtari, Technical Report: Centre de Recherche en Informatique de Nancy Rapport CRIN-98-R-013, 1998.

An OO Requirements Capture and Analysis Environment, J. Paul Gibson, Technical Report: Centre de Recherche en Informatique de Nancy Rapport CRIN-98-R-010, 1998.

Spécification de services dans une logique temporelle compositionnelle, J. Paul Gibson, D. Cansell, B. Mermet and D. Méry, Technical Report: Rapport de fin du lot1 du marché no961B 1B CNET-CNRS-CRIN, Centre de Recherche en Informatique de Nancy, Year 1998.

1997

Telephone Feature Verification: Translating SDL to TLA+, J. Paul Gibson and Dominique Méry, Presented at Proceedings of the 8th SDL Forum, Evry, France, 23-26 September, 1997 Published in SDL97 TIME FOR TESTING - SDL, MSC and Trends, pages 103 - 119, ISBN: 0444828168, editors: Cavalli and Sarma.

Feature Requirements Models: Understanding Interactions, J. Paul Gibson, Presented at the IEEE Fourth International Workshop on Feature Interactions in Networks and Distributed Systems (FIW'97), Montreal, Qc, Canada, June 1997. Published in Feature Interactions In Telecommunication Networks IV, IOS Press, pages 46 - 60, ISBN: 9051993471, editors: Dini et al.

Feature Interactions: A Mixed Semantic Model Approach, J. Paul Gibson, B. Mermet and D. Méry, Presented at the 1st Irish Workshop on Formal Methods (IWFM97), Dublin, Ireland, 3 - 4 July, 1997. Published by the BCS electronic workshops in computing (eWiC), ISSN 1477-9358, editors: O'Regan and McGloughlin.

1996

A Unifying Model for Specification and Design, J. Paul Gibson and Dominique Méry, Presented at the ECOOP96 Workshop on Proof Theory of Concurrent Object-Oriented programming (PTCOOP96), Linz, Austria, 1996. Proceedings edited by D. Galmiche, J.P. Bashoun, J. Fiadeiro and A. Yonezawa.

1995

Refining and Developing Concurrent Systems from Formal Specifications, Dominique Méry, J. Paul Gibson, and Denis Roegel, In Review: ERCIM News (23) , CRIN-95-R-378, 1995.

1993

Formal Object Oriented Development of Software Systems Using LOTOS, J. Paul Gibson, PhD Thesis: University of Stirling, Report CSM-114, 1993.

Formal Object Based Design in LOTOS, J. Paul Gibson, Technical Report: TR-113, University of Stirling, CS Department, 1993.

A LOTOS-Based Approach to Neural Network Specification, J. Paul Gibson, Technical Report: TR-112, University of Stirling, CS Department, 1993.

1989

Applying Formal Object Oriented Design Principles to Smalltalk-80, J. Paul Gibson and Jim Lynch, published in the British Telecom Technology Journal, Volume 3, July 1989, pages 12 - 24.

Submitted, Pending Peer Review

In Preparation/ Under Revision