James R. Cordy - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'James R. Cordy' as author, editor, or advisor:

Variability Identification and Representation for Automotive Simulink ModelsManar H. Alalfi, Eric J. Rapos, Andrew Stevenson, Matthew Stephan, Thomas R. Dean, James R. Cordy. In Yanja Dajsuren, Mark van den Brand, editors, Automotive Systems and Software Engineering - State of the Art and Future Trends. pages 109-139, Springer, 2019. [doi]
An orthogonal model for code generationJames R. Cordy. PhD thesis, University of Toronto, Canada, 1986. [doi]
Bounded Verification of State Machine ModelsNafiseh Kahani, James R. Cordy. sam 2020: 23-32 [doi]
Survey and classification of model transformation toolsNafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Dániel Varró. SoSyM, 18(4):2361-2397, 2019. [doi]
Authentication and Access Control in e-Health Systems in the CloudNafiseh Kahani, Khalid Elgazzar, James R. Cordy. bigdatasec 2016: 13-23 [doi]
Synthesis of state machine modelsNafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy. MoDELS 2020: 274-284 [doi]
NiCad: A Modern Clone DetectorManishankar Mondal, Chanchal K. Roy, James R. Cordy. In Katsuro Inoue, Chanchal K. Roy, editors, Code Clone Analysis. pages 45-50, Springer Singapore, 2021. [doi]
MuMonDE: A framework for evaluating model clone detectors using model mutation analysisMatthew Stephan, James R. Cordy. stvr, 29(1-2), 2019. [doi]
In Rust We Trust - A Transpiler from Unsafe C to Safer RustMichael Ling, Yijun Yu, Haitao Wu, Yuan Wang, James R. Cordy, Ahmed E. Hassan. ICSE 2022: 354-355 [doi]
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. SCAM 2019: 140 [doi]

runs on WebDSL