James F. Power

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