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.
• 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.
• 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

• 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.
• 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.
• 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.
• 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.
• 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.

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.
• 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.
• 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.
• 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.
• 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.

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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.

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.
• 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.
• 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.
• 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.

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.
• 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.
• 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.
• 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.

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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.

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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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 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.
• 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.

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 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.
• 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.
• 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.
• 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.
• 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.

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