@inproceedings{Gibson12,
  author = {Gibson, J. Paul},
  title = {Teaching Graph Algorithms To Children Of All Ages},
  booktitle = {17th Annual Conference on Innovation and Technology in Computer Science Education},
  year = {2012},
  note = {To appear}
}

@inproceedings{MacNamaraGibsonOakley12,
  author = {MacNamara, Damien and Gibson, J. Paul and Oakley, Ken},
  title = {A Preliminary Study On A DualVote and Prêt à Voter Hybrid System},
  booktitle = {International Conference for E-Democracy and Open Government 2012},
  publisher = {Edition Donau-Universität Krems},
  year = {2012},
  pages = {77-89}
}

@phdthesis{Gibson11II,
  author = {Gibson, J. Paul},
  title = { Génie Logiciel Formel: Théorie, Pratique et Pédagogie (Apprentissage à partir de l'expérience du vote électronique)},
  school = {Université Henri Poincaré, Nancy I, France},
  year = {2011},
  note = {Habilitation à Diriger des Recherches}
}

@article{GibsonLalletRaffy11II,
  author = {Gibson, J. Paul and Eric Lallet and Jean-Luc Raffy},
  title = {Formal Object Oriented Development of a Voting System Test Oracle},
  journal = {Innovations in Systems and Software Engineering (Special issue UML&FM2011) },
  publisher = {ISSE NASA},
  year = {2011},
  volume = {7},
  number = {4},
  pages = {237--245},
  doi = {http://dx.doi.org/10.1007/s11334-011-0167-y}
}

@inproceedings{GibsonMacNamaraOakley11,
  author = {Gibson, J. Paul and Damien MacNamara and Ken Oakley},
  title = {Just Like Paper and the 3-colour protocol: a voting interface requirements engineering case study},
  booktitle = {Proceedings of 2011 International Workshop on Requirements Engineering for Electronic RE-Vote 2011},
  publisher = {IEEE},
  year = {2011},
  pages = {66--75},
  doi = {http://dx.doi.org/10.1109/REVOTE.2011.6045917}
}

@inproceedings{GibsonRaffy11,
  author = {Gibson, J. Paul and Jean-Luc Raffy},
  title = {A Future-Proof Postgraduate Software Engineering Programme: Maintainability Issues},
  booktitle = {The Sixth International Conference on Software Engineering Advances(ICSEA 11)},
  year = {2011},
  pages = {471--476},
  url = {http://www.thinkmind.org/index.php?view=instance&instance=ICSEA+2011}
}

@article{MacNamaraSCOQG11,
  author = {Damien MacNamara and Ted Scully and Francis Carmody and Ken Oakley and Elizabeth Quane and Gibson, J. Paul},
  title = {Dual Vote: A non-intrusive eVoting Interface},
  journal = {International Journal of Computer Information Systems and Industrial Management Applications(IJCISIM)},
  year = {2011},
  note = {To appear}
}

@inproceedings{MacNamaraSGCOQ11,
  author = {Damien MacNamara and Ted Scully and Gibson, J. Paul and Francis Carmody and Ken Oakley and Elizabeth Quane },
  title = {DualVote: Addressing Usability and Verifiability Issues in Electronic Voting Systems},
  booktitle = {2011 Conference for E-Democracy and Open Government (CeDEM11)},
  publisher = {Edition Donau-Universität Krems},
  year = {2011},
  pages = {313--322}
}

@proceedings{PerseilGibson11,,
  title = {Fourth IEEE International workshop on UML and Formal Methods (UML&FM2011)},
  booktitle = {Fourth IEEE International workshop UML and Formal Methods (UML&FM2011)},
  publisher = {IEEE},
  year = {2011},
  url = {http://www.artist-embedded.org/artist/Overview,2271.html}
}

@article{PerseilGibson11II,
  author = {Perseil, Isabelle and Gibson, J. Paul},
  title = {Introduction to special issue: papers from UML&FM’2011},
  journal = {Innovations in Systems and Software Engineering},
  publisher = {Springer London},
  year = {2011},
  volume = {7},
  pages = {225-226},
  doi = {http://dx.doi.org/10.1007/s11334-011-0173-0}
}

@inproceedings{CaseyGibson10,
  author = {Casey, Kevin and Gibson, J. Paul},
  title = {(m)Oodles of Data Mining Moodle to understand Student Behaviour},
  booktitle = {ICEP 10 Conference Papers: Engaging Pedagogy},
  publisher = {Griffith College Dublin},
  year = {2010},
  pages = {61-71}
}

@inproceedings{GibsonLalletRaffy10II,
  author = {Gibson, J. Paul and Lallet, Eric and Raffy, Jean-Luc},
  title = {Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements},
  booktitle = {Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings},
  publisher = {Springer},
  year = {2010},
  volume = {6150},
  pages = {89-108},
  doi = {http://dx.doi.org/10.1007/978-3-642-13556-9_6}
}

@inproceedings{MacNamaraCSOQG10,
  author = {Damien MacNamara and Francis Carmody and Ted Scully and Ken Oakley and Elizabeth Quane and Gibson, J. Paul},
  title = {Dual Vote: A Novel User Interface For E-voting Systems},
  booktitle = {IADIS International Conference on Interfaces and Human Computer Interaction 2010},
  publisher = {IADIS},
  year = {2010},
  pages = {129-138}
}

@inproceedings{Gibson09II,
  author = {Gibson, J. Paul},
  title = {Software Reuse and Plagiarism: A code of practice},
  booktitle = {14th ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education(ITiCSE 2009)},
  publisher = {ACM},
  year = {2009},
  pages = {55--59},
  doi = {http://dx.doi.org/10.1145/1562877.1562900}
}

@article{Gibson09III,
  author = {Gibson, J. Paul},
  title = {Software Reuse and Plagiarism: A code of practice},
  journal = {SIGCSE Bull.},
  publisher = {ACM},
  year = {2009},
  volume = {41},
  number = {3},
  pages = {55-59},
  doi = {http://dx.doi.org/10.1145/1595496.1562900}
}

@inproceedings{Gibson09IV,
  author = {Gibson, J. Paul},
  title = {Challenging The Lecturer: Learning From The Teacher's Mistakes },
  booktitle = {ICEP 09 Conference Papers: Engaging Pedagogy},
  publisher = {Griffith College Dublin},
  year = {2009},
  pages = {61-71}
}

@proceedings{GibsonJones09,,
  title = {First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE09)},
  booktitle = {First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE09)},
  publisher = {IEEE},
  year = {2009},
  url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5458386}
}

@inproceedings{GibsonLalletRaffy09II,
  author = {Gibson, J. Paul and Lallet, Eric and Raffy, Jean-Luc},
  title = {Feature Interactions in a Software Product Line for E-voting},
  booktitle = {Feature Interactions in Software and Communication Systems X},
  publisher = {IOS Press},
  year = {2009},
  pages = {91--106},
  doi = {http://dx.doi.org/10.3233/978-1-60750-014-8-91}
}

@inproceedings{GibsonLalletRaffy09III,
  author = {Gibson, J. Paul and Lallet, Eric and Raffy, Jean-Luc},
  title = {Sculpturing Event-B Models with Rodin: ``Holes and Lumps'' in Teaching Refinement through Problem-Based Learning},
  booktitle = {From Research to Teaching Formal Methods - The B Method (TFM B'2009)},
  publisher = {APCB},
  year = {2009},
  pages = {7--21}
}

@inproceedings{Gibson08II,
  author = {Gibson, J. Paul},
  title = { Formal methods --- never too young to start},
  booktitle = {Formal Methods in Computer Science Education (FORMED 2008)},
  year = {2008},
  pages = {151-160},
  note = {Accepted for publication in ENTCS}
}

@inproceedings{Gibson08III,
  author = {Gibson, J. Paul},
  title = {Weaving a Formal Methods Education With Problem-Based Learning},
  booktitle = {3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
  publisher = {Springer-Verlag, Berlin Heidelberg},
  year = {2008},
  volume = {17},
  pages = {460-472},
  doi = {http://dx.doi.org/10.1007/978-3-540-88479-8_32}
}

@inproceedings{GibsonLalletRaffy08I,
  author = {Gibson, J. Paul and Lallet, Eric and Raffy, Jean-Luc},
  title = {How Do I Know If My Design Is Correct?},
  booktitle = {Formal Methods in Computer Science Education (FORMED 2008)},
  year = {2008},
  pages = {61-70},
  note = {Accepted for publication in ENTCS}
}

@inproceedings{GibsonLalletRaffy08III,
  author = {Gibson, J. Paul and Lallet, Eric and Raffy, Jean-Luc},
  title = {Analysis of a distributed e-voting system architecture against quality of service requirements},
  booktitle = {The Third International Conference on Software Engineering Advances (ICSEA 2008)},
  publisher = {IEEE Computer Society},
  year = {2008},
  pages = {58-64},
  doi = {http://dx.doi.org/10.1109/ICSEA.2008.18}
}

@inproceedings{GibsonMcGaley08,
  author = {Gibson, J. Paul and McGaley, Margaret},
  title = {Verification and Maintenance of e-voting systems and standards},
  booktitle = {8th European Conference on e-Government},
  publisher = {Academic Publishing International},
  year = {2008},
  pages = {283-289}
}

@article{WoodsGibson08,
  author = {Woods, Damien and Gibson, J. Paul},
  title = {Lower bounds on the computational power of an optical model of computation},
  journal = {Natural Computing},
  year = {2008},
  volume = {7},
  number = {1},
  pages = {95-108},
  doi = {http://dx.doi.org/10.1007/s11047-007-9039-7}
}

@inproceedings{CansellGibsonMery07I,
  author = {Cansell, Dominique and Gibson, J. Paul and Méry, Dominique},
  title = {Formal verification of tamper-evident storage for e-voting},
  booktitle = {Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)},
  publisher = {IEEE Computer Society},
  year = {2007},
  pages = {329-338},
  doi = {http://dx.doi.org/10.1109/SEFM.2007.21}
}

@article{CansellGibsonMery07II,
  author = {Cansell, Dominique and Gibson, J. Paul and Méry, Dominique},
  title = {Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2007},
  volume = {183},
  pages = {39-55},
  doi = {http://dx.doi.org/10.1016/j.entcs.2007.01.060}
}

@inproceedings{Gibson07,
  author = {Gibson, J. Paul},
  title = {E-Voting and the Need for Rigorous Software Engineering --- The Past, Present and Future},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International Conference of B Users},
  publisher = {Springer},
  year = {2007},
  volume = {4355},
  pages = {1},
  doi = {http://dx.doi.org/10.1007/11955757_1}
}

@inproceedings{CansellGibsonMery06,
  author = {Cansell, Dominique and Gibson, J. Paul and Méry, Dominique},
  title = {Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface},
  booktitle = {Formal Methods for Interactive Systems (FMIS 2006)},
  year = {2006}
}

@inproceedings{McGaleyGibson06,
  author = {McGaley, Margaret and Gibson, J. Paul},
  title = {A critical analysis of the council of Europe recommendations on e-voting},
  booktitle = {EVT'06: Proceedings of the USENIX/Accurate Electronic Voting Technology Workshop 2006 on Electronic Voting Technology Workshop},
  publisher = {USENIX Association},
  year = {2006},
  pages = {9--22}
}

@inproceedings{OKellyGibson06I,
  author = {O'Kelly, Jackie and Gibson, J. Paul},
  title = {RoboCode & problem-based learning: a non-prescriptive approach to teaching programming},
  booktitle = {Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006},
  publisher = {ACM},
  year = {2006},
  pages = {217-221},
  note = {Also published in ACM SIGCSE Bulletin},
  doi = {http://dx.doi.org/10.1145/1140124.1140182}
}

@article{OKellyGibson06II,
  author = {O'Kelly, Jackie and Gibson, J. Paul},
  title = {RoboCode & problem-based learning: a non-prescriptive approach to teaching programming},
  journal = {SIGCSE Bull.},
  publisher = {ACM},
  year = {2006},
  volume = {38},
  number = {3},
  pages = {217--221},
  doi = {http://dx.doi.org/10.1145/1140123.1140182}
}

@inproceedings{TraynorBerginGibson06,
  author = {Traynor, Des and Bergin, Susan and Gibson, J. Paul},
  title = {Automated assessment in CS1},
  booktitle = {ACE '06: Proceedings of the 8th Austalian conference on computing education},
  publisher = {Australian Computer Society, Inc.},
  year = {2006},
  pages = {223--228}
}

@inproceedings{CarewEBMcGG05,
  author = {Deirdre Carew and Chris Exton and Jim Buckley and Margaret McGaley and J.Paul Gibson},
  title = {Preliminary Study to Empirically Investigate the Comprehensibility of Requirements Specifications},
  booktitle = {Psychology of Programming Interest Group 17th annual workshop (PPIG 2005)},
  year = {2005},
  pages = {182-202}
}

@techreport{Gibson05,
  author = {Gibson, J. Paul},
  title = {E-Voting Requirements Modelling: An Algebraic Specification Approach (With CafeOBJ)},
  year = {2005}
}

@inproceedings{HallinanGibson05,
  author = {Hallinan, Stephen and Gibson, J. Paul},
  title = {A Graduate's Role in Technology Transfer: From Requirements to Design with UML},
  booktitle = {IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics},
  publisher = {IASTED/ACTA Press},
  year = {2005},
  pages = {94-99}
}

@inproceedings{OKellyGibson05I,
  author = {O'Kelly, Jackie and Gibson, J. Paul},
  title = {Software engineering as a model of understanding for learning and problem solving},
  booktitle = {ICER '05: Proceedings of the 2005 international workshop on Computing education research},
  publisher = {ACM},
  year = {2005},
  pages = {87--97},
  doi = {http://dx.doi.org/10.1145/1089786.1089795}
}

@inproceedings{OKellyGibson05II,
  author = {O'Kelly, Jackie and Gibson, J. Paul},
  title = {PBL: Year One Analysis --- Interpretation and Validation},
  booktitle = {PBL In Context --- Bridging work and Education},
  year = {2005}
}

@techreport{OKellyMonahanGibsonBrown05,
  author = {O'Kelly, Jackie and Monahan, Rosemary and Gibson, J. Paul and Brown, Stephen},
  title = {Enhancing Skills Transfer through Problem-based Learning},
  year = {2005}
}

@inproceedings{TraynorGibson05I,
  author = {Traynor, Des and Gibson, J. Paul},
  title = {Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs},
  booktitle = {Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education (SIGCSE 2005)},
  publisher = {ACM},
  year = {2005},
  pages = {495-499},
  note = {Also published in ACM SIGCSE Bulletin},
  doi = {http://dx.doi.org/10.1145/1047344.1047502}
}

@article{TraynorGibson05II,
  author = {Traynor, Des and Gibson, J. Paul},
  title = {Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs},
  journal = {SIGCSE Bull.},
  publisher = {ACM},
  year = {2005},
  volume = {37},
  number = {1},
  pages = {495--499},
  doi = {http://dx.doi.org/10.1145/1047124.1047502}
}

@inproceedings{WoodsGibson05I,
  author = {Woods, Damien and Gibson, J. Paul},
  title = {Lower Bounds on the Computational Power of an Optical Model of Computation},
  booktitle = {4th International Conference on Unconventional Computation (UC2005)},
  publisher = {Springer},
  year = {2005},
  volume = {3699},
  pages = {237-250},
  doi = {http://dx.doi.org/10.1007/11560319_22}
}

@inproceedings{WoodsGibson05II,
  author = {Woods, Damien and Gibson, J. Paul},
  title = {Complexity of Continuous Space Machine Operations},
  booktitle = {New Computational Paradigms, First Conference on Computability in Europe CiE2005},
  publisher = {Springer},
  year = {2005},
  volume = {3526},
  pages = {540-551},
  doi = {http://dx.doi.org/10.1007/11494645_66}
}

@proceedings{GibsonPowerWaldron04,,
  title = {PPPJ '04: Proceedings of the 3rd international symposium on Principles and practice of programming in Java},
  publisher = {Trinity College Dublin},
  year = {2004}
}

@inproceedings{TraynorGibson04I,
  author = {Traynor, Des and Gibson, J. Paul},
  title = {Implementing Cognitive Modelling in CS Education: Aligning Theory and Practice of Learning to Program},
  booktitle = {Cognition and Exploratory Learning in Digital Age CELDA 2004},
  publisher = {IADIS},
  year = {2004},
  pages = {533-536}
}

@inproceedings{TraynorGibson04II,
  author = {Traynor, Des and Gibson, J. Paul},
  title = { Towards the development of a cognitive model of programming: a software engineering proposal},
  booktitle = {Psychology of Programming Interest Group 16th annual workshop (PPIG 2004)},
  year = {2004},
  pages = {79--85}
}

@inproceedings{ClarkeMalloyGibson03,
  author = { Clarke, Peter J. and Malloy, Brian A. and Gibson, J. Paul},
  title = {Using a Taxonomy Tool to Identify Changes in OO Software},
  booktitle = {7th European Conference on Software Maintenance and Reengineering CSMR 2003},
  publisher = {IEEE Computer Society},
  year = {2003},
  pages = {213-222},
  doi = {http://dx.doi.org/10.1109/CSMR.2003.1192429}
}

@inproceedings{DuffyGibsonMalloy03,
  author = { Duffy, Edward B. and Gibson, J. Paul and Malloy, Brian A.},
  title = {Applying the Decorator Pattern for Profiling Object-Oriented Software},
  booktitle = {11th International Workshop on Program Comprehension (IWPC 2003)},
  publisher = {IEEE Computer Society},
  year = {2003},
  pages = {84-93},
  doi = {http://dx.doi.org/10.1109/WPC.2003.1199192}
}

@inproceedings{Gibson03,
  author = {Gibson, J. Paul},
  title = {A noughts and crosses Java applet to teach programming to primary school children},
  booktitle = {Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java (PPPJ 2003)},
  publisher = {ACM},
  year = {2003},
  volume = {42},
  pages = {85-88}
}

@techreport{Gibson03I,
  author = {Gibson, J. Paul},
  title = {Software Reuse In Final Year Projects: A Code of Practice},
  year = {2003}
}

@techreport{McGaleyGibson03,
  author = {McGaley, Margaret and Gibson, J. Paul},
  title = { E-voting: a safety critical system},
  year = {2003}
}

@inproceedings{RinePowerGibson02,
  author = {Rine, David C. and Power, James F. and Gibson, J. Paul},
  title = {ACM SAC2002 software engineering: theory and applications (SETA)},
  booktitle = {ACM Symposium on Applied Computing (SAC 2002)},
  publisher = {ACM},
  year = {2002},
  pages = {969-970},
  doi = {http://dx.doi.org/10.1145/508791.508980}
}

@techreport{Gibson01,
  author = { Gibson, J. Paul},
  title = { Formal requirements models: simulation, validation and verification},
  year = {2001}
}

@techreport{WoodsGibson01,
  author = {Gibson, J. Paul},
  title = {On the relationship between computational models and scientific theories},
  year = {2001}
}

@techreport{WoodsNaughtonGibson01,
  author = {Woods, Damien and Naughton, Thomas J. and Gibson, J. Paul},
  title = {Analog recurrent neural network simulation, O(log n) unordered search, and bitonic sort with an optically-inspired model of computation},
  year = {2001}
}

@inproceedings{Gibson00,
  author = {Gibson, J. Paul},
  title = {Formal Requirements Engineering: Learning from the Students},
  booktitle = {12th Australian Software Engineering Conference (ASWEC 2000)},
  publisher = {IEEE Computer Society},
  year = {2000},
  pages = {171-180},
  doi = {http://dx.doi.org/10.1109/ASWEC.2000.844574}
}

@inproceedings{GibsonDowlingMalloy00,
  author = {Gibson, J. Paul and Dowling, Thomas F.  and Malloy, Brian A.},
  title = {The Application of Correctness Preserving Transformations to Software Maintenance},
  booktitle = {ICSM '00: Proceedings of the International Conference on Software Maintenance (ICSM'00)},
  publisher = {IEEE Computer Society},
  year = {2000},
  pages = {108--119},
  doi = {http://dx.doi.org/10.1109/ICSM.2000.883025}
}

@inproceedings{GibsonHamiltonMery00,
  author = {Gibson, J. Paul and Hamilton, Geoff and Méry, Dominique },
  title = {A Taxonomy for Triggered Interactions Using Fair Object Semantics},
  booktitle = {Feature Interactions in Telecommunications and Software Systems VI (FIW 2000)},
  publisher = {IOS Press},
  year = {2000},
  pages = {193-209}
}

@inproceedings{HamiltonGibsonMery00,
  author = {Hamilton, Geoff and Gibson, J. Paul and Méry, Dominique},
  title = {Composing Fair Objects},
  booktitle = {International Conference on Software Engineering Applied to Networking and Parallel/Distributed Computing (SNPD '00)},
  year = {2000},
  pages = {225--233}
}

@proceedings{SinclairGibson00,,
  title = {4th Irish Workshop on Formal Methods (IWFM 2000)},
  booktitle = {Irish Workshop on Formal Methods (IWFM 2000)},
  publisher = {BCS},
  year = {2000}
}

@inproceedings{SinclairPowerGibsonGrayHamilton00,
  author = {Sinclair, David and Power, James F. and Gibson, J. Paul and Gray, David and Hamilton, Geoff },
  title = {Specifying and Verifying IP with Linear Logic},
  booktitle = {ICDCS Workshop on Distributed System Validation and Verification},
  year = {2000},
  pages = {E104-E110}
}

@inproceedings{Gibson99,
  author = {Gibson, J. Paul},
  title = {Formal object oriented requirements: simulation, validation and verification},
  booktitle = {Modelling and Simulation: A tool for the next millenium ESM99},
  publisher = {Society for Computer Simulation International (SCS)},
  year = {1999},
  volume = {II},
  pages = {103--111}
}

@inproceedings{GibsonHamiltonMery99,
  author = {Gibson, J. Paul and Hamilton, Geoff and Méry, Dominique},
  title = {Integration Problems in Telephone Feature Requirements},
  booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods (IFM 99)},
  publisher = {Springer},
  year = {1999},
  pages = {129--148}
}

@inproceedings{GibsonMery99I,
  author = {Gibson, J. Paul and Méry, Dominique},
  title = {Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem},
  booktitle = {PSI '99: Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics},
  publisher = {Springer},
  year = {1999},
  volume = {1755},
  pages = {155-179},
  doi = {http://dx.doi.org/10.1007/3-540-46562-6_14}
}

@inproceedings{GibsonMery99II,
  author = {Gibson, J. Paul and Méry, Dominique},
  title = {Fair objects},
  booktitle = {Object-oriented technology and computing systems re-engineering},
  publisher = {Horwood Publishing, Ltd.},
  year = {1999},
  pages = {122--140}
}

@inproceedings{GibsonMeryMokhtari99,
  author = { Gibson, J. Paul and Méry, Dominique and Mokhtari, Yassine},
  title = {Animating formal specifications - a telephone simulation case study},
  booktitle = {Modelling and Simulation: A tool for the next millenium ESM99},
  publisher = {Society for Computer Simulation International (SCS)},
  year = {1999},
  volume = {II},
  pages = {139--146}
}

@inproceedings{GrayHamiltonSinclairGibsonPower99,
  author = {Gray, David and Hamilton, Geoff and Sinclair, David and Gibson , J. Paul and Power, James F.},
  title = {Four Logics and a Protocol},
  booktitle = {3rd Irish Workshop on Formal Methods (IWFM 1999)},
  publisher = {BCS},
  year = {1999}
}

@inproceedings{Gibson98I,
  author = {Gibson, J. Paul},
  title = {Towards a Feature Interaction Algebra},
  booktitle = {Feature Interactions in Telecommunications and Software Systems V(FIW 1998)},
  publisher = {IOS Press},
  year = {1998},
  pages = {217-231}
}

@techreport{Gibson98II,
  author = {Gibson, J. Paul},
  title = {An OO Requirements Capture and Analysis Environment},
  year = {1998},
  number = {CRIN-98-R-010}
}

@techreport{GibsonCansellMermetMery98,
  author = {Gibson, J. Paul and Cansell, Dominique and Mermet, Bruno and Méry, Dominique},
  title = {Spécification de services dans une logique temporelle compositionnelle: Rapport de fin du lot1 du marché},
  year = {1998},
  number = {no961B 1B CNET-CNRS-CRIN}
}

@inproceedings{GibsonMery98I,
  author = { Gibson, J. Paul and Méry, Dominique },
  title = {Teaching Formal Methods: Lessons to Learn},
  booktitle = {2nd Irish Workshop on Formal Methods (IWFM 1998)},
  publisher = {BCS},
  year = {1998}
}

@inproceedings{GibsonMery98II,
  author = { Gibson, J. Paul and Méry, Dominique },
  title = {Always and Eventually in Object Requirements},
  booktitle = { Second Workshop on Rigorous Object Oriented Methods (ROOM 2)},
  year = {1998}
}

@techreport{GibsonMokhtari98,
  author = {Gibson, J. Paul and Mokhtari, Yassine},
  title = {POTS: An OO LOTOS Specification},
  year = {1998},
  number = {CRIN-98-R-013}
}

@inproceedings{Gibson97,
  author = {Gibson, J. Paul},
  title = {Feature Requirements Models: Understanding Interactions},
  booktitle = {Feature Interactions in Telecommunications Networks IV, (FIW 1997)},
  publisher = {IOS Press},
  year = {1997},
  pages = {46-60}
}

@inproceedings{GibsonMermetMery97,
  author = {Gibson , J. Paul and Mermet, Bruno and Méry, Dominique },
  title = {Feature Interactions: A Mixed Semantic Model Approach},
  booktitle = {1st Irish Workshop on Formal Methods (IWFM 1997)},
  publisher = {BCS},
  year = {1997}
}

@inproceedings{GibsonMery97,
  author = {Gibson, J. Paul and Méry, Dominique},
  title = {Telephone feature verification: Translating SDL to TLA+},
  booktitle = {SDL '97 Time for Testing, SDL, MSC and Trends --- 8th International SDL Forum},
  publisher = {Elsevier},
  year = {1997},
  pages = {103-118}
}

@inproceedings{GibsonMery96,
  author = {Gibson, J. Paul and Méry, Dominique},
  title = {A Unifying Model for Specification and Design},
  booktitle = {Proceedings of the Workshop on Proof Theory of Concurrent Object Oriented Programming},
  year = {1996}
}

@techreport{GibsonMery95,
  author = {Gibson, J. Paul and Méry, Dominique},
  title = {Formal methods for concurrency parallelism and distribution},
  year = {1995},
  number = {CRIN-96-R-378},
  note = {Published in ERCIM News it Software Quality (23)}
}

@techreport{MeryGibsonRoegel95,
  author = {Méry, Dominique and Gibson, J. Paul and Roegel, Denis},
  title = {Formal methods for concurrency parallelism and distribution},
  year = {1995},
  number = {CRIN-96-R-378},
  note = {Published in ERCIM News it Software Quality (23)}
}

@phdthesis{Gibson93I,
  author = {Gibson, J. Paul},
  title = {Formal Object Oriented Development of Software Systems Using LOTOS},
  school = {Stirling University},
  year = {1993}
}

@techreport{Gibson93II,
  author = {Gibson, J. Paul},
  title = { Formal Object Based Design in LOTOS},
  year = {1993},
  number = {Computer Science: TR-113}
}

@techreport{Gibson93III,
  author = {Gibson, J. Paul},
  title = {A LOTOS-Based Approach to Neural Network Specification},
  year = {1993},
  number = {Computer Science: TR-112}
}

@article{GibsonLynch89,
  author = {Gibson, J. Paul and Lynch, J.A.},
  title = {Applying Formal Object Oriented Design Principles to Smalltalk-80},
  journal = {British Telecom Technology Journal},
  year = {1989},
  volume = {7},
  number = {3},
  pages = {12–24},
  doi = {http://dx.doi.org/10.1016/0950-5849(90)90026-N}
}