☰

J R. Cordy - Publications

Affiliations: 
Queen's University, Canada, Kingston, Ontario, Canada 
Area:
Computer Science, Mathematics
Tree Info Similar researchers PubMed Report error

42 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Kahani N, Bagherzadeh M, Cordy JR, Dingel J, Varró D. Survey and classification of model transformation tools Software and Systems Modeling. 18: 2361-2397. DOI: 10.1007/S10270-018-0665-6  0.418
2018 Bagherzadeh M, Kahani N, Bezemer C, Hassan AE, Dingel J, Cordy JR. Analyzing a decade of Linux system calls Empirical Software Engineering. 23: 1519-1551. DOI: 10.1007/S10664-017-9551-Z  0.303
2018 Alalfi MH, Antony EP, Cordy JR. An approach to clone detection in sequence diagrams and its application to security analysis Software and Systems Modeling. 17: 1287-1309. DOI: 10.1007/S10270-016-0557-6  0.363
2015 Amrani M, Combemale B, Lúcio L, Selim GMK, Dingel J, Le Traon Y, Vangheluwe H, Cordy JR. Formal verification techniques for model transformations: A tridimensional classification Journal of Object Technology. 14. DOI: 10.5381/Jot.2015.14.3.A1  0.381
2015 Stevenson A, Cordy JR. Parse views with Boolean grammars Science of Computer Programming. 97: 59-63. DOI: 10.1016/J.Scico.2013.11.007  0.41
2015 Zeni N, Kiyavitskaya N, Mich L, Cordy JR, Mylopoulos J. GaiusT: supporting the extraction of rights and obligations for regulatory compliance Requirements Engineering. 20: 1-22. DOI: 10.1007/S00766-013-0181-8  0.322
2015 Selim GMK, Cordy JR, Dingel J, Lúcio L, Oakes BJ. Finding and fixing bugs in model transformations with formal verification: An experience report Ceur Workshop Proceedings. 1500: 26-35.  0.301
2014 Trezise M, Gobbi D, Cordy J, Abolmaesumi P, Mousavi P. SimITK: Model driven engineering for medical imaging Progress in Biomedical Optics and Imaging - Proceedings of Spie. 9036. DOI: 10.1117/12.2043197  0.31
2014 Stevenson A, Cordy JR. A survey of grammatical inference in software engineering Science of Computer Programming. 96: 444-459. DOI: 10.1016/J.Scico.2014.05.008  0.332
2014 Cordy JR, Roy CK. Tuning research tools for scalability and performance: The NiCad experience Science of Computer Programming. 79: 158-171. DOI: 10.1016/J.Scico.2011.11.002  0.306
2013 Grant S, Cordy JR, Skillicorn DB. Using heuristics to estimate an appropriate number of latent topics in source code analysis Science of Computer Programming. 78: 1663-1678. DOI: 10.1016/J.Scico.2013.03.015  0.317
2013 Selim GMK, Wang S, Cordy JR, Dingel J. Model transformations for migrating legacy deployment models in the automotive industry Software and Systems Modeling. 14: 365-381. DOI: 10.1007/S10270-013-0365-1  0.389
2009 Roy CK, Cordy JR, Koschke R. Comparison and evaluation of code clone detection techniques and tools: A qualitative approach Science of Computer Programming. 74: 470-495. DOI: 10.1016/J.Scico.2009.02.007  0.349
2009 Zanibbi R, Blostein D, Cordy JR. White-box evaluation of computer vision algorithms through explicit decision-making Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5815: 295-304. DOI: 10.1007/978-3-642-04667-4_30  0.721
2009 Alalfi MH, Cordy JR, Dean TR. Modelling methods for web application verification and testing: State of the art Software Testing Verification and Reliability. 19: 265-296. DOI: 10.1002/Stvr.V19:4  0.327
2008 Zanibbi R, Blostein D, Cordy JR. Decision-based specification and comparison of table recognition algorithms Studies in Computational Intelligence. 90: 71-103. DOI: 10.1007/978-3-540-76280-5_4  0.749
2006 Cordy JR. Source transformation, analysis and generation in TXL Proceedings of the Acm Sigplan Symposium On Partial Evaluation and Semantics-Based Program Manipulation. 1-11. DOI: 10.1145/1111542.1111544  0.307
2006 Zhang H, Bradbury JS, Cordy JR, Dingel J. Using source transformation to test and model check implicit-invocation systems Science of Computer Programming. 62: 209-227. DOI: 10.1016/J.Scico.2006.04.008  0.424
2006 Cordy JR. The TXL source transformation language Science of Computer Programming. 61: 190-210. DOI: 10.1016/J.Scico.2006.04.002  0.386
2005 Zhang H, Bradbury JS, Cordy JR, Dingel J. Implementation and verification of implicit-invocation systems using source transformation Proceedings - Fifth Ieee International Workshop On Source Code Analysis and Manipulation, Scam 2005. 87-96. DOI: 10.1109/SCAM.2005.15  0.316
2005 Zanibbi R, Blostein D, Cordy JR. The recognition strategy language Proceedings of the International Conference On Document Analysis and Recognition, Icdar. 2005: 565-569. DOI: 10.1109/ICDAR.2005.239  0.756
2005 Zanibbi R, Blostein D, Cordy JR. Historical recall and precision: Summarizing generated hypotheses Proceedings of the International Conference On Document Analysis and Recognition, Icdar. 2005: 202-206. DOI: 10.1109/ICDAR.2005.128  0.728
2005 Jin D, Cordy JR. Factbase filtering issues in an ontology-based reverse engineering tool integration system Electronic Notes in Theoretical Computer Science. 137: 65-75. DOI: 10.1016/J.Entcs.2005.07.006  0.518
2005 Cassidy T, Cordy JR, Dean TR, Dingel J. Source transformation for concurrency analysis Electronic Notes in Theoretical Computer Science. 141: 57-75. DOI: 10.1016/J.Entcs.2005.05.012  0.363
2005 Zanibbi R, Blostein D, Cordy JR. Recognition tasks are imitation games Lecture Notes in Computer Science. 3686: 209-218.  0.723
2004 Cordy JR. TXL - A language for programming language tools and applications Electronic Notes in Theoretical Computer Science. 110: 3-31. DOI: 10.1016/J.Entcs.2004.11.006  0.374
2004 Zanibbi R, Blostein D, Cordy JR. A survey of table recognition: Models, observations, transformations, and inferences International Journal On Document Analysis and Recognition. 7: 1-16. DOI: 10.1007/S10032-004-0120-9  0.755
2002 Zanibbi R, Blostein D, Cordy JR. Recognizing mathematical expressions using tree transformation Ieee Transactions On Pattern Analysis and Machine Intelligence. 24: 1455-1467. DOI: 10.1109/Tpami.2002.1046157  0.72
2002 Cordy JR, Dean TR, Malton AJ, Schneider KA. Source transformation in software engineering using the TXL transformation system Information and Software Technology. 44: 827-837. DOI: 10.1016/S0950-5849(02)00104-0  0.383
2001 Zanibbi R, Blostein D, Cordy JR. Baseline Structure analysis of handwritten mathematics notation Proceedings of the International Conference On Document Analysis and Recognition, Icdar. 2001: 768-773. DOI: 10.1109/ICDAR.2001.953892  0.743
1995 Dean TR, Cordy JR. A syntactic theory of software architecture Ieee Transactions On Software Engineering. 21: 302-313. DOI: 10.1109/32.385969  0.332
1992 Cordy JR, Graham TCN. GVL: Visual specification of graphical output Journal of Visual Languages and Computing. 3: 25-47. DOI: 10.1016/1045-926X(92)90032-H  0.348
1991 Cordy JR, Halpern-Hamu CD, Promislow E. TXL: A rapid prototyping system for programming language dialects Computer Languages. 16: 97-107. DOI: 10.1016/0096-0551(91)90019-6  0.346
1990 Cordy JR, Eliot NL, Robertson MG. Turing Tool: A User Interface to Aid in the Software Maintenance Task Ieee Transactions On Software Engineering. 16: 294-301. DOI: 10.1109/32.48937  0.319
1990 Cordy JR, Holt RC. Code generation using an orthogonal model Software - Practice and Experience. 20: 301-320. DOI: 10.1002/Spe.4380200306  0.391
1989 Barnard DT, Cordy JR. Automatically generating SL parsers from LL(1) grammars Computer Languages. 14: 93-98. DOI: 10.1016/0096-0551(89)90016-7  0.352
1988 Holt RC, Cordy JR. The Turing programming language Communications of the Acm. 31: 1410-1423. DOI: 10.1145/53580.53581  0.301
1988 Perelgut S, Cordy JR. Turing Plus: A comparison with C and Pascal Acm Sigplan Notices. 23: 137-143. DOI: 10.1145/44304.44318  0.327
1988 Barnard DT, Cordy JR. SL parses the LR languages Computer Languages. 13: 65-74. DOI: 10.1016/0096-0551(88)90010-0  0.328
1984 Cordy JR. Compile—time detection of aliasing in euclid programs Software - Practice and Experience. 14: 755-768. DOI: 10.1002/Spe.4380140805  0.323
1982 Holt RC, Cordy JR, Wortman DB. An Introduction to S/SL: Syntax/Semantic Language Acm Transactions On Programming Languages and Systems (Toplas). 4: 149-178. DOI: 10.1145/357162.357164  0.347
1977 Holt RC, Wortman DB, Barnard DT, Cordy JR. SP/k: A System for Teaching Computer Programming Communications of the Acm. 20: 301-309. DOI: 10.1145/359581.359586  0.322
Show low-probability matches.