Dr James Power

Computer Science, Hamilton Institute

On Sabbatical

Eolas Building
1st Floor
124
(01) 708 3447

Biography

James Power has a BSc in Computer Science (University College Dublin, 1990), a research MSc (Dublin City University, 1991) and a PhD (Dublin City University, 1995).  He has worked as a lecturer in the Department of Computer Science in Maynooth since 1998, having worked as an assistant lecturer in DCU before that.  His research interests are based in formal grammars and formal logic, centred mainly in the area of programming language technology, with applications in program analysis, transformation and specification.  He is a member of the Principles of Programming research group: see http://www.cs.nuim.ie/research/pop/



Research Interests

Compiler Design, Source Code Analysis, Program Comprehension, Formal Methods

Conference Publications

  Year Publication
2017 Quantifying the transition from Python 2 to 3: An empirical study of Python applications
Brian A. Malloy and James F. Power (2017) Quantifying the transition from Python 2 to 3: An empirical study of Python applications ACM/IEEE International Symposium on Empirical Software Engineering and Measurement Toronto, Canada, , 09-NOV-17 - 10-NOV-17 , pp.314-323 [DOI] [Details]
2017 Combining Event-B and CSP: An institution theoretic approach to interoperability
Marie Farrell, Rosemary Monahan and James F. Power (2017) Combining Event-B and CSP: An institution theoretic approach to interoperability International Conference on Formal Engineering Methods Xi'an, China, , 13-NOV-17 - 17-NOV-17 , pp.140-156 [DOI] [Details]
2017 Specification Clones: An Empirical Study of the Structure of Event-B Specifications
Marie Farrell and Rosemary Monahan and James F. Power (2017) Specification Clones: An Empirical Study of the Structure of Event-B Specifications Software Engineering and Formal Methods Trento, Italy, , 04-SEP-17 - 08-SEP-17 , pp.152-167 [DOI] [Details]
2016 Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving
Andrew Healy and Rosemary Monahan and James F. Power (2016) Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving 31st ACM Symposium on Applied Computing Pisa, Italy, , pp.1558-1561 [DOI] [Details]
2016 Predicting SMT solver performance for software verification
Andrew Healy, Rosemary Monahan, and James F. Power. (2016) Predicting SMT solver performance for software verification 3rd Workshop on Formal Integrated Development Environment Limassol, Cyprus, , pp.20-37 [DOI] [Details]
2015 A sound execution semantics for ATL via translation validation
Zheng Cheng, Rosemary Monahan, and James F. Power (2015) A sound execution semantics for ATL via translation validation 8th International Conference on Model Transformation L'Aquila, Italy, , pp.133-148 [DOI] [IR Link] [Details]
2015 Verifying SimpleGT Transformations Using an Intermediate Verification Language
Zheng Cheng and Rosemary Monahan and James F. Power (2015) Verifying SimpleGT Transformations Using an Intermediate Verification Language 4th International Workshop on the Verification Of Model Transformations L'Aquila, Italy, , pp.12-19 [IR Link] [Details]
2014 PACT: An initiative to introduce Computational Thinking in to second level education
A. Mooney, S. Bergin, J. Duffin, T. Naughton, R. Monahan, J.F. Power (2014) PACT: An initiative to introduce Computational Thinking in to second level education International Conference on Engaging Pedagogy [IR Link] [Details]
2014 An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences
James F Power (2014) An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences 10th Conference on Computability in Europe Budapest, Hungary, , pp.343-346 [DOI] [IR Link] [Details]
2014 Can a computationally creative system create itself? Creative artefacts and creative processes
Diarmuid P. O'Donoghue, James Power, Sian OBriain, Feng Dong, Aidan Mooney, Donny Hurley, Yalemisew Abgaz, and Charles Markham (2014) Can a computationally creative system create itself? Creative artefacts and creative processes International Conference on Computational Creativity , pp.146-155 [IR Link] [Details]
2013 Exploiting attributed type graphs to generate metamodel instances using an SMT solver
Hao Wu, Rosemary Monahan, and James F. Power (2013) Exploiting attributed type graphs to generate metamodel instances using an SMT solver 7th International Symposium on Theoretical Aspects of Software Engineering , pp.175-182 [DOI] [IR Link] [Details]
2013 Exploring Thue's 1914 paper on the transformation of strings according to given rules
James F Power (2013) Exploring Thue's 1914 paper on the transformation of strings according to given rules International Conference on the History and Philosophy of Computing Paris, France, , pp.66-68 [IR Link] [Details]
2012 Measurement of exception-handling code: An exploratory study
Keith O Dulaigh, James F. Power and Peter J. Clarke (2012) Measurement of exception-handling code: An exploratory study 5th International Workshop on Exception Handling , pp.55-61 [IR Link] [Details]
2011 Using a Class Abstraction Technique to Predict Faults in OO Classes: A case study through six releases of the Eclipse JDT
Djuradj Babich, Peter J. Clarke, James F. Power, and B. M. Golam Kibria (2011) Using a Class Abstraction Technique to Predict Faults in OO Classes: A case study through six releases of the Eclipse JDT ACM Symposium On Applied Computing , pp.1419-1424 [DOI] [IR Link] [Details]
2011 Teaching Discrete Structures: A systematic review of the literature
Thomas Whelan, Susan Bergin, and James F. Power (2011) Teaching Discrete Structures: A systematic review of the literature ACM Technical Symposium on Computer Science Education (SIGCSE) , pp.275-280 [DOI] [IR Link] [Details]
2010 Using ATL in a tool-chain to calculate coverage data for UML class diagrams
Hao Wu, Rosemary Monahan and James F. Power (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams 2nd International Workshop on Model Transformation with ATL , pp.60-64 [IR Link] [Details]
2009 White-Box Coverage Criteria for Model Transformations
Jacqueline A. McQuillan and James F. Power (2009) White-Box Coverage Criteria for Model Transformations 1st International Workshop on Model Transformation with ATL , pp.63-77 [IR Link] [Details]
2008 Platform Independent Timing of Java Virtual Machine Bytecode Instructions
Jonathan Lambert and James F. Power (2008) Platform Independent Timing of Java Virtual Machine Bytecode Instructions 6th Workshop on Quantitative Aspects of Programming Languages , pp.97-113 [DOI] [IR Link] [Details]
2008 A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy
McQuillan, J.A. and J. F. Power (2008) A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy Proceedings of the IEEE International Conference on Software Testing Verification and Validation , pp.288-297 [DOI] [IR Link] [Details]
2007 REM4j - A framework for measuring the reverse engineering capability of UML CASE tools
S. Kearney and J.F. Power (2007) REM4j - A framework for measuring the reverse engineering capability of UML CASE tools 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING , pp.209-214 [IR Link] [Details]
2007 Intra-Class Testing of Abstract Class Features
P.J. Clarke, D. Babich, T.M. King and J.F. Power (2007) Intra-Class Testing of Abstract Class Features PROCEEDINGS 18TH IEEE INT. SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING , pp.191-200 [IR Link] [Details]
2007 On the application of software metrics to UML models
McQuillan, J.A. and Power, J.F (2007) On the application of software metrics to UML models Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers , pp.217-226 [DOI] [IR Link] [Details]
2006 Experiences of using the Dagstuhl Middle Metamodel for defining software metrics
McQuillan, J.A. and Power, J.F (2006) Experiences of using the Dagstuhl Middle Metamodel for defining software metrics PROCEEDINGS OF 4TH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PROGRAMMING IN JAVA , pp.194-198 [IR Link] [Details]
2006 Ensuring behavioural equivalence in test-driven porting
M. Hennessy and J.F. Power (2006) Ensuring behavioural equivalence in test-driven porting 16TH ANNUAL INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING [IR Link] [Details]
2005 Using Object-Level Run-Time Metrics to Study Coupling Between Objects
Aine Mitchell and J.F. Power (2005) Using Object-Level Run-Time Metrics to Study Coupling Between Objects 20th Annual ACM Symposium on Applied Computing , pp.1456-1462 [IR Link] [Details]
2005 An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for Grammar-Based Software'
Hennessy, M. and J.F. Power (2005) An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for Grammar-Based Software' 20TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING , pp.104-113 [IR Link] [Details]
2005 Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams
Malloy, B.A. and J.F. Power (2005) Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING , pp.233-240 [IR Link] [Details]
2005 Toward an Infrastructure to Support Interoperability in Reverse Engineering
Kraft, N.A., B.A. Malloy and J.F. Power (2005) Toward an Infrastructure to Support Interoperability in Reverse Engineering 12TH IEEE WORKING CONFERENCE ON REVERSE ENGINEERING , pp.196-205 [IR Link] [Details]
2005 g4re: Harnessing GCC to Reverse Engineer C++ Applications
Kraft, N.A., B.A. Malloy and J.F. Power (2005) g4re: Harnessing GCC to Reverse Engineer C++ Applications TRANSFORMATION TECHNIQUES IN SOFTWARE ENGINEERING: DAGSTUHL SEMINAR PROCEEDINGS Wadern, Germany, [IR Link] [Details]
2005 Exploiting UML dynamic object modeling for the visualization of C++ programs
Malloy, B.A. and J.F. Power (2005) Exploiting UML dynamic object modeling for the visualization of C++ programs ACM SYMPOSIUM ON SOFTWARE VISUALIZATION , pp.105-114 [IR Link] [Details]
2005 A Coverage Analysis of Java Benchmark Suites
S. Brown, A. Mitchell and J.F. Power (2005) A Coverage Analysis of Java Benchmark Suites IASTED International Conference on Software Engineering [IR Link] [Details]
2004 An approach to quantifying the run-time behaviour of Java GUI applications
A. Mitchell and J. F. Power (2004) An approach to quantifying the run-time behaviour of Java GUI applications Winter International Symposium on Information and Communication Technologies [IR Link] [Details]
2004 Identifying and evaluating a generic set of superinstructions for embedded Java programs
D. O'Donoghue and J.F. Power (2004) Identifying and evaluating a generic set of superinstructions for embedded Java programs INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS AND APPLICATIONS , pp.192-198 [IR Link] [Details]
2004 Run-Time Cohesion Metrics: An Empirical Investigation
A. Mitchell and J. F. Power (2004) Run-Time Cohesion Metrics: An Empirical Investigation INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE , pp.532-537 [IR Link] [Details]
2004 An Empirical Investigation into the Dimensions of Run-Time Coupling Metrics in Java programs
A. Mitchell and J. F. Power (2004) An Empirical Investigation into the Dimensions of Run-Time Coupling Metrics in Java programs 3RD INTERNATIONAL CONFERENCE ON THE PRINCIPLES AND PRACTICE OF PROGRAMMING IN JAVA , pp.9-14 [IR Link] [Details]
2002 Reveal: A Tool to Reverse Engineer Class Diagrams
S. Matzko, P.J. Clarke, T.H. Gibbs, B.A. Malloy, J.F. Power and R. Monahan (2002) Reveal: A Tool to Reverse Engineer Class Diagrams 40TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS , pp.13-21 [IR Link] [Details]
2002 Bi-gram Analysis of Java Bytecode Sequences
D. O'Donoghue, A. Leddy, J.F. Power and J.T. Waldron (2002) Bi-gram Analysis of Java Bytecode Sequences PROCEEDINGS OF THE SECOND WORKSHOP ON INTERMEDIATE REPRESENTATION ENGINEERING FOR JAVA VIRTUAL MACHINE , pp.187-192 [IR Link] [Details]
2002 Automated Validation of Class Invariants in C++ Applications
T.H. Gibbs, B.A. Malloy and J.F. Power (2002) Automated Validation of Class Invariants in C++ Applications 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING , pp.205-214 [IR Link] [Details]
2002 Program annotation in XML: a parser-based approach
J.F. Power and B.A. Malloy (2002) Program annotation in XML: a parser-based approach 9TH IEEE WORKING CONFERENCE ON REVERSE ENGINEERING , pp.190-198 [IR Link] [Details]
2002 Applying Software Engineering Techniques to Parser Design
B. A. Malloy, J. F. Power and J. T. Waldron (2002) Applying Software Engineering Techniques to Parser Design CONFERENCE OF THE SOUTH AFRICAN INSTITUTE OF COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS , pp.75-82 [IR Link] [Details]
2002 Measuring the impact of object-oriented techniques in grande applications: A method-level analysis
Gregg D.;Power J.;Waldron J. (2002) Measuring the impact of object-oriented techniques in grande applications: A method-level analysis Proceedings of the Joint ACM Java Grande - ISCOPE Conference [IR Link] [Details]
2001 Implementing Protocol Verification for E-Commerce
B. Aziz, D. Gray, G. Hamilton, F. Oehl, J. Power and D. Sinclair (2001) Implementing Protocol Verification for E-Commerce INTERNATIONAL CONFERENCE ON ADVANCES IN INFRASTRUCTURE FOR ELECTRONIC BUSINESS, SCIENCE AND EDUCATION ON THE INTERNET [IR Link] [Details]
2001 Platform Independent Dynamic Java Virtual Machine Analysis: the Java Grande Forum Benchmark Suite
C. Daly, J. Horgan, J. Power and J. Waldron (2001) Platform Independent Dynamic Java Virtual Machine Analysis: the Java Grande Forum Benchmark Suite JOINT ACM JAVA GRANDE- ISCOPE 2001 CONFERENCE [IR Link] [Details]
2001 Exploiting Metrics to Facilitate Grammar Transformation into LALR Format
J.F. Power and B.A. Malloy (2001) Exploiting Metrics to Facilitate Grammar Transformation into LALR Format 16TH ACM SYMPOSIUM ON APPLIED COMPUTING [IR Link] [Details]
2001 Relating Static and Dynamic Measurements for the Java Virtual Machine Instruction Set
T. Dowling, J. Power and J. Waldron (2001) Relating Static and Dynamic Measurements for the Java Virtual Machine Instruction Set SYMPOSIUM ON MATHEMATICAL METHODS AND COMPUTATIONAL TECHNIQUES IN ELECTRONIC ENGINEERING [IR Link] [Details]
2001 Measurement and Analysis of Runtime Profiling Data for Java Programs
J. Horgan, J.Power and J. Waldron (2001) Measurement and Analysis of Runtime Profiling Data for Java Programs IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION [IR Link] [Details]
2001 Gender and Learning Systems
C. Daly, J. Horgan, J. Power and J. Waldron (2001) Gender and Learning Systems 3RD INTERNATIONAL CONFERENCE ON WOMEN IN AFRICA AND THE AFRICAN DIASPORA [Details]
2001 An Interpretation of Purdom's Algorithm for Automatic Generation of Test Cases
B. A. Malloy and J. F. Power (2001) An Interpretation of Purdom's Algorithm for Automatic Generation of Test Cases 1ST ANNUAL INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE [IR Link] [Details]
2001 A Formal Model of Forth Control Words in the Pi-Calculus
J.F. Power and D. Sinclair (2001) A Formal Model of Forth Control Words in the Pi-Calculus 6TH INTERNATIONL WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS [IR Link] [Details]
2001 A Java Distributed Computation Library
K. Fritsche, J. Power and J. Waldron (2001) A Java Distributed Computation Library 2ND INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES [IR Link] [Details]
2001 A Dynamic Comparison of the SPEC98 and Java Grande Benchmark Suites
S. Byrne, J. Power and J. Waldron (2001) A Dynamic Comparison of the SPEC98 and Java Grande Benchmark Suites PROCEEDINGS OF 5TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS [IR Link] [Details]
2000 An Approach for Modeling the Name Lookup Problem in the C++ Programming Language
J.F. Power and B.A. Malloy (2000) An Approach for Modeling the Name Lookup Problem in the C++ Programming Language 15TH ACM SYMPOSIUM ON APPLIED COMPUTING [IR Link] [Details]
2000 An Object Oriented Approach to Parser Generation in C++
L. Cosgrave, J. Power and J. Waldron (2000) An Object Oriented Approach to Parser Generation in C++ CONFERENCE OF THE SOUTH AFRICAN INSTITUTE OF COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS [IR Link] [Details]
2000 Symbol Table Construction and Name Lookup in ISO C++
J.F. Power and B.A. Malloy (2000) Symbol Table Construction and Name Lookup in ISO C++ 37TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS [IR Link] [Details]
2000 Comparison of Bytecode and Stack Frame Usage by Eiffel and Java Programs in the Java Virtual Machine
J. Waldron and J. Power (2000) Comparison of Bytecode and Stack Frame Usage by Eiffel and Java Programs in the Java Virtual Machine 2ND INTERNATIONAL WORKSHOP ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES [IR Link] [Details]
2000 Metric-Based Analysis of Context-Free Grammars
J.F. Power and B.A. Malloy (2000) Metric-Based Analysis of Context-Free Grammars 8TH IEEE INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION [IR Link] [Details]
2000 Specifying and Verifying IP with Linear Logic
D. Sinclair, J. Power, P. Gibson, D. Gray and G. Hamilton (2000) Specifying and Verifying IP with Linear Logic INTERNATIONAL WORKSHOP ON DISTRIBUTED SYSTEMS VALIDATION AND VERIFICATION [IR Link] [Details]
1999 Four Logics and a Protocol
David Gray and Geoff Hamilton and David Sinclair and Paul Gibson and James F. Power (1999) Four Logics and a Protocol 3rd Irish Workshop in Formal Methods National University of Ireland, Galway, Ireland, [IR Link] [Details]

Conference Contributions

  Year Publication
2016 Providing a semantics and modularisation constructs for Event-B using institutions.
Marie Farrell, Rosemary Monahan, and James F. Power (2016) Providing a semantics and modularisation constructs for Event-B using institutions. [Non Refereed Paper/Abstract Presented at Conference], 23rd International Workshop on Algebraic Development Techniques, Gregynog, Wales , 21-SEP-16 - 24-SEP-16 [Details]
2016 Evaluating SMT solvers for software verification.
Andrew Healy and Rosemary Monahan and James F. Power (2016) Evaluating SMT solvers for software verification. [Non Refereed Paper/Abstract Presented at Conference], 32nd British Colloquium of Theoretical Computer Science, Belfast, Northern Ireland [Details]
2016 Using the theory of institutions to integrate software models via refinement.
Marie Farrell and Rosemary Monahan and James F. Power (2016) Using the theory of institutions to integrate software models via refinement. [Non Refereed Paper/Abstract Presented at Conference], PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications, Iceland [Details]
2016 A Logical Framework for Integrating Software Models via Refinement.
Marie Farrell and Rosemary Monahan and James F. Power (2016) A Logical Framework for Integrating Software Models via Refinement. [Non Refereed Paper/Abstract Presented at Conference], 32nd British Colloquium of Theoretical Computer Science, Belfast, Northern Ireland , 22-MAR-16 - 24-MAR-16 [IR Link] [Details]
2015 Characterising the workload of SMT solvers for program verification.
Andrew Healy and Rosemary Monahan and James F. Power (2015) Characterising the workload of SMT solvers for program verification. [Non Refereed Paper/Abstract Presented at Conference], 22nd Workshop on Automated Reasoning, Birmingham, UK [Details]
2012 A simple complexity measurement for software verification and software testing.
Zheng Cheng, Rosemary Monahan, and James F. Power (2012) A simple complexity measurement for software verification and software testing. [Non Refereed Paper/Abstract Presented at Conference], International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, UK [IR Link] [Details]
2010 Test case generation for programming language metamodels.
Hao Wu, Rosemary Monahan, and James F. Power (2010) Test case generation for programming language metamodels. [Poster Presentation], 3rd International Conference on Software Language Engineering, Eindhoven, Netherlands [IR Link] [Details]
2006 Some observations on the application of software metrics to UML models.
McQuillan, J.A. and Power, J.F (2006) Some observations on the application of software metrics to UML models. [Refereed Abstracts], Model Size Metrics Workshop of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Genova, Italy [IR Link] [Details]
2006 PhD Workshop of 20th European Conference on Object-Oriented Programming.
J.A. McQuillan and James F. Power (2006) PhD Workshop of 20th European Conference on Object-Oriented Programming. [Poster Presentation], Towards re-usable metric definitions at the meta-level, Nantes, France [IR Link] [Details]
2003 gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT.
M. Hennessy, B.A. Malloy and J.F. Power (2003) gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT. [Poster Presentation], 11TH IEEE INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, Portland, USA [IR Link] [Details]
2003 International Workshop on Program Comprehension.
Mark Hennessy, Brian Malloy and James Power (2003) International Workshop on Program Comprehension. [Non-Peer Reviewed Published Proceedings], Portland, Oregon, USA , 09-MAY-03 - 11-MAY-03 [Details]
2003 Toward a definition of run-time object-oriented metrics.
A. Mitchell and J. F. Power (2003) Toward a definition of run-time object-oriented metrics. [Non Refereed Paper/Abstract Presented at Conference], 7th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering, Darmstadt, Germany [IR Link] [Details]
2001 A Specification of TCP/IP using Mixed Intuitionistic Linear Logic.
D. Gray, G. Hamilton, J. Power and D. Sinclair (2001) A Specification of TCP/IP using Mixed Intuitionistic Linear Logic. [Non Refereed Paper/Abstract Presented at Conference], 2ND JOINT WORKSHOP ON FORMAL SPECIFICATION OF COMPUTER-BASED SYSTEMS, Washington, USA , 20-APR-01 [IR Link] [Details]
1999 12th International Conference on Theorem Proving in Higher Order Logics.
James Power and Caroline Webster (1999) 12th International Conference on Theorem Proving in Higher Order Logics. [Non Refereed Paper/Abstract Presented at Conference], Working with linear logic in Coq, University of Nice, France , 14-SEP-99 - 17-SEP-99 [IR Link] [Details]

Peer Reviewed Journals

  Year Publication
2012 'A Testing Strategy for Abstract Classes'
Peter J. Clarke and James F. Power and Djuradj Babich and Tariq M. King (2012) 'A Testing Strategy for Abstract Classes'. Software Testing Verification and Reliability, 22 (3):147-169 [DOI] [IR Link] [Details]
2008 'Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software'
M. Hennessy and J.F. Power (2008) 'Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software'. Empirical Software Engineering, 13 :343-368 [DOI] [IR Link] [Details]
2008 'Platform Independent Timing of Java Virtual Machine Bytecode Instructions'
J. Lambert and J.F. Power (2008) 'Platform Independent Timing of Java Virtual Machine Bytecode Instructions'. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 220 :97-113 [DOI] [IR Link] [Details]
2007 'A tool chain for reverse engineering C++ applications'
N.A. Kraft, B.A. Malloy and J.F. Power (2007) 'A tool chain for reverse engineering C++ applications'. Science of Computer Programming, 69 :3-13 [IR Link] [Details]
2007 'An Infrastructure to Support Interoperability in Reverse Engieering'
N.A. Kraft, B.A. Malloy and J.F. Power (2007) 'An Infrastructure to Support Interoperability in Reverse Engieering'. INFORMATION AND SOFTWARE TECHNOLOGY, 49 :292-307 [IR Link] [Details]
2006 'Exploiting design patterns to automate validation of class invariants'
B.A. Malloy and J.F. Power (2006) 'Exploiting design patterns to automate validation of class invariants'. SOFTWARE TESTING, VERIFICATION AND RELIABILITY, 16 :71-95 [IR Link] [Details]
2005 'A study of the influence of coverage on the relationship between static and dynamic coupling metrics'
Aine Mitchell and James F. Power (2005) 'A study of the influence of coverage on the relationship between static and dynamic coupling metrics'. SCIENCE OF COMPUTER PROGRAMMING, 59 :4-25 [IR Link] [Details]
2005 'A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites'
D. Gregg, J.F. Power and J. Waldron (2005) 'A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites'. Concurrency Computation Practice and Experience, 17 :757-773 [DOI] [IR Link] [Details]
2005 'Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic'
Sinclair D. and J.F. Power (2005) 'Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic'. Electronic Notes in Theoretical Computer Science, 133 :255-273 [IR Link] [Details]
2004 'A Formal Model of Forth Control Words in the Pi-Calculus'
J.F. Power and D. Sinclair (2004) 'A Formal Model of Forth Control Words in the Pi-Calculus'. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 10 :1272-1293 [IR Link] [Details]
2004 'A metrics suite for grammar-based software'
J.F. Power and B.A. Malloy (2004) 'A metrics suite for grammar-based software'. Journal of Software Maintenance and Evolution, 16 :405-426 [DOI] [IR Link] [Details]
2003 'Decorating tokens to facilitate recognition of ambiguous language constructs'
Brian A. Malloy, Tanton H. Gibbs, James F. Power (2003) 'Decorating tokens to facilitate recognition of ambiguous language constructs'. Software - Practice and Experience, 33 :19-39 [DOI] [IR Link] [Details]
2003 'Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite'
David Gregg, James F. Power, John Waldron (2003) 'Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite'. Concurrency and Computation: Practice and Experience, 15 :459-484 [DOI] [Details]

Published Reports

  Year Publication
2013 Thue's 1914 paper: a translation.
James F. Power (2013) Thue's 1914 paper: a translation. arXiv.org, arXiv:1308.5858. [Details]

Guest Editor

  Year Publication
2009 PPPJ special issue - Foreword.
Aleksy, M;Amaral, V;Gitzel, R;Power, J;Waldron, J (2009) PPPJ special issue - Foreword. AMSTERDAM: Guest Editor [DOI] [IR Link] [Details]
2008 Foreword: Special Issue on the Principles and Practice of Programming in Java.
M. Aleksy, R. Gitzel, J. Waldron and J.F. Power (2008) Foreword: Special Issue on the Principles and Practice of Programming in Java. Guest Editor [DOI] [Details]
2005 Special Issue on the Principles and Practice of Programming in Java.
Power, J.F. and J.T. Waldron (2005) Special Issue on the Principles and Practice of Programming in Java. Guest Editor [DOI] [IR Link] [Details]

Other Journals

  Year Publication
2003 'C++ Compilers and ISO Conformance'
Brian A. Malloy, James. F. Power and Tanton H. Gibbs (2003) 'C++ Compilers and ISO Conformance' Dr. Dobb's Journal, 354 :54-60. [IR Link] [Details]
2002 'Testing C++ Compilers for ISO Language Conformance'
Brian A. Malloy, Scott A. Linde, Edward B. Duffy and James F. Power (2002) 'Testing C++ Compilers for ISO Language Conformance' Dr. Dobb's Journal, 337 :71-78. [IR Link] [Details]

Book Chapters

  Year Publication
2002 'Benchmarking the Java Virtual Architecture - The SPEC JVM98 Benchmark Suite'
D. Gregg, J. Power and J. Waldron (2002) 'Benchmarking the Java Virtual Architecture - The SPEC JVM98 Benchmark Suite' In: Java Microarchitectures. Kluwer Academic Publishers. [IR Link] [Details]
2002 'Relating Static and Dynamic Measurements for the Java Virtual Machine Instruction Set'
T. Dowling, J. Power and J. Waldron (2002) 'Relating Static and Dynamic Measurements for the Java Virtual Machine Instruction Set' In: Recent Advances in Simulation, Computational Methods and Soft Computing. WSEAS. [IR Link] [Details]

Edited Books

  Year Publication
2002 Recent Advances in Java Technology:Theory, Application, Implementation
James F. Power and John T. Waldron (Ed.). (2002) Recent Advances in Java Technology:Theory, Application, Implementation Dublin, Ireland: Computer Science Press. [Details]

Books

  Year Publication
1995 Using Fuzzy Logic: Towards Intelligent Systems.
J. Yan, M. Ryan and J. Power (1995) Using Fuzzy Logic: Towards Intelligent Systems. : Prentice-Hall. [Details]

Professional Associations

  Association Function From / To
European Association for Theoretical Computer Science Member /
Association for Computing Machinery Member /
Association for Symbolic Logic Member /

Employment

  Employer Position From / To
Dublin City University Assistant Lecturer / 31-AUG-98

Education

  Year Institution Qualification Subject
1990 University College Dublin B.Sc.
1991 Dublin City University M.Sc.
1995 Dublin City University Ph.D.