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
932017
Mapping-aware megamodeling: Design patterns and laws
Z Diskin, S Kokaly, T Maibaum
International Conference on Software Language Engineering, 322-343, 2013
462013
Toward requirements specification for machine-learned components
M Rahimi, JLC Guo, S Kokaly, M Chechik
2019 IEEE 27th International Requirements Engineering Conference Workshops …, 2019
442019
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
442015
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
412018
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
322016
A survey of tool-supported assurance case assessment techniques
M Maksimov, S Kokaly, M Chechik
ACM Computing Surveys (CSUR) 52 (5), 1-34, 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
222015
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
202018
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
202017
Software assurance in an uncertain world
M Chechik, R Salay, T Viger, S Kokaly, M Rahimi
Fundamental Approaches to Software Engineering: 22nd International …, 2019
192019
Heterogeneous Megamodel Slicing for Model Evolution.
R Salay, S Kokaly, M Chechik, T Maibaum
Me@ models, 50-59, 2016
182016
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
172016
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
112020
Managing Assurance Cases in Model Based Software Systems
S Kokaly
McMaster University, 2019
102019
Towards certified analysis of software product line safety cases
R Shahin, S Kokaly, M Chechik
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
82021
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
82017
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
72020
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
72019
Analysis of Source-to-Target Model Transformations in QueST.
H Gholizadeh, Z Diskin, S Kokaly, T Maibaum
AMT@ MoDELS, 46-55, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20