| 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 | 120 | 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 | 63 | 2019 |
| Two decades of assurance case tools: a survey M Maksimov, NLS Fung, S Kokaly, M Chechik International Conference on Computer Safety, Reliability, and Security, 49-59, 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 | 48 | 2015 |
| Mapping-aware megamodeling: Design patterns and laws Z Diskin, S Kokaly, T Maibaum International Conference on Software Language Engineering, 322-343, 2013 | 44 | 2013 |
| A survey of tool-supported assurance case assessment techniques M Maksimov, S Kokaly, M Chechik ACM Computing Surveys (CSUR) 52 (5), 1-34, 2019 | 40 | 2019 |
| 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 | 36 | 2016 |
| Software assurance in an uncertain world M Chechik, R Salay, T Viger, S Kokaly, M Rahimi International Conference on Fundamental Approaches to Software Engineering, 3-21, 2019 | 28 | 2019 |
| Safety case impact assessment in automotive software systems: an improved model-based approach S Kokaly, R Salay, M Chechik, M Lawford, T Maibaum International Conference on Computer Safety, Reliability, and Security, 69-85, 2017 | 27 | 2017 |
| MMINT-A: a tool for automated change impact assessment on assurance cases NLS Fung, S Kokaly, A Di Sandro, R Salay, M Chechik International Conference on Computer Safety, Reliability, and Security, 60-70, 2018 | 23 | 2018 |
| 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 |
| 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 | 21 | 2016 |
| Heterogeneous Megamodel Slicing for Model Evolution. R Salay, S Kokaly, M Chechik, T Maibaum Me@ models, 50-59, 2016 | 20 | 2016 |
| Towards certified analysis of software product line safety cases R Shahin, S Kokaly, M Chechik International Conference on Computer Safety, Reliability, and Security, 130-145, 2021 | 16 | 2021 |
| Heterogeneous megamodel management using collection operators R Salay, S Kokaly, A Di Sandro, NLS Fung, M Chechik Software and Systems Modeling 19 (1), 231-260, 2020 | 15 | 2020 |
| Managing Assurance Cases in Model Based Software Systems S Kokaly McMaster University, 2019 | 13 | 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 | 10 | 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
