| 2025 | COMPSAC | KASTroid: A Static Taint Analysis Framework for Kotlin-Based Android Applications. | Bara' Nazzal, Manar H. Alalfi, James R. Cordy |
| 2025 | PST | A Modeling and Static Analysis Approach for the Verification of Privacy and Safety Properties in Kotlin Android Apps. | Bara' Nazzal, Manar H. Alalfi, James R. Cordy |
| 2024 | ICST | A Survey on the Verification and Validation of Artificial Pancreas Software Systems. | Bara' Nazzal, Manar H. Alalfi, James R. Cordy |
| 2022 | ICSE | In Rust We Trust - A Transpiler from Unsafe C to Safer Rust. | Michael Ling, Yijun Yu, Haitao Wu, Yuan Wang, James R. Cordy, Ahmed E. Hassan |
| 2020 | MODELS | Synthesis of state machine models. | Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy |
| 2019 | SCAM | Software Engineering by Source Transformation - Experience with TXL (Most Influential Paper, SCAM 2001). | James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider |
| 2018 | ICSE | Analyzing a decade of Linux system calls. | Mojtaba Bagherzadeh, Nafiseh Kahani, Cor-Paul Bezemer, Ahmed E. Hassan, Juergen Dingel, James R. Cordy |
| 2018 | ICST | SimEvo: A Toolset for Simulink Test Evolution & Maintenance. | Eric J. Rapos, James R. Cordy |
| 2018 | MODELS | Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine. | Michal Pasternak, Nafiseh Kahani, Mojtaba Bagherzadeh, Juergen Dingel, James R. Cordy |
| 2017 | ICSE | Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems. | Nafiseh Kahani, Nicolas Hili, James R. Cordy, Juergen Dingel |
| 2017 | MODELS | How is ATL Really Used? Language Feature Use in the ATL Zoo. | Gehan M. K. Selim, James R. Cordy, Juergen Dingel |
| 2016 | ICSE | On the maintenance complexity of makefiles. | Douglas H. Martin, James R. Cordy |
| 2016 | ICSE | Examining the co-evolution relationship between simulink models and their test cases. | Eric J. Rapos, James R. Cordy |
| 2016 | MODELS | The problems with eclipse modeling tools: a topic analysis of eclipse forums. | Nafiseh Kahani, Mojtaba Bagherzadeh, Juergen Dingel, James R. Cordy |
| 2016 | QRS | Model-Driven Evaluation of Software Architecture Quality Using Model Clone Detection. | Matthew Stephan, James R. Cordy |
| 2015 | ICSE | Identifying Instances of Model Design Patterns and Antipatterns Using Model Clone Detection. | Matthew Stephan, James R. Cordy |
| 2015 | MODELS | SyVOLT: Full Model Transformation Verification Using Contracts. | Levi Lcio, Bentley James Oakes, Cludio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe |
| 2015 | MODELS | Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. | Gehan M. K. Selim, James R. Cordy, Jrgen Dingel, Levi Lucio, Bentley J. Oakes |
| 2015 | MODELS | Identification of Simulink model antipattern instances using model clone detection. | Matthew Stephan, James R. Cordy |
| 2015 | SCAM | SimNav: Simulink navigation of model clone classes. | Eric J. Rapos, Andrew Stevenson, Manar H. Alalfi, James R. Cordy |
| 2014 | ICST | Towards a Taxonomy for Simulink Model Mutations. | Matthew Stephan, Manar H. Alalfi, James R. Cordy |
| 2013 | ICSE | Using mutation analysis for a model-clone detector comparison framework. | Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy |
| 2013 | ICWE | A Framework for Migrating Web Applications to Web Services. | Asil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
| 2013 | MODELS | Automated Verification of Model Transformations in the Automotive Industry. | Gehan M. K. Selim, Fabian Bttner, James R. Cordy, Jrgen Dingel, Shige Wang |
| 2013 | MODELS | Evolution of Model Clones in Simulink. | Matthew Stephan, Manar H. Alalfi, James R. Cordy, Andrew Stevenson |
| 2013 | MODELSWARD | A Survey of Model Comparison Approaches and Applications. | Matthew Stephan, James R. Cordy |
| 2013 | MODELSWARD | Application of Model Comparison Techniques to Model Transformation Testing. | Matthew Stephan, James R. Cordy |
| 2013 | RE | Applying gaiust for extracting requirements from legal documents. | Nicola Zeni, Luisa Mich, John Mylopoulos, James R. Cordy |
| 2013 | SPLC | Submodel pattern extraction for simulink models. | James R. Cordy |
| 2012 | ICST | A Tridimensional Approach for Studying the Formal Verification of Model Transformations. | Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benot Combemale, Jrgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy |
| 2012 | ICWE | Recovering Role-Based Access Control Security Models from Dynamic Web Applications. | Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
| 2012 | MODELS | Model transformation testing: the state of the art. | Gehan M. K. Selim, James R. Cordy, Juergen Dingel |
| 2012 | SLE | Grammatical Inference in Software Engineering: An Overview of the State of the Art. | Andrew Stevenson, James R. Cordy |
| 2011 | ICSE | Fifth international workshop on software clones: (IWSC 2011). | James R. Cordy, Katsuro Inoue, Stanislaw Jarzabek, Rainer Koschke |
| 2010 | ICSE | Fourth International Workshop on Software Clones (IWSC). | Katsuro Inoue, Stanislaw Jarzabek, James R. Cordy, Rainer Koschke |
| 2010 | SCAM | Estimating the Optimal Number of Latent Concepts in Source Code Analysis. | Scott Grant, James R. Cordy |
| 2009 | GPCE | Eating our own dog food: DSLs for generative and transformational engineering. | James R. Cordy |
| 2009 | ICST | Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications. | Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
| 2009 | ICST | A Mutation/Injection-Based Automatic Framework for Evaluating Code Clone Detection Tools. | Chanchal K. Roy, James R. Cordy |
| 2009 | ICVS | White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making. | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
| 2009 | SLE | Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering. | James R. Cordy |
| 2008 | ER | Automating the Extraction of Rights and Obligations for Regulatory Compliance. | Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antn, James R. Cordy, Luisa Mich, John Mylopoulos |
| 2008 | ICSE | Automating discovery of software tuning parameters. | Nevon Brake, James R. Cordy, Elizabeth Dancy, Marin Litoiu, Valentina Popescu |
| 2007 | ENTER | Annotating Accommodation Advertisements Using CERNO. | Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, James R. Cordy, John Mylopoulos |
| 2007 | ICWE | A Survey of Analysis Models and Methods in Website Verification and Testing. | Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
| 2007 | NLDB | A Lightweight Approach to Semantic Annotation of Research Papers. | Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, John Mylopoulos, James R. Cordy |
| 2006 | PEPM | Source transformation, analysis and generation in TXL. | James R. Cordy |
| 2006 | SCAM | Evolving TXL. | Adrian D. Thurston, James R. Cordy |
| 2005 | ICDAR | Historical Recall and Precision: Summarizing Generated Hypotheses. | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
| 2005 | ICDAR | The Recognition Strategy Language. | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
| 2005 | SCAM | Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. | Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jrgen Dingel |
| 2003 | SCAM | Unique Renaming of Java Using Source Transformation. | Xinping Guo, James R. Cordy, Thomas R. Dean |
| 2002 | ICPR | Applying Compiler Techniques to Diagram Recognition. | Dorothea Blostein, James R. Cordy, Richard Zanibbi |
| 2002 | SCAM | Grammar Programming in TXL. | Thomas R. Dean, James R. Cordy, Andrew J. Malton, Kevin A. Schneider |
| 2001 | ICDAR | Baseline Structure Analysis of Handwritten Mathematics Notation. | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
| 2001 | SCAM | Software Engineering by Source Transformation-Experience with TXL. | James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider |
| 1993 | ICSE | Software Structure Characterization Using Connectivity. | Thomas R. Dean, James R. Cordy |
| 1987 | PLDI | Design of an interpretive environment for Turing. | James R. Cordy, T. C. Nicholas Graham |
| 1981 | ICSE | Early Experiences with Euclid. | David B. Wortman, James R. Cordy |