J. Paul Gibson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

28EEJ. Paul Gibson, Eric Lallet, Jean-Luc Raffy: Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. ICSEA 2008: 58-64
27EEJ. Paul Gibson: Weaving a Formal Methods Education with Problem-Based Learning. ISoLA 2008: 460-472
26EEDamien Woods, J. Paul Gibson: Lower bounds on the computational power of an optical model of computation. Natural Computing 7(1): 95-108 (2008)
25EEJ. Paul Gibson: E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. B 2007: 1
24EEDominique Cansell, J. Paul Gibson, Dominique Méry: Formal verification of tamper-evident storage for e-voting. SEFM 2007: 329-338
23EEDominique 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)
22EEJackie O'Kelly, J. Paul Gibson: RoboCode & problem-based learning: a non-prescriptive approach to teaching programming. ITiCSE 2006: 217-221
21EEDamien Woods, J. Paul Gibson: Complexity of Continuous Space Machine Operations. CiE 2005: 540-551
20 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
19EEDes Traynor, J. Paul Gibson: Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs. SIGCSE 2005: 495-499
18EEDamien Woods, J. Paul Gibson: Lower Bounds on the Computational Power of an Optical Model of Computation. UC 2005: 237-250
17EEPeter J. Clarke, Brian A. Malloy, J. Paul Gibson: Using a Taxonomy Tool to Identify Changes in OO Softwar. CSMR 2003: 213-222
16EEEdward B. Duffy, J. Paul Gibson, Brian A. Malloy: Applying the Decorator Pattern for Profiling Object-Oriented Software. IWPC 2003: 84-93
15EEJ. Paul Gibson: A noughts and crosses Java applet to teach programming to primary school children. PPPJ 2003: 85-88
14EEDavid C. Rine, James F. Power, J. Paul Gibson: ACM SAC2002 software engineering: theory and applications (SETA) track description. SAC 2002: 969-970
13 David Sinclair, J. Paul Gibson: 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 BCS 2000
12EEJ. Paul Gibson: Formal Requirements Engineering: Learning from the Students. Australian Software Engineering Conference 2000: 171-180
11 J. Paul Gibson, Geoff Hamilton, Dominique Méry: A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW 2000: 193-209
10 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
9EEJ. Paul Gibson, Thomas F. Dowling, Brian A. Malloy: The Application of Correctness Preserving Transformations to Software Maintenance. ICSM 2000: 108-
8EEJ. 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
7 J. Paul Gibson, Geoff Hamilton, Dominique Méry: Integration Problems in Telephone Feature Requirements. IFM 1999: 129-148
6 David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power: Four Logics and a Protocol. IWFM 1999
5 J. Paul Gibson: Towards a Feature Interaction Algebra. FIW 1998: 217-231
4 J. Paul Gibson, Dominique Méry: Teaching Formal Methods: Lessons to Learn. IWFM 1998
3 J. Paul Gibson: Feature Requirements Models: Understanding Interactions. FIW 1997: 46-60
2 J. Paul Gibson, Bruno Mermet, Dominique Méry: Feature Interactions: A Mixed Semantic Model Approach. IWFM 1997
1 Dominique Méry, J. Paul Gibson: Telephone feature verification: Translating SDL to TLA+. SDL Forum 1997: 103-118

Coauthor Index

1Dominique Cansell [23] [24]
2Peter J. Clarke [17]
3Thomas F. Dowling [9]
4Edward B. Duffy [16]
5David Gray [6] [10]
6Stephen Hallinan [20]
7Geoff W. Hamilton (Geoff Hamilton) [6] [7] [10] [11]
8Eric Lallet [28]
9Brian A. Malloy [9] [16] [17]
10Bruno Mermet [2]
11Dominique Méry [1] [2] [4] [7] [8] [11] [23] [24]
12Jackie O'Kelly [22]
13James F. Power [6] [10] [14]
14Jean-Luc Raffy [28]
15David C. Rine [14]
16David Sinclair [6] [10] [13]
17Des Traynor [19]
18Damien Woods [18] [21] [26]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)