Sahar Kokaly

According to our database, Sahar Kokaly authored at least 24 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Software Design Trends Supporting Multiconcern Assurance.

Jason Jaskolka, Brahim Hamid, Sahar Kokaly

IEEE Softw., 2022

Preface to the JOT issue on 18th European Conference on Modelling Foundations and Applications (ECMFA 2022).

Sahar Kokaly, Davide Di Ruscio

J. Object Technol., 2022

2021

Towards Certified Analysis of Software Product Line Safety Cases.

Ramy Shahin, Sahar Kokaly, Marsha Chechik

Proceedings of the Computer Safety, Reliability, and Security, 2021

2020

Heterogeneous megamodel management using collection operators.

Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik

Softw. Syst. Model., 2020

MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.

Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

A Survey of Tool-supported Assurance Case Assessment Techniques.

Mike Maksimov, Sahar Kokaly, Marsha Chechik

ACM Comput. Surv., 2019

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework.

Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Toward Requirements Specification for Machine-Learned Components.

Mona Rahimi, Jin L. C. Guo, Sahar Kokaly, Marsha Chechik

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Querying Automotive System Models and Safety Artifacts with MMINT and Viatra.

Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Software Assurance in an Uncertain World.

Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Two Decades of Assurance Case Tools: A Survey.

Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik

Proceedings of the Computer Safety, Reliability, and Security, 2018

MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases.

Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.

Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum

Proceedings of the Computer Safety, Reliability, and Security, 2017

User Experience for Model-Driven Engineering: Challenges and Future Directions.

Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Managing assurance cases in model based software systems.

Sahar Kokaly

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Heterogeneous Megamodel Slicing for Model Evolution.

Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum

Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

A model management approach for assurance case reuse due to system evolution.

Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Model management for regulatory compliance: a position paper.

Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

2015

Elementary Model Management Patterns.

Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Hamid Gholizadeh

Proceedings of the First Workshop on Patterns in Model Engineering, 2015

MMINT: A Graphical Tool for Interactive Model Management.

Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Enriching megamodel management with collection-based operators.

Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Analysis of Source-to-Target Model Transformations in QueST.

Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014

Towards a Structured Workflow Language for Model Management.

Sahar Kokaly

Proceedings of Doctoral Symposium co-located with 17th International Conference on Model Driven Engineering Languages and Systems (2014), 2014

2013

Mapping-Aware Megamodeling: Design Patterns and Laws.

Zinovy Diskin, Sahar Kokaly, Tom Maibaum

Proceedings of the Software Language Engineering - 6th International Conference, 2013