% This file was created with JabRef 2.6.
% Encoding: Cp1252

@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},
  address = {Haifa, Israel},
  month = jul,
  pdf = {Gibson12.pdf},
  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}},
  year = {2012},
  address = {Danube University Krems, Austria},
  month = may,
  pdf = {McNamaraGibsonOakley12.pdf},
  pages ={77-89},
  editors ={Peter Parycek and Noella Edelmann},
  publisher = {Edition Donau-Universität Krems},
  isbn={978-3-90250525-5}
}

@phdthesis{Gibson11II,
author ={Gibson, {J. Paul}},
title = { G\'enie Logiciel Formel:
         Th\'eorie, Pratique et P\'edagogie
       (Apprentissage \`a partir de l'exp\'erience du vote \'electronique)},
school = {Universit\'e Henri Poincar\'e, Nancy I, France},
month = oct,
type = "{Habilitation \`a Diriger des Recherches}",
note = "{Habilitation \`a Diriger des Recherches}",
year = 2011
}



@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},
  address = {Barcelona, Spain},
  month = oct,
  pdf = {GibsonRaffy11.pdf},
  pages ={471--476},
  ISBN = {978-1-61208-165-6},
  URL = {{http://www.thinkmind.org/index.php?view=instance&instance=ICSEA+2011}}
}

@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}},
  year = {2011},
  publisher ={IEEE},
  month = {august},
  address ={Trento, Italy},
  editors ={Melanie Volkamer and Steve Schneider},
  pages = {66--75},
  isbn = {978-1-4577-0951-7},
  doi ={10.1109/REVOTE.2011.6045917}
}

@article {PerseilGibson11II,
   author = {Perseil, Isabelle and Gibson, {J. Paul}},
   affiliation = {INSERM, 101, rue de Tolbiac, 75013 Paris, France},
   title = {Introduction to special issue: papers from {UML\&FM’2011}},
   journal = {Innovations in Systems and Software Engineering},
   publisher = {Springer London},
   issn = {1614-5046},
   keyword = {Computer Science},
   pages = {225-226},
   volume = {7},
   issue = {4},
   doi = {10.1007/s11334-011-0173-0}, 
   year = {2011}
}

@PROCEEDINGS{PerseilGibson11,
  title = {Fourth IEEE International workshop on UML and Formal Methods {(UML\&FM2011)}},
  year = {2011},
  editor = {Perseil, Isabelle and  Gibson, {J. Paul}},
  address = {Limerick, Ireland},
  publisher = {IEEE},
  month = {June},
  booktitle = {Fourth IEEE International workshop UML and Formal Methods {(UML\&FM2011)}},
  url = {http://www.artist-embedded.org/artist/Overview,2271.html}
}
 
@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},
  editor = {Perseil, Isabelle and  Gibson, {J. Paul}},
  volume = 7,
  number = 4,
  month = {September},
  year = {2011},
  issn = {1614-5054},
  doi = {10.1007/s11334-011-0167-y},
  pages = {237--245}
}

@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},
  issn ={2150-7988},
  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)}},
  year = {2011},
  month ={May},
  editors ={Peter Parycek and Manuel Kripp and Noella Edelmann},
  address = {Danube University, Krems},
  pages = {313--322},
  publisher = {Edition Donau-Universität Krems},
  isbn ={978-3-90250520-1}
}

@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},
  year = {2010},
  editor = {Fiona O'Riordan and Fergus Toolan and Rosario Hernandez and Robbie
	Smyth and Brett Becker and Kevin Casey and David Lillis and Geraldine
	McGing and Majella Mulhall and Kay O'Sullivan},
  pages = {61-71},
  address = {Maynooth, Ireland},
  month = {December},
  publisher = {Griffith College Dublin},
  isbn = {978-1-906878-02-3}
}



@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},
  year = {2010},
  editor = {Holger Giese},
  volume = {6150},
  series = {Lecture Notes in Computer Science},
  pages = {89-108},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1007/978-3-642-13556-9_6},
  isbn = {978-3-642-13555-2}
}

@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},
  year = {2010},
  month = jul,
  address = {Freiburg, Germany},
  publisher = {IADIS},
  pages = {129-138},
  isbn = {978-972-8939-18-2}
}

@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)}},
  year = {2009},
  pages = {55--59},
  address = {Paris, France},
  month = {July},
  publisher = {ACM},
  doi = {10.1145/1562877.1562900},
  isbn = {978-1-60558-729-5}
}

@ARTICLE{Gibson09III,
  author = {Gibson, {J. Paul}},
  title = {Software Reuse and Plagiarism: A code of practice},
  journal = {SIGCSE Bull.},
  year = {2009},
  volume = {41},
  pages = {55-59},
  number = {3},
  address = {New York, NY, USA},
  doi = {10.1145/1595496.1562900},
  issn = {0097-8418},
  publisher = {ACM}
}

@INPROCEEDINGS{Gibson09IV,
  author = {Gibson, {J. Paul}},
  title = {Challenging The Lecturer: Learning From The Teacher's Mistakes },
  booktitle = {{ICEP 09} Conference Papers: Engaging Pedagogy},
  year = {2009},
  editor = {Fiona O'Riordan and Fergus Toolan and Rosario Hernandez and Robbie
	Smyth and Brett Becker and Kevin Casey and David Lillis and Geraldine
	McGing and Majella Mulhall and Kay O'Sullivan},
  pages = {61-71},
  address = {Dublin, Ireland},
  month = {November},
  publisher = {Griffith College Dublin},
  isbn = {978-1906878016}
}

@PROCEEDINGS{GibsonJones09,
  title = {First International Workshop on Requirements Engineering for e-Voting
	Systems {(RE-VOTE09)}},
  year = {2009},
  editor = { Gibson, {J. Paul} and Jones, Doug},
  address = {Atlanta,GA,USA},
  publisher = {IEEE},
  month = aug,
  booktitle = {First International Workshop on Requirements Engineering for e-Voting
	Systems {(RE-VOTE09)}},
  isbn = {978-1-4244-7698-5},
  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}},
  year = {2009},
  editor = {Nakamura and Reiff-Marganiec},
  pages = {91--106},
  address = {Lisbon, Portugal},
  month = {June},
  publisher = {IOS Press},
  doi = {10.3233/978-1-60750-014-8-91},
  isbn = {9781607500148}
}

@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)}},
  year = {2009},
  pages = {7--21},
  address = {Nantes, France},
  publisher = {APCB},
  editors = {Attiogbe and Mery},
  isbn = {2951246102}
}

@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},
  editor = {Zoltan Istenes},
  pages = {151-160},
  address = {Budapest, Hungary},
  month = mar,
  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},
  year = {2008},
  editor = {T. Margaria and B. Steffen},
  volume = {17},
  series = {Communications in Computer and Information Science {(CCIS)}},
  pages = {460-472},
  address = {Porto Sani, Greece},
  month = {October},
  publisher = {Springer-Verlag, Berlin Heidelberg},
  doi = {10.1007/978-3-540-88479-8_32},
  isbn = {978-3-540-88478-1}
}

@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},
  editor = {Zoltan Istenes},
  pages = {61-70},
  address = {Budapest, Hungary},
  month = mar,
  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)}},
  year = {2008},
  editor = {Herwig Mannaert and Tadashi Ohta and Cosmin Dini and Robert Pellerin},
  pages = {58-64},
  address = {Sliema, Malta},
  month = {October},
  publisher = {IEEE Computer Society},
  doi = {10.1109/ICSEA.2008.18},
  isbn = {978-0-7695-3372-8}
}

@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},
  year = {2008},
  editor = {Dan Remenyi},
  pages = {283-289},
  address = {Lausanne, Switzerland},
  month = jul,
  publisher = {Academic Publishing International},
  isbn = {978-1-906638-09-2}
}

@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},
  pages = {95-108},
  number = {1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1007/s11047-007-9039-7}
}

@INPROCEEDINGS{CansellGibsonMery07I,
  author = {Cansell, Dominique and Gibson, {J. Paul} and M{\'e}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})},
  year = {2007},
  editor = {Mike Hinchey and Tiziana Margaria},
  pages = {329-338},
  address = {London, England, UK},
  publisher = {{IEEE} Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1109/SEFM.2007.21},
  isbn = {978-0-7695-2884-7}
}

@ARTICLE{CansellGibsonMery07II,
  author = {Cansell, Dominique and Gibson, {J. Paul} and M{\'e}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},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {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}},
  year = {2007},
  editor = {Jacques Julliand and Olga Kouchnarenko},
  volume = {4355},
  series = {Lecture Notes in Computer Science},
  pages = {1},
  address = {Besan\c{c}on, France},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1007/11955757_1},
  isbn = {3-540-68760-2}
}

@INPROCEEDINGS{CansellGibsonMery06,
  author = {Cansell, Dominique and Gibson, {J. Paul} and M{\'e}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},
  editor = {A. Cerone and P. Curzon},
  address = {Macau SAR China},
  month = oct
}

@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},
  year = {2006},
  pages = {9--22},
  address = {Berkeley, CA, USA},
  publisher = {USENIX Association},
  location = {Vancouver, B.C., Canada}
}

@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}},
  year = {2006},
  editor = {Renzo Davoli and Michael Goldweber and Paola Salomoni},
  pages = {217-221},
  address = {Bologna, Italy},
  publisher = {ACM},
  note = {Also published in ACM SIGCSE Bulletin},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1145/1140124.1140182},
  isbn = {1-59593-055-8}
}

@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.},
  year = {2006},
  volume = {38},
  pages = {217--221},
  number = {3},
  address = {New York, NY, USA},
  doi = {10.1145/1140123.1140182},
  issn = {0097-8418},
  publisher = {ACM}
}

@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},
  year = {2006},
  pages = {223--228},
  address = {Darlinghurst, Australia},
  publisher = {Australian Computer Society, Inc.},
  isbn = {1-920682-34-1},
  location = {Hobart, Australia}
}

@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},
  editors   = {P. Romero and J. Good and  E. Acosta Chaparro and S. Bryant},
  address = {University of Sussex, Brighton, UK}
}



@TECHREPORT{Gibson05,
  author = {Gibson, {J. Paul}},
  title = {E-Voting Requirements Modelling: An Algebraic Specification Approach
	(With CafeOBJ)},
  institution = {Department of Computer Science, National University of Ireland, Maynooth.},
  year = {2005},
  type = {{Report NUIM-CS-TR-2005-14}}
}

@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},
  year = {2005},
  editor = {Peter Kokol},
  pages = {94-99},
  address = {Innsbruck, Austria},
  publisher = {{IASTED/ACTA Press}},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {0-88986-466-7}
}

@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},
  year = {2005},
  pages = {87--97},
  address = {New York, NY, USA},
  publisher = {ACM},
  doi = {10.1145/1089786.1089795},
  isbn = {1-59593-043-4},
  location = {Seattle, WA, USA}
}

@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},
  address = {Lahti, Finland}
}

@TECHREPORT{OKellyMonahanGibsonBrown05,
  author = {O'Kelly, Jackie and Monahan, Rosemary and Gibson, {J. Paul} and Brown,
	Stephen},
  title = {Enhancing Skills Transfer through Problem-based Learning},
  institution = {Department of Computer Science, National University of Ireland, Maynooth.},
  year = {2005},
  type = {{Report NUIM-CS-TR-2005-13}}
}

@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)}},
  year = {2005},
  editor = {Wanda Dann and Thomas L. Naps and Paul T. Tymann and Doug Baldwin},
  pages = {495-499},
  address = {St. Louis, Missouri, USA},
  publisher = {ACM},
  note = {Also published in ACM SIGCSE Bulletin},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1145/1047344.1047502},
  isbn = {1-58113-997-7}
}

@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.},
  year = {2005},
  volume = {37},
  pages = {495--499},
  number = {1},
  address = {New York, NY, USA},
  doi = {10.1145/1047124.1047502},
  issn = {0097-8418},
  publisher = {ACM}
}

@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)}},
  year = {2005},
  editor = {Cristian Calude and Michael J. Dinneen and Gheorghe Paun and Mario
	J. P{\'e}rez-Jim{\'e}nez and Grzegorz Rozenberg},
  volume = {3699},
  series = {Lecture Notes in Computer Science},
  pages = {237-250},
  address = {Sevilla, Spain},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1007/11560319_22},
  isbn = {3-540-29100-8}
}

@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}},
  year = {2005},
  editor = {Cooper , {S. Barry} and Benedikt L{\"o}we and Leen Torenvliet},
  volume = {3526},
  series = {Lecture Notes in Computer Science},
  pages = {540-551},
  address = {Amsterdam, The Netherlands},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1007/11494645_66},
  isbn = {3-540-26179-6}
}

@PROCEEDINGS{GibsonPowerWaldron04,
  title = {PPPJ '04: Proceedings of the 3rd international symposium on Principles
	and practice of programming in Java},
  year = {2004},
  editor = {Gibson, {J. Paul} and Power, James and Waldron, John},
  address = {Las Vegas, Nevada},
  publisher = {Trinity College Dublin},
  isbn = {1-59593-171-6}
}

@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}},
  year = {2004},
  editor = {Kinshuk and Demetrios G. Sampson and Pedro T. Isa\'{\i}as},
  pages = {533-536},
  address = {Lisbon, Portugal},
  publisher = {IADIS},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {972-98947-7-9}
}

@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},
  editor = {Dunican, E. and Green, T.R.G.},
  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}},
  year = {2003},
  editor = {Gerardo Canfora and {van den Brand}, Mark and Tibor Gyimothy},
  pages = {213-222},
  address = {Benevento, Italy},
  publisher = {IEEE Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1109/CSMR.2003.1192429},
  isbn = {0-7695-1902-4}
}

@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})},
  year = {2003},
  pages = {84-93},
  address = {Portland, Oregon, USA},
  publisher = {IEEE Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1109/WPC.2003.1199192},
  editors = {Hausi A. Müller and Rainer Koschke and Kenny Wong},
  isbn = {0769518834}
}

@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})},
  year = {2003},
  editor = {James F. Power and John Waldron},
  volume = {42},
  series = {ACM International Conference Proceeding Series},
  pages = {85-88},
  address = {Kilkenny City, Ireland},
  publisher = {ACM},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {0-9544145-1-9}
}

@TECHREPORT{Gibson03I,
  author = {Gibson, {J. Paul}},
  title = {Software Reuse In Final Year Projects: A Code of Practice},
  institution = {Department of Computer Science, National University of Ireland, Maynooth.},
  year = {2003},
  type = {{Report NUIM-CS-TR-2003-12}}
}

@TECHREPORT{McGaleyGibson03,
  author = {McGaley, Margaret and Gibson, {J. Paul}},
  title = { E-voting: a safety critical system},
  institution = {Department of Computer Science, National University of Ireland, Maynooth.},
  year = {2003},
  type = {{Report NUIM-CS-TR-2003-2}}
}

@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})},
  year = {2002},
  pages = {969-970},
  address = {Madrid, Spain},
  publisher = {ACM},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1145/508791.508980}
}

@TECHREPORT{Gibson01,
  author = { Gibson, {J. Paul}},
  title = { Formal requirements models: simulation, validation and verification},
  institution = {Department of Computer Science, National University of Ireland, Maynooth.},
  year = {2001},
  type = {{Report NUIM-CS-TR-2001-2}}
}

@TECHREPORT{WoodsGibson01,
  author = {Gibson, {J. Paul}},
  title = {On the relationship between computational models and scientific theories},
  institution = {Department of Computer Science, National University of Ireland, Maynooth.},
  year = {2001},
  type = {{Report NUIM-CS-TR-2001-5}}
}

@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},
  institution = {Department of Computer Science, National University of Ireland, Maynooth},
  year = {2001},
  type = {{Report NUIM-CS-TR-2001-6}}
}

@INPROCEEDINGS{Gibson00,
  author = {Gibson, {J. Paul}},
  title = {Formal Requirements Engineering: Learning from the Students},
  booktitle = {{12th Australian Software Engineering Conference (ASWEC 2000)}},
  year = {2000},
  editor = {Doug Grant},
  pages = {171-180},
  address = {Canberra, Australia},
  publisher = {IEEE Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1109/ASWEC.2000.844574},
  isbn = {0-7695-0631-3}
}

@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)}},
  year = {2000},
  pages = {108--119},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  doi = {10.1109/ICSM.2000.883025},
  isbn = {0-7695-0753-0}
}

@INPROCEEDINGS{GibsonHamiltonMery00,
  author = {Gibson, {J. Paul} and Hamilton, Geoff and M{\'e}ry, Dominique },
  title = {A Taxonomy for Triggered Interactions Using Fair Object Semantics},
  booktitle = {Feature Interactions in Telecommunications and Software Systems {VI}
	({FIW 2000})},
  year = {2000},
  editor = {Muffy Calder and Evan H. Magill},
  pages = {193-209},
  address = {Glasgow, Scotland, UK},
  publisher = {IOS Press},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {1-58603-065-5}
}

@INPROCEEDINGS{HamiltonGibsonMery00,
  author = {Hamilton, Geoff and Gibson, {J. Paul} and M{\'e}ry, Dominique},
  title = {Composing Fair Objects},
  booktitle = {{International Conference on Software Engineering Applied to Networking
	and Parallel/Distributed Computing (SNPD '00)}},
  year = {2000},
  editor = {Fouchal and Lee},
  pages = {225--233},
  address = {Reims, France},
  month = may
}

@PROCEEDINGS{SinclairGibson00,
  title = {4th Irish Workshop on Formal Methods {(IWFM 2000)}},
  year = {2000},
  editor = {Sinclair, David and Gibson, {J. Paul}},
  series = {Electronic Workshops in Computing},
  address = {Maynooth, Ireland},
  publisher = {BCS},
  month = jul,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {Irish Workshop on Formal Methods ({IWFM 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},
  editor = {Ten-Hwang Lai},
  pages = {E104-E110},
  address = {Taiwan, ROC},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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}},
  year = {1999},
  editor = {Helena Szczerbicka},
  volume = {II},
  pages = {103--111},
  address = {Warsaw, Poland},
  month = jun,
  publisher = {Society for Computer Simulation International ({SCS})},
  isbn = {1565551729}
}

@INPROCEEDINGS{GibsonHamiltonMery99,
  author = {Gibson, {J. Paul} and Hamilton, Geoff and M\'{e}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})},
  year = {1999},
  editor = {Keijiro Araki and Andy Galloway and Kenji Taguchi},
  pages = {129--148},
  address = {York, UK},
  month = jun,
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {1-85233-107-0}
}

@INPROCEEDINGS{GibsonMery99I,
  author = {Gibson, {J. Paul} and M\'{e}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},
  year = {1999},
  editor = {Dines Bj{\o}rner and Manfred Broy and Alexandre V. Zamulin},
  volume = {1755},
  series = {Lecture Notes in Computer Science},
  pages = {155-179},
  address = {Akademgorodok, Novosibirsk, Russia},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1007/3-540-46562-6_14},
  isbn = {3-540-67102-1}
}

@INPROCEEDINGS{GibsonMery99II,
  author = {Gibson, {J. Paul} and M\'{e}ry, Dominique},
  title = {Fair objects},
  booktitle = {{Object-oriented} technology and computing systems re-engineering},
  year = {1999},
  editor = {Zedan, {H.S.M.} and Cau, Antonio},
  pages = {122--140},
  address = {Chichester, USA},
  publisher = {Horwood Publishing, Ltd.},
  isbn = {1-898563-56-X}
}

@INPROCEEDINGS{GibsonMeryMokhtari99,
  author = { Gibson, {J. Paul} and M\'{e}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}},
  year = {1999},
  editor = {Helena Szczerbicka},
  volume = {II},
  pages = {139--146},
  address = {Warsaw, Poland},
  month = jun,
  publisher = {Society for Computer Simulation International ({SCS})},
  isbn = {1565551729}
}

@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})},
  year = {1999},
  editor = {Andrew Butterfield and Klemens Haegele},
  series = {Electronic Workshops in Computing},
  address = {Galway, Ireland},
  publisher = {BCS},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Gibson98I,
  author = {Gibson, {J. Paul}},
  title = {Towards a Feature Interaction Algebra},
  booktitle = {Feature Interactions in Telecommunications and Software Systems {V(FIW
	1998)}},
  year = {1998},
  editor = {Kristofer Kimbler and Wiet Bouma},
  pages = {217-231},
  address = {Malm{\"o}, Sweden},
  publisher = {IOS Press},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {90-5199-431-1}
}

@TECHREPORT{Gibson98II,
  author = {Gibson, {J. Paul}},
  title = {An {OO} Requirements Capture and Analysis Environment},
  institution = {Centre de Recherche en Informatique de Nancy ({CRIN})},
  year = {1998},
  number = {CRIN-98-R-010},
  month = jan
}

@TECHREPORT{GibsonCansellMermetMery98,
  author = {Gibson, {J. Paul} and Cansell, Dominique and Mermet, Bruno and M{\'e}ry,
	Dominique},
  title = {Spécification de services dans une logique temporelle compositionnelle:
	Rapport de fin du lot1 du marché},
  institution = {Centre de Recherche en Informatique de Nancy ({CRIN})},
  year = {1998},
  number = {{no961B 1B CNET-CNRS-CRIN}}
}

@INPROCEEDINGS{GibsonMery98I,
  author = { Gibson, {J. Paul} and M{\'e}ry, Dominique },
  title = {Teaching Formal Methods: Lessons to Learn},
  booktitle = {2nd Irish Workshop on Formal Methods ({IWFM} 1998)},
  year = {1998},
  editor = {Sharon Flynn and Andrew Butterfield},
  series = {Electronic Workshops in Computing},
  address = {Cork, Ireland},
  month = jul,
  publisher = {BCS},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{GibsonMery98II,
  author = { Gibson, {J. Paul} and M{\'e}ry, Dominique },
  title = {Always and Eventually in Object Requirements},
  booktitle = { Second Workshop on Rigorous Object Oriented Methods {(ROOM 2)}},
  year = {1998},
  editor = {Evans, {A.S}},
  address = {Bradford, West Yorkshire, UK},
  month = may
}

@TECHREPORT{GibsonMokhtari98,
  author = {Gibson, {J. Paul} and Mokhtari, Yassine},
  title = {{POTS}: An {OO LOTOS} Specification},
  institution = {Centre de Recherche en Informatique de Nancy ({CRIN})},
  year = {1998},
  number = {CRIN-98-R-013},
  month = jan
}

@INPROCEEDINGS{Gibson97,
  author = {Gibson, {J. Paul}},
  title = {Feature Requirements Models: Understanding Interactions},
  booktitle = {Feature Interactions in Telecommunications Networks IV, ({FIW 1997})},
  year = {1997},
  editor = {Petre Dini and Raouf Boutaba and Luigi Logrippo},
  pages = {46-60},
  address = {Montr{\'e}al, Canada},
  month = jun,
  publisher = {IOS Press},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {90-5199-347-1}
}

@INPROCEEDINGS{GibsonMermetMery97,
  author = {Gibson , {J. Paul} and Mermet, Bruno and M{\'e}ry, Dominique },
  title = {Feature Interactions: A Mixed Semantic Model Approach},
  booktitle = {1st Irish Workshop on Formal Methods {(IWFM 1997)}},
  year = {1997},
  editor = {Henry McGloughlin and Gerard O'Regan},
  series = {Electronic Workshops in Computing},
  address = {Dublin, Ireland},
  month = jul,
  publisher = {BCS},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{GibsonMery97,
  author = {Gibson, {J. Paul} and M{\'e}ry, Dominique},
  title = {{Telephone feature verification: Translating SDL to TLA+}},
  booktitle = {{SDL '97 Time for Testing, SDL, MSC and Trends --- 8th International
	SDL Forum}},
  year = {1997},
  editor = {Ana R. Cavalli and Amardeo Sarma},
  pages = {103-118},
  address = {Evry, France},
  month = sep,
  publisher = {Elsevier},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {0444828168}
}

@INPROCEEDINGS{GibsonMery96,
  author = {Gibson, {J. Paul} and M{\'e}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},
  editor = {Galmiche and Bashoun and Fiadero and Yonezawa},
  address = {Linz (Austria)},
  month = jul
}

@TECHREPORT{MeryGibsonRoegel95,
  author = {M{\'e}ry, Dominique and Gibson, {J. Paul} and Roegel, Denis},
  title = {{Formal methods for concurrency parallelism and distribution}},
  institution = {Centre de Recherche en Informatique de Nancy ({CRIN})},
  year = {1995},
  type = {{Rapport Interne}},
  number = {{CRIN-96-R-378}},
  note = {Published in {ERCIM News {\it Software Quality} (23)}},
  pdf = {MeryGibsonRoegel95.pdf}
}

@TECHREPORT{GibsonMery95,
  author = {Gibson, {J. Paul} and M{\'e}ry, Dominique},
  title = {{Formal methods for concurrency parallelism and distribution}},
  institution = {Centre de Recherche en Informatique de Nancy ({CRIN})},
  year = {1995},
  type = {{Rapport Interne}},
  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},
  type = {{Thesis CSM-114}},
  month = aug
}

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

@TECHREPORT{Gibson93III,
  author = {Gibson, {J. Paul}},
  title = {{A LOTOS-Based Approach to Neural Network Specification}},
  institution = {University of Stirling},
  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},
  month = jul,
  pages ={12–24},
  doi = {10.1016/0950-5849(90)90026-N}
}