2010

• Using ATL in a tool-chain to calculate coverage data for UML class diagrams,
  Hao Wu, Rosemary Monahan and James F. Power,
  2nd International Workshop on Model Transformation with ATL, Malaga, Spain, June 30, 2010.
• A Testing Strategy for Abstract Classes ,
  Peter J. Clarke, James F. Power, Djuradj Babich and Tariq M. King,
  Software Testing, Verification and Reliability, Vol. 20, No. (to appear), 2010.

2009

• White-Box Coverage Criteria for Model Transformations,
  Jacqueline A. McQuillan and James F. Power,
  1st International Workshop on Model Transformation with ATL, Nantes, France , July 8-9, 2009.
• Foreword to the special issue on principles and practices of programming in Java,
  Markus Aleksy, Vasco Amaral, Ralf Gitzel, James F. Power and John Waldron,
  Science of Computer Programming, Vol. 74, No. 5-6, March, 2009.

2008

• A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy,
  Jacqueline A. McQuillan and James F. Power,
  IEEE International Conference on Software Testing Verification and Validation, Lillehammer, Norway, April 9-11, 2008.
• Platform Independent Timing of Java Virtual Machine Bytecode Instructions,
  Jonathan Lambert and James F. Power,
  Electronic Notes in Theoretical Computer Science, Vol. 220, No. 3, 12 December, 2008.
• Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software,
  Mark Hennessy and James F. Power,
  Empirical Software Engineering, Vol. 13, No. 4, August, 2008.
• PPPJ 2006 special issue - foreword,
  Markus Aleksy, Ralf Gitzel, John Waldron and James F. Power,
  Science of Computer Programming, Vol. 70, No. 2-3, February, 2008.

2007

• On the application of software metrics to UML models,
  Jacqueline A. McQuillan and James F. Power,
  Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers, Springer Lecture Notes in Computer Science, Vol. 4364, 2007.
• A tool chain for reverse engineering C++ applications,
  Nicholas A. Kraft, Brian A. Malloy and James F. Power,
  Science of Computer Programming, Vol. 69, No. 1-3, 1 December, 2007.
• An Infrastructure to Support Interoperability in Reverse Engineering,
  Nicholas A. Kraft, Brian A. Malloy and James F. Power,
  Information and Software Technology, Vol. 49, No. 3, March, 2007.
• REM4j - A framework for measuring the reverse engineering capability of UML CASE tools,
  Steven Kearney and James F. Power,
  19th International Conference on Software Engineering and Knowledge Engineering, Boston, USA, 9-11 July, 2007.
• Intra-Class Testing of Abstract Class Features,
  Peter J. Clarke, Djuradj Babich, Tariq M. King and James F. Power,
  18th IEEE International Symposium on Software Reliability Engineering, Trollhattan, Sweden, 5-9 November, 2007.

2006

• A study of the influence of coverage on the relationship between static and dynamic coupling metrics,
  Aine Mitchell and James F. Power,
  Science of Computer Programming, Vol. 59, No. 1-2, January, 2006.
• Experiences of using the Dagstuhl Middle Metamodel for defining software metrics,
  Jacqueline A. McQuillan and James F. Power,
  Principles and Practice of Programming in Java, Mannheim, Germany, August 30 - September 1, 2006.
• Some observations on the application of software metrics to UML models,
  Jacqueline A. McQuillan and James F. Power,
  MoDELS/UML Workshop on Model Size Metrics, Genova, Italy, October 3, 2006.
• Towards re-usable metric definitions at the meta-level,
  Jacqueline A. McQuillan and James F. Power,
  PhD Workshop of the 20th European Conference on Object-Oriented Programming, Nantes, France, July 3-7, 2006.
• Exploiting design patterns to automate validation of class invariants,
  Brian A. Malloy and James F. Power,
  Software Testing, Verification and Reliability, Vol. 16, No. 2, June, 2006.
• Ensuring behavioural equivalence in test-driven porting,
  Mark Hennessy and James F. Power,
  16th Annual International Conference on Computer Science and Software Engineering: Dublin Symposium, Dublin, Ireland, October 17, 2006.

2005

• Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic,
  David Sinclair and James F. Power,
  Electronic Notes in Theoretical Computer Science, Vol. 133, 31 May, 2005.
• Editorial: Special Issue on the Principles and Practice of Programming in Java,
  James F. Power and John T. Waldron,
  Science of Computer Programming, Vol. 54, No. 1, January, 2005.
• Using Object-Level Run-Time Metrics to Study Coupling Between Objects,
  Aine Mitchell and James F. Power,
  20th Annual ACM Symposium on Applied Computing, Santa Fe, New Mexico, March 13 -17, 2005.
• Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams,
  Brian A. Malloy and James F. Power,
  IEEE Symposium on Visual Languages and Human-Centric Computing, Dallas, Texas, USA, September 20-24, 2005.
• Exploiting UML dynamic object modeling for the visualization of C++ programs,
  Brian A. Malloy and James F. Power,
  ACM Symposium on Software Visualization, St. Louis, Missouri, USA, May 15-16, 2005.
• Toward an Infrastructure to Support Interoperability in Reverse Engineering,
  Nicholas A. Kraft, Brian A. Malloy and James F. Power,
  12th Working Conference on Reverse Engineering, Pittsburgh, Pennsylvania, USA, November 8-11, 2005.
• g4re: Harnessing GCC to Reverse Engineer C++ Applications,
  Nicholas A. Kraft, Brian A. Malloy and James F. Power,
  Transformation Techniques in Software Engineering: Dagstuhl Seminar Proceedings No. 05161, IBFI, Schloss Dagstuhl, Germany, April 17-22, 2005.
• An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for Grammar-Based Software,
  Mark Hennessy and James F. Power,
  20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, November 7-11, 2005.
• A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites,
  David Gregg, James F. Power and John Waldron,
  Concurrency and Computation: Practice and Experience, Vol. 17, No. 7-8, June-July, 2005.
• A Coverage Analysis of Java Benchmark Suites,
  Stephen Brown, Aine Mitchell and James F. Power,
  The IASTED International Conference on Software Engineering, Innsbruck, Austria, February 15-17, 2005.

2004

• A metrics suite for grammar-based software,
  James F. Power and Brian A. Malloy,
  Software Maintenance and Evolution: Research and Practice, Vol. 16, No. 6, November/December, 2004.
• A Formal Model of Forth Control Words in the Pi-Calculus,
  James F. Power and David Sinclair,
  Journal of Universal Computer Science, Vol. 10, No. 9, September, 2004.
• An approach to quantifying the run-time behaviour of Java GUI applications,
  Aine Mitchell and James F. Power,
  Winter International Symposium on Information and Communication Technologies, Cancun, Mexico, January 5-8, 2004.
• Run-Time Cohesion Metrics: An Empirical Investigation,
  Aine Mitchell and James F. Power,
  International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, USA, June 21-24, 2004.
• An Empirical Investigation into the Dimensions of Run-Time Coupling Metrics in Java programs,
  Aine Mitchell and James F. Power,
  The Third International Conference on the Principles and Practice of Programming in Java, Las Vegas, Nevada, USA, June 16-18, 2004.
• Identifying and evaluating a generic set of superinstructions for embedded Java programs,
  Diarmuid O'Donoghue and James F. Power,
  International Conference on Embedded Systems and Applications, Las Vegas, Nevada, USA, June 21-24, 2004.

2003

• Toward a definition of run-time object-oriented metrics,
  Aine Mitchell and James F. Power,
  7th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering, Darmstadt, Germany, July 21-25, 2003.
• Decorating tokens to facilitate recognition of ambiguous language constructs,
  Brian A. Malloy, Tanton H. Gibbs, James F. Power,
  Software: Practice and Experience, Vol. 33, No. 1, January, 2003.
• C++ Compilers and ISO Conformance,
  Brian A. Malloy, James. F. Power and Tanton H. Gibbs,
  Dr. Dobb's Journal, Vol. 28, No. 11, November, 2003.
• gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT,
  Mark Hennessy, Brian Malloy and James Power,
  11th IEEE International Workshop on Program Comprehension, (Tool Demo), Portland, Oregon, USA, May 9-11, 2003.
• Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite,
  David Gregg, James Power, John Waldron,
  Concurrency and Computation: Practice and Experience, Vol. 15, No. 3-5, March, 2003.

2002

• Program annotation in XML: a parser-based approach,
  J.F. Power and B.A. Malloy,
  9th IEEE Working Conference on Reverse Engineering, Richmond, Virginia, USA, October 28 - November 1, 2002.
• Recent Advances in Java Technology: Theory, Application, Implementation,
  James F. Power and John T. Waldron (Eds.),
  Computer Science Press, Trinity College Dublin, November, 2002.
• Reveal: A Tool to Reverse Engineer Class Diagrams,
  Sarah Matzko, Peter J. Clarke, Tanton H. Gibbs, Brian A. Malloy, James F. Power and Rosemary Monahan,
  Fortieth International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, February 18-21, 2002.
• Applying Software Engineering Techniques to Parser Design,
  B. A. Malloy, J. F. Power and J. T. Waldron,
  Conference of the South African Institute of Computer Scientists and Information Technologists, Port Elizabeth, South Africa, September 16-18, 2002.
• Testing C++ Compilers for ISO Language Conformance,
  Brian A. Malloy, Scott A. Linde, Edward B. Duffy and James F. Power,
  Dr. Dobb's Journal, No. 337, June, 2002.
• Benchmarking the Java Virtual Architecture - The SPEC JVM98 Benchmark Suite,
  D. Gregg, J. Power and J. Waldron,
  Java Microarchitectures, N. Vijaykrishnan and M. Wolczko Eds., Chapter 1, 2002.
• Measuring the impact of object-oriented techniques in Grande applications: a method-level analysis,
  D. Gregg, J.F. Power, J.T. Waldron,
  Joint ACM-ISCOPE Conference on Java Grande (Poster Session), Seattle, Washington, USA, November 3-5, 2002.
• Automated Validation of Class Invariants in C++ Applications,
  T.H. Gibbs, B.A. Malloy and J.F. Power,
  17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, September 23-27, 2002.
• Relating Static and Dynamic Measurements for the Java Virtual Machine Instruction Set,
  T. Dowling, J. Power and J. Waldron ,
  Recent Advances in Simulation, Computational Methods and Soft Computing, N.E. Mastorakis Eds., 2002.
• Bi-gram Analysis of Java Bytecode Sequences,
  D. O'Donoghue, A. Leddy, J.F. Power and J.T. Waldron,
  Proceedings of the Second Workshop on Intermediate Representation Engineering for the Java Virtual Machine, Trinity College, Dublin, Ireland, June 13-14, 2002.

2001

• Exploiting Metrics to Facilitate Grammar Transformation into LALR Format,
  James Power and Brian Malloy,
  16th ACM Symposium on Applied Computing, Las Vegas, USA, March 11-14, 2001.
• A Formal Model of Forth Control Words in the Pi-Calculus,
  James Power and David Sinclair,
  6th International Workshop on Formal Methods for Industrial Critical Systems, Paris, France, July 16-17, 2001.
• An Interpretation of Purdom's Algorithm for Automatic Generation of Test Cases,
  Brian A. Malloy and James F. Power,
  1st Annual International Conference on Computer and Information Science, Orlando, Florida, USA, October 3-5, 2001.
• Measurement and Analysis of Runtime Profiling Data for Java Programs,
  Jane Horgan, James Power and John Waldron,
  IEEE International Workshop on Source Code Analysis and Manipulation, Florence, Italy, November 10, 2001.
• A Specification of TCP/IP using Mixed Intuitionistic Linear Logic (Extended Abstract) ,
  David Gray, Geoff Hamilton, James Power and David Sinclair,
  2nd Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, 20 April, 2001.
• A Java Distributed Computation Library,
  Karsten Fritsche, James Power and John Waldron,
  Second International Conference on Parallel and Distributed Computing, Applications and Technologies, Taipei, Taiwan, July 9-11, 2001.
• Relating Static and Dynamic Measurements for the Java Virtual Machine Instruction Set,
  T. Dowling, J. Power and J. Waldron,
  Symposium on Mathematical Methods and Computational Techniques in Electronic Engineering, Athens, Greece, December 29-31, 2001.
• Gender and Learning Systems,
  Charles Daly, Jane Horgan, James Power and John Waldron,
  Third International Conference on Women in Africa and the African Diaspora, Antananarivo/Tamatave, Madagascar, October 8-17, 2001.
• Platform Independent Dynamic Java Virtual Machine Analysis: the Java Grande Forum Benchmark Suite,
  Charles Daly, Jane Horgan, James Power and John Waldron,
  Joint ACM Java Grande - ISCOPE 2001 Conference, Stanford University, USA, June 2-4, 2001.
• A Dynamic Comparison of the SPEC98 and Java Grande Benchmark Suites,
  S. Byrne, J. Power and J. Waldron,
  Workshop on Intermediate Representation Engineering for the Java Virtual Machine, Orlando, Florida, USA, July 22-25, 2001.
• Implementing Protocol Verification for E-Commerce,
  B. Aziz, D. Gray, G. Hamilton, F. Oehl, J. Power and D. Sinclair,
  International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L'Aquila, Italy, Aug 6-12, 2001.

2000

• Comparison of Bytecode and Stack Frame Usage by Eiffel and Java Programs in the Java Virtual Machine,
  John Waldron and James Power,
  2nd International Workshop on Computer Science and Information Technologies, Ufa, Russia, September 18-23, 2000.
• Specifying and Verifying IP with Linear Logic,
  David Sinclair, James Power, Paul Gibson, David Gray, and Geoff Hamilton,
  International Workshop on Distributed Systems Validation and Verification, Taipei, Taiwan, ROC, April 10, 2000.
• Symbol Table Construction and Name Lookup in ISO C++,
  James F. Power and Brian A. Malloy,
  37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 20-23, 2000.
• An Approach for Modeling the Name Lookup Problem in the C++ Programming Language,
  James F. Power and Brian A. Malloy,
  15th ACM Symposium on Applied Computing, Villa Olmo, Como, Italy, March 19-21, 2000.
• Metric-Based Analysis of Context-Free Grammars,
  James Power and Brian Malloy,
  8th IEEE International Workshop on Program Comprehension, Limerick, Ireland, 10-11 June, 2000.
• An Object Oriented Approach to Parser Generation in C++,
  Lisa Cosgrave, James Power and John Waldron,
  Conference of the South African Institute of Computer Scientists and Information Technologists, Cape Town, South Africa, November 1-3, 2000.

1999

• Working with Linear Logic in Coq,
  James Power and Caroline Webster,
  12th International Conference on Theorem Proving in Higher Order Logics (Work-in-progress paper), University of Nice, France, September 14-17, 1999.
• Four Logics and a Protocol,
  David Gray, Geoff Hamilton, David Sinclair, Paul Gibson and James Power,
  3rd. Irish Workshop in Formal Methods, National University of Ireland, Galway, Ireland, July 1-2, 1999.

Previous Work