Follow
Sahar (Abughannam) Kokaly, Ph.D.
Sahar (Abughannam) Kokaly, Ph.D.
General Motors Canada, McMaster University
Verified email at kokaly.com - Homepage
Title
Cited by
Cited by
Year
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
632017
Mapping-aware megamodeling: Design patterns and laws
Z Diskin, S Kokaly, T Maibaum
International Conference on Software Language Engineering, 322-343, 2013
422013
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
392015
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
302016
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
272018
Toward requirements specification for machine-learned components
M Rahimi, JLC Guo, S Kokaly, M Chechik
2019 IEEE 27th International Requirements Engineering Conference Workshops …, 2019
222019
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
192015
MMINT-A: a tool for automated change impact assessment on assurance cases
NLS Fung, S Kokaly, AD Sandro, R Salay, M Chechik
International Conference on Computer Safety, Reliability, and Security, 60-70, 2018
172018
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
172017
Model management for regulatory compliance: a position paper
S Kokaly, R Salay, M Sabetzadeh, M Chechik, T Maibaum
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering …, 2016
152016
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
122019
Heterogeneous Megamodel Slicing for Model Evolution.
R Salay, S Kokaly, M Chechik, T Maibaum
ME@ MoDELS, 50-59, 2016
102016
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
92020
Managing Assurance Cases in Model Based Software Systems
S Kokaly
McMaster University, 2019
92019
A survey of tool-supported assurance case assessment techniques
M Maksimov, S Kokaly, M Chechik
ACM Computing Surveys (CSUR) 52 (5), 1-34, 2019
72019
Analysis of Source-to-Target Model Transformations in QueST.
H Gholizadeh, Z Diskin, S Kokaly, T Maibaum
AMT@ MoDELS, 46-55, 2015
72015
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
62017
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
52019
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
32021
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
32020
The system can't perform the operation now. Try again later.
Articles 1–20