J. Paul Gibson Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Isabelle Perseil: Introduction to UML and Formal Methods. ACM SIGSOFT Software Engineering Notes 37(4): 32-33 (2012)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson: Teaching graph algorithms to children of all ages. ITiCSE 2012: 34-39
2011
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Isabelle Perseil, J. Paul Gibson: Introduction to special issue: papers from UML&FM'2011. ISSE 7(4): 225-226 (2011)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Jean-Luc Raffy, Eric Lallet: Formal object-oriented development of a voting system test oracle. ISSE 7(4): 237-245 (2011)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Damien MacNamara, Ken Oakley: Just like paper and the 3-colour protocol: A voting interface requirements engineering case study. REVOTE 2011: 66-75
2010
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy: Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. ISARCS 2010: 89-108
2009
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy: Feature Interactions in a Software Product Line for E-voting. ICFI 2009: 91-106
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson: Software reuse and plagiarism: a code of practice. ITiCSE 2009: 55-59
2008
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Damien Woods, J. Paul Gibson: Lower bounds on the computational power of an optical model of computation. Natural Computing 7(1): 95-108 (2008)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy: Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. ICSEA 2008: 58-64
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson: Weaving a Formal Methods Education with Problem-Based Learning. ISoLA 2008: 460-472
2007
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Cansell, J. Paul Gibson, Dominique Méry: Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. Electr. Notes Theor. Comput. Sci. 183: 39-55 (2007)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson: E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. B 2007: 1
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Cansell, J. Paul Gibson, Dominique Méry: Formal verification of tamper-evident storage for e-voting. SEFM 2007: 329-338
2006
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jackie O'Kelly, J. Paul Gibson: RoboCode & problem-based learning: a non-prescriptive approach to teaching programming. ITiCSE 2006: 217-221
2005
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Damien Woods, J. Paul Gibson: Complexity of Continuous Space Machine Operations. CiE 2005: 540-551
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen Hallinan, J. Paul Gibson: A Graduate's Role in Technology Transfer: From Requirements to Design with UML. IASTED Conf. on Software Engineering 2005: 94-99
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Des Traynor, J. Paul Gibson: Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs. SIGCSE 2005: 495-499
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Damien Woods, J. Paul Gibson: Lower Bounds on the Computational Power of an Optical Model of Computation. UC 2005: 237-250
2003
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter J. Clarke, Brian A. Malloy, J. Paul Gibson: Using a Taxonomy Tool to Identify Changes in OO Softwar. CSMR 2003: 213-222
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Edward B. Duffy, J. Paul Gibson, Brian A. Malloy: Applying the Decorator Pattern for Profiling Object-Oriented Software. IWPC 2003: 84-93
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson: A noughts and crosses Java applet to teach programming to primary school children. PPPJ 2003: 85-88
2002
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David C. Rine, James F. Power, J. Paul Gibson: ACM SAC2002 software engineering: theory and applications (SETA) track description. SAC 2002: 969-970
2000
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson: Formal Requirements Engineering: Learning from the Students. Australian Software Engineering Conference 2000: 171-180
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Geoff Hamilton, Dominique Méry: A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW 2000: 193-209
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton: Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification 2000: E104-E110
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy: The Application of Correctness Preserving Transformations to Software Maintenance. ICSM 2000: 108-
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Sinclair, J. Paul Gibson (Eds.): 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. Workshops in Computing, BCS 2000
1999
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Dominique Méry: Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. Ershov Memorial Conference 1999: 155-179
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Geoff Hamilton, Dominique Méry: Integration Problems in Telephone Feature Requirements. IFM 1999: 129-148
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power: Four Logics and a Protocol. IWFM 1999
1998
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson: Towards a Feature Interaction Algebra. FIW 1998: 217-231
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Dominique Méry: Teaching Formal Methods: Lessons to Learn. IWFM 1998
1997
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson: Feature Requirements Models: Understanding Interactions. FIW 1997: 46-60
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Paul Gibson, Bruno Mermet, Dominique Méry: Feature Interactions: A Mixed Semantic Model Approach. IWFM 1997
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, J. Paul Gibson: Telephone feature verification: Translating SDL to TLA+. SDL Forum 1997: 103-118

Coauthor Index

1Dominique Cansell
[j1] [c22]
2Peter J. Clarke
[c16]
3Thomas F. Dowling
[c9]
4Edward B. Duffy
[c15]
5David Gray
[c10] [c6]
6Stephen Hallinan
[c19]
7Geoff W. Hamilton (Geoff Hamilton)
[c11] [c10] [c7] [c6]
8Eric Lallet
[j3] [c28] [c27] [c25]
9Damien MacNamara
[c29]
10Brian A. Malloy
[c16] [c15] [c9]
11Bruno Mermet
[c2]
12Dominique Méry
[j1] [c22] [c11] [c8] [c7] [c4] [c2] [c1]
13Jackie O'Kelly
[c21]
14Ken Oakley
[c29]
15Isabelle Perseil
[j5] [j4]
16James F. Power
[c13] [c10] [c6]
17Jean-Luc Raffy
[j3] [c28] [c27] [c25]
18David C. Rine
[c13]
19David Sinclair
[c10] [e1] [c6]
20Des Traynor
[c18]
21Damien Woods
[j2] [c20] [c17]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 20:37:32 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page