Sahar Kokaly

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 23

Top Topics

Future Directions

Distributed Heterogeneous

Requirements Specification

Software Systems

Top Venues

SAFECOMP Workshops

MoDELS (Companion)

Publications

Sahar Kokaly, Davide Di Ruscio
Preface to the JOT issue on 18th European Conference on Modelling Foundations and Applications (ECMFA 2022). J. Object Technol. 21 (3) (2022)
Jason Jaskolka, Brahim Hamid, Sahar Kokaly
Software Design Trends Supporting Multiconcern Assurance. IEEE Softw. 39 (4) (2022)
Ramy Shahin, Sahar Kokaly, Marsha Chechik
Towards Certified Analysis of Software Product Line Safety Cases. SAFECOMP (2021)
Ramy Shahin, Sahar Kokaly, Marsha Chechik
Towards Certified Analysis of Software Product Line Safety Cases. CoRR (2021)
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik
Heterogeneous megamodel management using collection operators. Softw. Syst. Model. 19 (1) (2020)
Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. MoDELS (Companion) (2020)
Mike Maksimov, Sahar Kokaly, Marsha Chechik
A Survey of Tool-supported Assurance Case Assessment Techniques. ACM Comput. Surv. 52 (5) (2019)
Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. VSTTE (2019)
Mona Rahimi, Jin L. C. Guo, Sahar Kokaly, Marsha Chechik
Toward Requirements Specification for Machine-Learned Components. RE Workshops (2019)
Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. MoDELS (Companion) (2019)
Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
Software Assurance in an Uncertain World. FASE (2019)
Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik
Two Decades of Assurance Case Tools: A Survey. SAFECOMP Workshops (2018)
Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. SAFECOMP Workshops (2018)
Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP (2017)
Sahar Kokaly
Managing assurance cases in model based software systems. ICSE (Companion Volume) (2017)
Silvia Abrahão, Francis Bourdeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle
User Experience for Model-Driven Engineering: Challenges and Future Directions. MoDELS (2017)
Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum
Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS (2016)
Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum
Model management for regulatory compliance: a position paper. MiSE@ICSE (2016)
Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
A model management approach for assurance case reuse due to system evolution. MoDELS (2016)
Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum
Analysis of Source-to-Target Model Transformations in QueST. AMT@MoDELS (2015)
Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Hamid Gholizadeh
Elementary Model Management Patterns. PAME@STAF (2015)
Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
MMINT: A Graphical Tool for Interactive Model Management. P&D@MoDELS (2015)
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik
Enriching megamodel management with collection-based operators. MoDELS (2015)
Sahar Kokaly
Towards a Structured Workflow Language for Model Management. MoDELS (Doctoral Symposium) (2014)
Zinovy Diskin, Sahar Kokaly, Tom Maibaum
Mapping-Aware Megamodeling: Design Patterns and Laws. SLE (2013)