default search action
James F. Power
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c49]Marie Farrell
, Rosemary Monahan
Building Specifications in the Event-B Institution: A Summary. ABZ 2023: 245-253 - 2022
- [j19]Marie Farrell
Building Specifications in the Event-B Institution. Log. Methods Comput. Sci. 18(4) (2022) - 2021
- [i4]Marie Farrell, Rosemary Monahan, James F. Power:
Building Specifications in the Event-B Institution. CoRR abs/2103.10881 (2021) - 2020
- [c48]James F. Power, John Waldron:
Calibration and Analysis of Source Code Similarity Measures for Verilog Hardware Description Language Projects. SIGCSE 2020: 420-426
2010 – 2019
- 2019
- [j18]Brian A. Malloy, James F. Power
An empirical analysis of the transition from Python 2 to Python 3. Empir. Softw. Eng. 24(2): 751-778 (2019) - [j17]Brian A. Malloy, James F. Power
Grammar engineering for multiple front-ends for Python. Softw. Pract. Exp. 49(3): 380-400 (2019) - [c47]James F. Power, John Waldron:
Quantifying Activity and Collaboration Levels in Programming Assignments. ITiCSE 2019: 112-118 - 2018
- [j16]Zheng Cheng, Rosemary Monahan
Formalised EMFTVM bytecode language for sound verification of model transformations. Softw. Syst. Model. 17(4): 1197-1225 (2018) - 2017
- [c46]Brian A. Malloy, James F. Power:
Quantifying the Transition from Python 2 to 3: An Empirical Study of Python Applications. ESEM 2017: 314-323 - [c45]Marie Farrell
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. ICFEM 2017: 140-156 - [c44]Marie Farrell
Specification Clones: An Empirical Study of the Structure of Event-B Specifications. SEFM 2017: 152-167 - 2016
- [c43]Andrew Healy, Rosemary Monahan
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. SAC 2016: 1558-1561 - [c42]Marie Farrell
An Institution for Event-B. WADT 2016: 104-119 - [c41]Andrew Healy, Rosemary Monahan, James F. Power:
Predicting SMT Solver Performance for Software Verification. F-IDE@FM 2016: 20-37 - 2015
- [c40]Zheng Cheng, Rosemary Monahan
A Sound Execution Semantics for ATL via Translation Validation - Research Paper. ICMT 2015: 133-148 - [c39]Zheng Cheng, Rosemary Monahan, James F. Power:
Verifying SimpleGT Transformations Using an Intermediate Verification Language. VOLT@STAF 2015: 12-19 - 2014
- [c38]James F. Power
An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences. CiE 2014: 343-346 - [c37]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: 146-154 - 2013
- [c36]Hao Wu
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. TASE 2013: 175-182 - [i3]James F. Power:
Thue's 1914 paper: a translation. CoRR abs/1308.5858 (2013) - 2012
- [j15]Peter J. Clarke
A testing strategy for abstract classes. Softw. Test. Verification Reliab. 22(3): 147-169 (2012) - [c35]Zheng Cheng, Rosemary Monahan, James F. Power:
A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE 2012: 28-31 - [c34]Keith Ó Dúlaigh, James F. Power
Measurement of exception-handling code: an exploratory study. WEH@ICSE 2012: 55-61 - [i2]Hao Wu, Rosemary Monahan, James F. Power:
Metamodel Instance Generation: A systematic literature review. CoRR abs/1211.6322 (2012) - 2011
- [c33]Djuradj Babich, Peter J. Clarke
Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT. SAC 2011: 1419-1424 - [c32]James F. Power
Teaching discrete structures: a systematic review of the literature. SIGCSE 2011: 275-280
2000 – 2009
- 2009
- [j14]Markus Aleksy
PPPJ special issue-Foreword. Sci. Comput. Program. 74(5-6): 259-260 (2009) - 2008
- [j13]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): 343-368 (2008) - [j12]Markus Aleksy
PPPJ 2006 special issue - foreword. Sci. Comput. Program. 70(2-3): 87-88 (2008) - [c31]Jacqueline A. McQuillan, James F. Power
A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy. ICST 2008: 288-297 - [c30]Jonathan M. Lambert
Platform Independent Timing of Java Virtual Machine Bytecode Instructions. QAPL 2008: 97-113 - 2007
- [j11]Nicholas A. Kraft, Brian A. Malloy, James F. Power
An infrastructure to support interoperability in reverse engineering. Inf. Softw. Technol. 49(3): 292-307 (2007) - [j10]Nicholas A. Kraft, Brian A. Malloy, James F. Power
A tool chain for reverse engineering C++ applications. Sci. Comput. Program. 69(1-3): 3-13 (2007) - [c29]Peter J. Clarke
Intra-Class Testing of Abstract Class Features. ISSRE 2007: 191-200 - [c28]Steven Kearney, James F. Power:
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools. SEKE 2007: 209-214 - 2006
- [j9]Á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): 4-25 (2006) - [j8]Brian A. Malloy, James F. Power
Exploiting design patterns to automate validation of class invariants. Softw. Test. Verification Reliab. 16(2): 71-95 (2006) - [c27]Mark Hennessy, James F. Power:
Ensuring behavioural equivalence in test-driven porting. CASCON 2006: 377 - [c26]Jacqueline A. McQuillan, James F. Power
On the Application of Software Metrics to UML Models. MoDELS (Workshops) 2006: 217-226 - [c25]Jacqueline A. McQuillan, James F. Power
Experiences of using the Dagstuhl Middle Metamodel for defining software metrics. PPPJ 2006: 194-198 - 2005
- [j7]David Gregg, James F. Power
A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites. Concurr. Pract. Exp. 17(7-8): 757-773 (2005) - [j6]James F. Power
Editorial. Sci. Comput. Program. 54(1): 1-2 (2005) - [c24]Stephen Brown, Áine Mitchell, James F. Power:
A Coverage Analysis of Java Benchmark Suites. IASTED Conf. on Software Engineering 2005: 144-149 - [c23]Mark Hennessy, James F. Power
An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software. ASE 2005: 104-113 - [c22]Áine Mitchell, James F. Power
Using object-level run-time metrics to study coupling between objects. SAC 2005: 1456-1462 - [c21]Brian A. Malloy, James F. Power
Exploiting UML dynamic object modeling for the visualization of C++ programs. SOFTVIS 2005: 105-114 - [c20]Brian A. Malloy, James F. Power
Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams. VL/HCC 2005: 233-240 - [c19]Nicholas A. Kraft, Brian A. Malloy, James F. Power
Toward an Infrastructure to Support Interoperability in Reverse Engineering. WCRE 2005: 196-205 - [i1]Nicholas A. Kraft, Brian A. Malloy, James F. Power:
g4re: Harnessing GCC to Reverse Engineer C++ Applications. Transformation Techniques in Software Engineering 2005 - 2004
- [j5]James F. Power, David Sinclair:
A Formal Model of Forth Control Words in the Pi-Calculus. J. Univers. Comput. Sci. 10(9): 1272-1293 (2004) - [j4]James F. Power, Brian A. Malloy:
A metrics suite for grammar-based software. J. Softw. Maintenance Res. Pract. 16(6): 405-426 (2004) - [c18]Diarmuid P. O'Donoghue, James F. Power:
Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs. ESA/VLSI 2004: 192-198 - [c17]Áine Mitchell, James F. Power:
An empirical investigation into the dimensions of run-time coupling in Java programs. PPPJ 2004: 9-14 - [c16]Áine Mitchell, James F. Power:
Run-Time Cohesion Metrics: An Empirical Investigation. Software Engineering Research and Practice 2004: 532-537 - [c15]David Sinclair, James F. Power
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. FMICS 2004: 255-273 - 2003
- [j3]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): 459-484 (2003) - [j2]Brian A. Malloy, Tanton H. Gibbs, James F. Power:
Decorating tokens to facilitate recognition of ambiguous language constructs. Softw. Pract. Exp. 33(1): 19-39 (2003) - [c14]Mark Hennessy, Brian A. Malloy, James F. Power:
gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT. IWPC 2003: 298- - [e2]James F. Power, John Waldron:
Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003. ACM International Conference Proceeding Series 42, ACM 2003, ISBN 0-9544145-1-9 [contents] - 2002
- [c13]David Gregg, James F. Power, John Waldron:
Measuring the impact of object-oriented techniques in grande applications: a method-level analysis. Java Grande 2002: 229 - [c12]Tanton H. Gibbs, Brian A. Malloy, James F. Power:
Automated Validation of Class Invariants in C ++ Applications. ASE 2002: 205- - [c11]Diarmuid P. O'Donoghue, Aine Leddy, James F. Power, John Waldron:
Bigram analysis of Java bytecode sequences. PPPJ/IRE 2002: 187-192 - [c10]David C. Rine, James F. Power, J. Paul Gibson
ACM SAC2002 software engineering: theory and applications (SETA) track description. SAC 2002: 969-970 - [c9]James F. Power, Brian A. Malloy:
Program Annotation in XML: A Parse-Tree Based Approach. WCRE 2002: 190- - [e1]John Waldron, James F. Power:
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. ACM International Conference Proceeding Series 25, ACM 2002, ISBN 0-901519-87-1 [contents] - 2001
- [c8]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: 106-115 - [c7]James F. Power, Brian A. Malloy:
Exploiting metrics to facilitate grammar transformation into LALR format. SAC 2001: 636-640 - [c6]Jane Horgan, James F. Power, John Waldron:
Measurement and Analysis of Runtime Profiling Data for Java Programs. SCAM 2001: 124-132 - 2000
- [j1]L. Cosgrave, James F. Power, John Waldron:
An object oriented approach to parser generation in C++. South Afr. Comput. J. 26: 207-211 (2000) - [c5]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: E104-E110 - [c4]James F. Power, Brian A. Malloy:
Metric-Based Analysis of Context-Free Grammars. IWPC 2000: 171-178 - [c3]James F. Power, Brian A. Malloy:
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language. SAC (2) 2000: 792-796 - [c2]James F. Power, Brian A. Malloy:
Symbol Table Construction and Name Lookup in ISO C++. TOOLS (37) 2000: 57-69
1990 – 1999
- 1999
- [c1]David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power:
Four Logics and a Protocol. IWFM 1999
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: