Travelled to:1 × Austria
1 × Cyprus
1 × Denmark
1 × Greece
1 × India
1 × Ireland
1 × Japan
1 × Korea
1 × Romania
1 × Spain
1 × United Kingdom
15 × USA
2 × Belgium
2 × France
2 × Germany
2 × Portugal
2 × The Netherlands
3 × Hungary
5 × Italy
8 × Canada
Collaborated with:∅ T.R.Dean J.Dingel S.Grant M.H.Alalfi D.Jin G.M.K.Selim A.Stevenson C.K.Roy A.J.Malton K.A.Schneider R.Zanibbi D.Blostein M.Stephan D.B.Skillicorn C.K.Roy J.S.Bradbury D.B.Wortman G.Antoniol S.Wang R.C.Holt J.Dingel L.Lúcio L.M.Eshkevari A.D.Thurston H.Zhang T.C.N.Graham E.J.Rapos B.J.Oakes E.P.Antony R.Koschke L.Wang X.Guo H.Fahmy D.H.Martin B.Adams F.D.Santos M.D.Penta T.Cassidy N.Kahani M.Bagherzadeh H.Vangheluwe F.Büttner D.Cousineau J.Reynolds N.Kiyavitskaya N.Zeni T.D.Breaux A.I.Antón L.Mich J.Mylopoulos M.Amrani B.Combemale Y.L.Traon M.Famelis L.Lucio A.D.Sandro R.Salay M.Chechik S.Ramesh F.Durán M.Roldán J.Bach E.Balland M.v.d.Brand S.Eker L.Engelen M.d.Jonge K.T.Kalleberg L.C.L.Kats P.Moreau E.Visser
Talks about:model (23) transform (22) use (19) sourc (17) softwar (14) clone (14) analysi (13) engin (12) txl (9) tool (8)
♂ Person: James R. Cordy
DBLP: Cordy:James_R=
Facilitated 18 volumes:
PrCo
PrCoSCo
PrCoSCo
GChGCh
PrCo
PrCh
PrCoKNPrChSCo
SciCoPrCoSciCoPrCoPrChContributed to:
2015
2015
2015201520152014
201420142014
20132013
201320132012
2012
201220152012
2012201220142011201120102010
2010
2009200920092009200820092008
20072006
20062006
200520052005
2005200520062005
2005200420062003
20032003
200220022002200120012001200120012002
198719811979201520162017Wrote 75 papers:
- AMT-2015-SelimCDLO #case study #debugging #experience #model transformation #verification
- Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.
- ICPC-2015-MartinCAA #analysis #empirical #open source
- Make it simple: an empirical analysis of GNU make feature use in open source projects (DHM, JRC, BA, GA), pp. 207–217.
- MoDELS-2015-StephanC #clone detection #detection #identification #using
- Identification of Simulink model antipattern instances using model clone detection (MS, JRC), pp. 276–285.
- SANER-2015-Cordy #txl
- TXL source transformation in practice (JRC), pp. 590–591.
- SANER-2015-EshkevariSCA #php #question
- Are PHP applications ready for Hack? (LME, FDS, JRC, GA), pp. 63–72.
- SCAM-2015-RaposSAC #named #navigation
- SimNav: Simulink navigation of model clone classes (EJR, AS, MHA, JRC), pp. 241–246.
- CSMR-WCRE-2014-AlalfiCD #analysis #clustering #experience #industrial
- Analysis and clustering of model clones: An automotive industrial experience (MHA, JRC, TRD), pp. 375–378.
- CSMR-WCRE-2014-GrantC #maintenance #similarity #topic
- Examining the relationship between topic model similarity and software maintenance (SG, JRC), pp. 303–307.
- ICGT-2014-SelimLCDO #graph #model transformation #specification #verification
- Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.
- ICPC-2014-EshkevariACP #identification #php
- Identifying and locating interference issues in PHP applications: the case of WordPress (LME, GA, JRC, MDP), pp. 157–167.
- ICSME-2014-AlalfiRSSDC #automation #identification #modelling #representation #variability
- Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models (MHA, EJR, AS, MS, TRD, JRC), pp. 486–490.
- ICSE-2013-StephanASC #analysis #clone detection #comparison #detection #framework #mutation testing #using
- Using mutation analysis for a model-clone detector comparison framework (MS, MHA, AS, JRC), pp. 1261–1264.
- MoDELS-2013-SelimBCDW #automation #industrial #model transformation #verification
- Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
- SPLC-2013-Cordy #modelling
- Submodel pattern extraction for simulink models (JRC), pp. 7–10.
- WCRE-2013-AntonyAC #approach #behaviour #clone detection #detection #modelling
- An approach to clone detection in behavioural models (EPA, MHA, JRC), pp. 472–476.
- AMT-2012-SelimCD #model transformation #state of the art #testing
- Model transformation testing: the state of the art (GMKS, JRC, JD), pp. 21–26.
- CSMR-2012-GrantCS #maintenance #modelling #topic #using
- Using Topic Models to Support Software Maintenance (SG, JRC, DBS), pp. 403–408.
- ECMFA-2012-SelimWCD #case study #industrial #legacy #migration #model transformation #modelling
- Model Transformations for Migrating Legacy Models: An Industrial Case Study (GMKS, SW, JRC, JD), pp. 90–101.
- ECMFA-J-2012-SelimWCD15 #deployment #industrial #legacy #migration #model transformation #modelling
- Model transformations for migrating legacy deployment models in the automotive industry (GMKS, SW, JRC, JD), pp. 365–381.
- ICSM-2012-AlalfiCDSS #clone detection #detection #modelling
- Models are code too: Near-miss clone detection for Simulink models (MHA, JRC, TRD, MS, AS), pp. 295–304.
- ICST-2012-AmraniLSCDVTC #approach #model transformation #verification
- A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.
- SLE-2012-StevensonC #grammar inference #overview #re-engineering #state of the art
- Grammatical Inference in Software Engineering: An Overview of the State of the Art (AS, JRC), pp. 204–223.
- SLE-J-2012-StevensonC #grammar inference #overview #re-engineering
- A survey of grammatical inference in software engineering (AS, JRC), pp. 444–459.
- ICPC-2011-Cordy #clone detection #detection #incremental #scalability #similarity #using
- Exploring Large-Scale System Similarity Using Incremental Clone Detection and Live Scatterplots (JRC), pp. 151–160.
- ICPC-2011-CordyR #named #open source #performance #source code
- DebCheck: Efficient Checking for Open Source Code Clones in Software Systems (JRC, CKR), pp. 217–218.
- ICPC-2011-CordyR11a #clone detection #detection
- The NiCad Clone Detector (JRC, CKR), pp. 219–220.
- WCRE-2011-GrantCS #analysis #concept #reverse engineering #source code #using
- Reverse Engineering Co-maintenance Relationships Using Conceptual Analysis of Source Code (SG, JRC, DBS), pp. 87–91.
- CSMR-2010-AlalfiCD #automation #metric #web
- Automating Coverage Metrics for Dynamic Web Applications (MHA, JRC, TRD), pp. 51–60.
- SCAM-2010-GrantC #analysis #concept #source code
- Estimating the Optimal Number of Latent Concepts in Source Code Analysis (SG, JRC), pp. 65–74.
- WRLA-2010-DuranRBBBCEEJK #contest
- The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.
- GPCE-2009-Cordy #domain-specific language #generative
- Eating our own dog food: DSLs for generative and transformational engineering (JRC), pp. 3–4.
- GTTSE-2009-Cordy #txl
- Excerpts from the TXL Cookbook (JRC), pp. 27–91.
- ICPC-2009-GrantC #analysis
- Vector space analysis of software clones (SG, JRC), pp. 233–237.
- SLE-2009-Cordy #domain-specific language #generative
- Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering (JRC), p. 1.
- ICPC-2008-RoyC #clone detection #comparison #detection
- Scenario-Based Comparison of Clone Detection Techniques (CKR, JRC), pp. 153–162.
- ICPC-2008-RoyC08a #detection #flexibility #named #normalisation #pretty-printing #using
- NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization (CKR, JRC), pp. 172–181.
- ICPC-J-2008-RoyCK09 #approach #clone detection #comparison #detection #evaluation #tool support
- Comparison and evaluation of code clone detection techniques and tools: A qualitative approach (CKR, JRC, RK), pp. 470–495.
- WCRE-2008-AlalfiCD #database #diagrams #named #relational #reverse engineering #sql #uml #xmi
- SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas (MHA, JRC, TRD), pp. 187–191.
- WCRE-2008-GrantCS #analysis #automation #component #concept #independence #using
- Automated Concept Location Using Independent Component Analysis (SG, JRC, DBS), pp. 138–142.
- WCRE-2008-RoyC #empirical #open source
- An Empirical Study of Function Clones in Open Source Software (CKR, JRC), pp. 81–90.
- ASE-2007-KiyavitskayaZBACMM #process #towards
- Extracting rights and obligations from regulations: toward a tool-supported process (NK, NZ, TDB, AIA, JRC, LM, JM), pp. 429–432.
- ICPC-2006-JinC #reverse engineering #tool support #using
- Integrating Reverse Engineering Tools Using a Service-Sharing Methodology (DJ, JRC), pp. 94–99.
- PEPM-2006-Cordy #analysis #generative #txl
- Source transformation, analysis and generation in TXL (JRC), pp. 1–11.
- SCAM-2006-ThurstonC #evolution #txl
- Evolving TXL (ADT, JRC), pp. 117–126.
- ICDAR-2005-ZanibbiBC #precise
- Historical Recall and Precision: Summarizing Generated Hypotheses (RZ, DB, JRC), pp. 202–206.
- ICDAR-2005-ZanibbiBC05a #recognition
- The Recognition Strategy Language (RZ, DB, JRC), pp. 565–569.
- ICSM-2005-JinC #analysis #integration #ontology #re-engineering #tool support
- Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology (DJ, JRC), pp. 613–616.
- LDTA-2005-CassidyCDD #analysis #concurrent
- Source Transformation for Concurrency Analysis (TC, JRC, TRD, JD), pp. 57–75.
- PASTE-2005-BradburyCD #analysis #effectiveness #empirical #formal method #framework #testing
- An empirical framework for comparing effectiveness of testing and property-based formal analysis (JSB, JRC, JD), pp. 2–5.
- SCAM-2005-ZhangBCD #implementation #using #verification
- Implementation and Verification of Implicit-Invocation Systems Using Source Transformation (HZ, JSB, JRC, JD), pp. 87–96.
- SCAM-J-2005-ZhangBCD06 #using
- Using source transformation to test and model check implicit-invocation systems (HZ, JSB, JRC, JD), pp. 209–227.
- WCRE-2005-WangCD #security #using
- Enhancing Security Using Legality Assertions (LW, JRC, TRD), pp. 35–44.
- ATEM-2004-JinC05 #integration #ontology #reverse engineering #tool support
- Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System (DJ, JRC), pp. 65–75.
- LDTA-2004-Cordy #named #programming language #tool support #txl
- TXL — A Language for Programming Language Tools and Applications (JRC), pp. 3–31.
- LDTA-J-2004-Cordy #model transformation #transformation language #txl
- The TXL source transformation language (JRC), pp. 190–210.
- CSMR-2003-JinCD #adaptation #concept #integration #reverse engineering #tool support #transaction #using
- Transparent Reverse Engineering Tool Integration Using a Conceptual Transaction Adapter (DJ, JRC, TRD), pp. 399–408.
- IWPC-2003-Cordy #agile #semiparsing #source code #using #xml
- Generalized Selective XML Markup of Source Code Using Agile Parsing (JRC), pp. 144–153.
- IWPC-2003-Cordy03a #automation #industrial #maintenance
- Comprehending Reality — Practical Barriers to Industrial Adoption of Software Maintenance Automation (JRC), pp. 196–206.
- SCAM-2003-GuoCD #java #using
- Unique Renaming of Java Using Source Transformation (XG, JRC, TRD), pp. 151–160.
- ICPR-v3-2002-BlosteinCZ #compilation #diagrams #recognition
- Applying Compiler Techniques to Diagram Recognition (DB, JRC, RZ), pp. 123–126.
- IWPC-2002-JinCD #taxonomy
- Where’s the Schema? A Taxonomy of Patterns for Software Exchange (DJ, JRC, TRD), pp. 65–74.
- SCAM-2002-DeanCMS #programming #txl
- Grammar Programming in TXL (TRD, JRC, AJM, KAS), p. 93–?.
- ASE-2001-FahmyHC #algebra #architecture
- Wins and Losses of Algebraic Transformations of Software Architectures (HF, RCH, JRC), pp. 51–62.
- ICDAR-2001-ZanibbiBC #analysis
- Baseline Structure Analysis of Handwritten Mathematics Notation (RZ, DB, JRC), pp. 768–773.
- ICSM-2001-DeanCSM #design #legacy #using
- Using Design Recovery Techniques to Transform Legacy Systems (TRD, JRC, KAS, AJM), pp. 622–631.
- IWPC-2001-CordySDM #design #named #source code
- HSML: Design Directed Source Code Hot Spots (JRC, KAS, TRD, AJM), pp. 145–154.
- IWPC-2001-MaltonSCDCR #automation #design
- Processing Software Source Text in Automated Design Recovery and Transformation (AJM, KAS, JRC, TRD, DC, JR), pp. 127–134.
- SCAM-2001-CordyDMS #re-engineering #txl
- Software Engineering by Source Transformation-Experience with TXL (JRC, TRD, AJM, KAS), pp. 170–180.
- SCAM-J-2001-CordyDMS02 #re-engineering #txl #using
- Source transformation in software engineering using the TXL transformation system (JRC, TRD, AJM, KAS), pp. 827–837.
- PLDI-1987-CordyG #design
- Design of an interpretive environment for Turing (JRC, TCNG), pp. 199–204.
- ICSE-1981-WortmanC #case study #experience
- Early Experiences with Euclid (DBW, JRC), pp. 27–33.
- SCC-1979-CordyHW #approach #diagrams #semantics
- Semantic charts: A diagrammatic approach to semantic processing (JRC, RCH, DBW), pp. 39–49.
- ICMT-2015-FamelisLSSSCCDV #case study #migration #product line
- Migrating Automotive Product Lines: A Case Study (MF, LL, GMKS, ADS, RS, MC, JRC, JD, HV, SR), pp. 82–97.
- MoDELS-2016-KahaniBDC #analysis #eclipse #modelling #problem #tool support #topic
- The problems with eclipse modeling tools: a topic analysis of eclipse forums (NK, MB, JD, JRC), pp. 227–237.
- MoDELS-2017-SelimCD #atl #how
- How is ATL Really Used? Language Feature Use in the ATL Zoo (GMKS, JRC, JD), pp. 34–44.