James F. Power

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 14

Top Topics

Creative Thinking

Benchmark Suite

Programming Assignments

Top Venues

Publications

Marie Farrell, Rosemary Monahan, James F. Power
Building Specifications in the Event-B Institution: A Summary. ABZ (2023)
Marie Farrell, Rosemary Monahan, James F. Power
Building Specifications in the Event-B Institution. Log. Methods Comput. Sci. 18 (4) (2022)
Marie Farrell, Rosemary Monahan, James F. Power
Building Specifications in the Event-B Institution. CoRR (2021)
James F. Power, John Waldron
Calibration and Analysis of Source Code Similarity Measures for Verilog Hardware Description Language Projects. SIGCSE (2020)
James F. Power, John Waldron
Quantifying Activity and Collaboration Levels in Programming Assignments. ITiCSE (2019)
Brian A. Malloy, James F. Power
An empirical analysis of the transition from Python 2 to Python 3. Empir. Softw. Eng. 24 (2) (2019)
Brian A. Malloy, James F. Power
Grammar engineering for multiple front-ends for Python. Softw. Pract. Exp. 49 (3) (2019)
Zheng Cheng, Rosemary Monahan, James F. Power
Formalised EMFTVM bytecode language for sound verification of model transformations. Softw. Syst. Model. 17 (4) (2018)
Marie Farrell, Rosemary Monahan, James F. Power
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. ICFEM (2017)
Marie Farrell, Rosemary Monahan, James F. Power
Specification Clones: An Empirical Study of the Structure of Event-B Specifications. SEFM (2017)
Brian A. Malloy, James F. Power
Quantifying the Transition from Python 2 to 3: An Empirical Study of Python Applications. ESEM (2017)
Andrew Healy, Rosemary Monahan, James F. Power
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. SAC (2016)
Andrew Healy, Rosemary Monahan, James F. Power
Predicting SMT Solver Performance for Software Verification. F-IDE@FM (2016)
Marie Farrell, Rosemary Monahan, James F. Power
An Institution for Event-B. WADT (2016)
Zheng Cheng, Rosemary Monahan, James F. Power
Verifying SimpleGT Transformations Using an Intermediate Verification Language. VOLT@STAF (2015)
Zheng Cheng, Rosemary Monahan, James F. Power
A Sound Execution Semantics for ATL via Translation Validation - Research Paper. ICMT (2015)
James F. Power
An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences. CiE (2014)
Diarmuid P. O'Donoghue, James F. Power, Sian O'Briain, Feng Dong, Aidan Mooney, Donny Hurley, Yalemisew M. Abgaz, Charles Markham
Can a Computationally Creative System Create Itself? Creative Artefacts and Creative Processes. ICCC (2014)
Hao Wu, Rosemary Monahan, James F. Power
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. TASE (2013)
James F. Power
Thue's 1914 paper: a translation. CoRR (2013)
Peter J. Clarke, James F. Power, Djuradj Babich, Tariq M. King
A testing strategy for abstract classes. Softw. Test. Verification Reliab. 22 (3) (2012)
Hao Wu, Rosemary Monahan, James F. Power
Metamodel Instance Generation: A systematic literature review CoRR (2012)
Keith Ó Dúlaigh, James F. Power, Peter J. Clarke
Measurement of exception-handling code: an exploratory study. WEH@ICSE (2012)
Zheng Cheng, Rosemary Monahan, James F. Power
A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE (2012)
James F. Power, Thomas Whelan, Susan Bergin
Teaching discrete structures: a systematic review of the literature. SIGCSE (2011)
Djuradj Babich, Peter J. Clarke, James F. Power, B. M. Golam Kibria
Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT. SAC (2011)
Markus Aleksy, Vasco Amaral, Ralf Gitzel, James F. Power, John Waldron
PPPJ special issue-Foreword. Sci. Comput. Program. 74 (5-6) (2009)
Mark Hennessy, James F. Power
Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software. Empir. Softw. Eng. 13 (4) (2008)
Markus Aleksy, Ralf Gitzel, John Waldron, James F. Power
PPPJ 2006 special issue - foreword. Sci. Comput. Program. 70 (2-3) (2008)
Jacqueline A. McQuillan, James F. Power
A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy. ICST (2008)
Jonathan M. Lambert, James F. Power
Platform Independent Timing of Java Virtual Machine Bytecode Instructions. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Steven Kearney, James F. Power
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools. SEKE (2007)
Nicholas A. Kraft, Brian A. Malloy, James F. Power
An infrastructure to support interoperability in reverse engineering. Inf. Softw. Technol. 49 (3) (2007)
Peter J. Clarke, Djuradj Babich, Tariq M. King, James F. Power
Intra-Class Testing of Abstract Class Features. ISSRE (2007)
Nicholas A. Kraft, Brian A. Malloy, James F. Power
A tool chain for reverse engineering C++ applications. Sci. Comput. Program. 69 (1-3) (2007)
Jacqueline A. McQuillan, James F. Power
On the Application of Software Metrics to UML Models. MoDELS (Workshops) (2006)
Jacqueline A. McQuillan, James F. Power
Experiences of using the Dagstuhl Middle Metamodel for defining software metrics. PPPJ (2006)
Áine Mitchell, James F. Power
A study of the influence of coverage on the relationship between static and dynamic coupling metrics. Sci. Comput. Program. 59 (1-2) (2006)
Brian A. Malloy, James F. Power
Exploiting design patterns to automate validation of class invariants. Softw. Test. Verification Reliab. 16 (2) (2006)
Mark Hennessy, James F. Power
Ensuring behavioural equivalence in test-driven porting. CASCON (2006)
Mark Hennessy, James F. Power
An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software. ASE (2005)
Brian A. Malloy, James F. Power
Exploiting UML dynamic object modeling for the visualization of C++ programs. SOFTVIS (2005)
Brian A. Malloy, James F. Power
Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams. VL/HCC (2005)
David Sinclair, James F. Power
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electron. Notes Theor. Comput. Sci. 133 (2005)
Áine Mitchell, James F. Power
Using object-level run-time metrics to study coupling between objects. SAC (2005)
Stephen Brown, Áine Mitchell, James F. Power
A Coverage Analysis of Java Benchmark Suites. IASTED Conf. on Software Engineering (2005)
Nicholas A. Kraft, Brian A. Malloy, James F. Power
Toward an Infrastructure to Support Interoperability in Reverse Engineering. WCRE (2005)
David Gregg, James F. Power, John Waldron
A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites. Concurr. Pract. Exp. 17 (7-8) (2005)
James F. Power, John Waldron
Editorial. Sci. Comput. Program. 54 (1) (2005)
Nicholas A. Kraft, Brian A. Malloy, James F. Power
g4re: Harnessing GCC to Reverse Engineer C++ Applications. Transformation Techniques in Software Engineering (2005)
James F. Power, Brian A. Malloy
A metrics suite for grammar-based software. J. Softw. Maintenance Res. Pract. 16 (6) (2004)
Áine Mitchell, James F. Power
Run-Time Cohesion Metrics: An Empirical Investigation. Software Engineering Research and Practice (2004)
James F. Power, David Sinclair
A Formal Model of Forth Control Words in the Pi-Calculus. J. Univers. Comput. Sci. 10 (9) (2004)
Diarmuid P. O'Donoghue, James F. Power
Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs. ESA/VLSI (2004)
Áine Mitchell, James F. Power
An empirical investigation into the dimensions of run-time coupling in Java programs. PPPJ (2004)
Brian A. Malloy, Tanton H. Gibbs, James F. Power
Decorating tokens to facilitate recognition of ambiguous language constructs. Softw. Pract. Exp. 33 (1) (2003)
David Gregg, James F. Power, John Waldron
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite. Concurr. Comput. Pract. Exp. 15 (3-5) (2003)
Mark Hennessy, Brian A. Malloy, James F. Power
gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT. IWPC (2003)
David Gregg, James F. Power, John Waldron
Measuring the impact of object-oriented techniques in grande applications: a method-level analysis. Java Grande (2002)
Diarmuid P. O'Donoghue, Aine Leddy, James F. Power, John Waldron
Bigram analysis of Java bytecode sequences. PPPJ/IRE (2002)
Tanton H. Gibbs, Brian A. Malloy, James F. Power
Automated Validation of Class Invariants in C ++ Applications. ASE (2002)
James F. Power, Brian A. Malloy
Program Annotation in XML: A Parse-Tree Based Approach. WCRE (2002)
David C. Rine, James F. Power, J. Paul Gibson
ACM SAC2002 software engineering: theory and applications (SETA) track description. SAC (2002)
Charlie Daly, Jane Horgan, James F. Power, John Waldron
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite. Java Grande (2001)
James F. Power, Brian A. Malloy
Exploiting metrics to facilitate grammar transformation into LALR format. SAC (2001)
Jane Horgan, James F. Power, John Waldron
Measurement and Analysis of Runtime Profiling Data for Java Programs. SCAM (2001)
L. Cosgrave, James F. Power, John Waldron
An object oriented approach to parser generation in C++. South Afr. Comput. J. 26 (2000)
James F. Power, Brian A. Malloy
Symbol Table Construction and Name Lookup in ISO C++. TOOLS (37) (2000)
David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton
Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification (2000)
James F. Power, Brian A. Malloy
Metric-Based Analysis of Context-Free Grammars. IWPC (2000)
James F. Power, Brian A. Malloy
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language. SAC (2) (2000)
David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power
Four Logics and a Protocol. IWFM (1999)