James F. Power
Orcid: 0000-0002-6770-3910
According to our database1,
James F. Power
authored at least 71 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.nuim.ie
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
2022
2020
Calibration and Analysis of Source Code Similarity Measures for Verilog Hardware Description Language Projects.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
2019
Empir. Softw. Eng., 2019
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019
2018
Softw. Syst. Model., 2018
2017
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the Formal Methods and Software Engineering, 2017
Quantifying the Transition from Python 2 to 3: An Empirical Study of Python Applications.
Proceedings of the 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2017
2016
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
2015
Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015
Proceedings of the Theory and Practice of Model Transformations, 2015
2014
Can a Computationally Creative System Create Itself? Creative Artefacts and Creative Processes.
Proceedings of the Fifth International Conference on Computational Creativity, 2014
An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences.
Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014
2013
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
2012
Proceedings of the 5th International Workshop on Exception Handling, 2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
2011
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011
Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
2009
2008
Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software.
Empir. Softw. Eng., 2008
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008
Proceedings of the First International Conference on Software Testing, 2008
2007
Inf. Softw. Technol., 2007
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
2006
Softw. Test. Verification Reliab., 2006
A study of the influence of coverage on the relationship between static and dynamic coupling metrics.
Sci. Comput. Program., 2006
Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006
Proceedings of the Models in Software Engineering, 2006
Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006
2005
Concurr. Pract. Exp., 2005
Proceedings of the 12th Working Conference on Reverse Engineering, 2005
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
Proceedings of the ACM 2005 Symposium on Software Visualization, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
A Coverage Analysis of Java Benchmark Suites.
Proceedings of the IASTED International Conference on Software Engineering, 2005
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005
2004
J. Univers. Comput. Sci., 2004
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic.
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
Run-Time Cohesion Metrics: An Empirical Investigation.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004
An empirical investigation into the dimensions of run-time coupling in Java programs.
Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, 2004
Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs.
Proceedings of the International Conference on Embedded Systems and Applications, 2004
2003
Softw. Pract. Exp., 2003
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite.
Concurr. Comput. Pract. Exp., 2003
gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT.
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003
2002
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002
Measuring the impact of object-oriented techniques in grande applications: a method-level analysis.
Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002
2001
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite.
Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, 2001
2000
Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000
Proceedings of the Applied Computing 2000, 2000
Proceedings of the 8th International Workshop on Program Comprehension (IWPC 2000), 2000
Specifying and Verifying IP with Linear Logic.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000
1999
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999