| User experience for model-driven engineering: Challenges and future directions S Abrahão, F Bourdeleau, B Cheng, S Kokaly, R Paige, H Stöerrle, ... 2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017 | 100 | 2017 |
| Toward requirements specification for machine-learned components M Rahimi, JLC Guo, S Kokaly, M Chechik 2019 IEEE 27th International Requirements Engineering Conference Workshops …, 2019 | 50 | 2019 |
| Two decades of assurance case tools: a survey M Maksimov, NLS Fung, S Kokaly, M Chechik Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018 | 50 | 2018 |
| MMINT: A Graphical Tool for Interactive Model Management. A Di Sandro, R Salay, M Famelis, S Kokaly, M Chechik P&D@ MoDELS, 16-19, 2015 | 49 | 2015 |
| Mapping-aware megamodeling: Design patterns and laws Z Diskin, S Kokaly, T Maibaum International Conference on Software Language Engineering, 322-343, 2013 | 46 | 2013 |
| A model management approach for assurance case reuse due to system evolution S Kokaly, R Salay, V Cassano, T Maibaum, M Chechik Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016 | 35 | 2016 |
| A survey of tool-supported assurance case assessment techniques M Maksimov, S Kokaly, M Chechik ACM Computing Surveys (CSUR) 52 (5), 1-34, 2019 | 34 | 2019 |
| Software assurance in an uncertain world M Chechik, R Salay, T Viger, S Kokaly, M Rahimi Fundamental Approaches to Software Engineering: 22nd International …, 2019 | 26 | 2019 |
| Safety case impact assessment in automotive software systems: an improved model-based approach S Kokaly, R Salay, M Chechik, M Lawford, T Maibaum Computer Safety, Reliability, and Security: 36th International Conference …, 2017 | 23 | 2017 |
| Enriching megamodel management with collection-based operators R Salay, S Kokaly, A Di Sandro, M Chechik 2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015 | 22 | 2015 |
| MMINT-A: a tool for automated change impact assessment on assurance cases NLS Fung, S Kokaly, A Di Sandro, R Salay, M Chechik Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018 | 21 | 2018 |
| Model management for regulatory compliance: a position paper S Kokaly, R Salay, M Sabetzadeh, M Chechik, T Maibaum Proceedings of the 8th International Workshop on Modeling in Software …, 2016 | 20 | 2016 |
| Heterogeneous Megamodel Slicing for Model Evolution. R Salay, S Kokaly, M Chechik, T Maibaum Me@ models, 50-59, 2016 | 18 | 2016 |
| Heterogeneous megamodel management using collection operators R Salay, S Kokaly, A Di Sandro, NLS Fung, M Chechik Software and Systems Modeling 19, 231-260, 2020 | 14 | 2020 |
| Towards certified analysis of software product line safety cases R Shahin, S Kokaly, M Chechik Computer Safety, Reliability, and Security: 40th International Conference …, 2021 | 12 | 2021 |
| Managing Assurance Cases in Model Based Software Systems S Kokaly McMaster University, 2019 | 11 | 2019 |
| MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts A Di Sandro, G Selim, R Salay, T Viger, M Chechik, S Kokaly Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 10 | 2020 |
| Querying automotive system models and safety artifacts with MMINT and Viatra A Di Sandro, S Kokaly, R Salay, M Chechik 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 9 | 2019 |
| User experience for model-driven engineering: Challenges and future directions RF Paige, S Kokaly, B Cheng, F Bordeleau, H Storrle, J Whittle, ... ACM/IEEE 20th International Conference on Model Driven Engineering Languages …, 2017 | 8 | 2017 |
| Analysis of Source-to-Target Model Transformations in QueST. H Gholizadeh, Z Diskin, S Kokaly, T Maibaum AMT@ MoDELS, 46-55, 2015 | 7 | 2015 |
Marsha ChechikProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu