Sahar Kokaly

34 papers A 3B 5Journal 7Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach.
IEEE Trans. Software Eng.
Nunzio Marco Bisceglia, Aurora Francesca Zanenga, Mehrnoosh Askarpour, Sahar Kokaly, S. Ramesh, Marsha Chechik, Claudio Menghi
2024 J jnl
An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities.
CoRR
Mehrnoosh Askarpour, Sahar Kokaly, Ramesh S
2024 B conf
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems.
SAFECOMP
Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng
2022 J jnl
Preface to the JOT issue on 18th European Conference on Modelling Foundations and Applications (ECMFA 2022).
J. Object Technol.
Sahar Kokaly, Davide Di Ruscio
2022 J jnl
Software Design Trends Supporting Multiconcern Assurance.
IEEE Softw.
Jason Jaskolka, Brahim Hamid, Sahar Kokaly
2021 B conf
Towards Certified Analysis of Software Product Line Safety Cases.
SAFECOMP
Ramy Shahin, Sahar Kokaly, Marsha Chechik
2021 J jnl
Towards Certified Analysis of Software Product Line Safety Cases.
CoRR
Ramy Shahin, Sahar Kokaly, Marsha Chechik
2020 J jnl
Heterogeneous megamodel management using collection operators.
Softw. Syst. Model.
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik
2020 — conf
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.
MoDELS (Companion)
Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly
2019 J jnl
A Survey of Tool-supported Assurance Case Assessment Techniques.
ACM Comput. Surv.
Mike Maksimov, Sahar Kokaly, Marsha Chechik
2019 — conf
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra.
MoDELS (Companion)
Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
2019 B conf
Software Assurance in an Uncertain World.
FASE
Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
2019 — conf
Toward Requirements Specification for Machine-Learned Components.
RE Workshops
Mona Rahimi, Jin L. C. Guo, Sahar Kokaly, Marsha Chechik
2019 — conf
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework.
VSTTE
Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger
2018 — conf
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases.
SAFECOMP Workshops
Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik
2018 — ed.
Proceedings of the 10th International Workshop on Modelling in Software Engineering, MiSE@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018
MiSE@ICSE
Jennifer Horkoff, Sahar Kokaly, Richard F. Paige, Jocelyn Simmonds
2018 — ed.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
MoDELS (Companion)
Önder Babur, Daniel Strüber, Silvia Abrahão, Loli Burgueño, Martin Gogolla, Joel Greenyer, Sahar Kokaly, Dimitris S. Kolovos, Tanja Mayerhofer, Mansooreh Zahedi
2018 — conf
Two Decades of Assurance Case Tools: A Survey.
SAFECOMP Workshops
Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik
2017 — conf
Managing assurance cases in model based software systems.
ICSE (Companion Volume)
Sahar Kokaly
2017 — ed.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017.
MoDELS (Satellite Events)
Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio
2017 B conf
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.
SAFECOMP
Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
2017 A conf
User Experience for Model-Driven Engineering: Challenges and Future Directions.
MoDELS
Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle
2016 A conf
A model management approach for assurance case reuse due to system evolution.
MoDELS
Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
2016 — conf
Heterogeneous Megamodel Slicing for Model Evolution.
ME@MoDELS
Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum
2016 — conf
Model management for regulatory compliance: a position paper.
MiSE@ICSE
Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum
2015 — conf
Analysis of Source-to-Target Model Transformations in QueST.
AMT@MoDELS
Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum
2015 — conf
Elementary Model Management Patterns.
PAME@STAF
Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Hamid Gholizadeh
2015 A conf
Enriching megamodel management with collection-based operators.
MoDELS
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik
2015 — ed.
Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, GEMOC+MPM@MoDELS 2015, Ottawa, Canada, September 28, 2015.
GEMOC+MPM
Benoît Combemale, Julien Deantoni, Jeff Gray, Daniel Balasubramanian, Bruno Barroca, Sahar Kokaly, Gergely Mezei, Pieter Van Gorp
2015 — conf
MMINT: A Graphical Tool for Interactive Model Management.
P&D@MoDELS
Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
2015 — ed.
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), Ottawa, Canada, September 28, 2015.
AMT@MoDELS
Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe
2014 — ed.
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September 30, 2014.
MPM@MoDELS
Daniel Balasubramanian, Christophe Jacquet, Pieter Van Gorp, Sahar Kokaly, Tamás Mészáros
2014 — conf
Towards a Structured Workflow Language for Model Management.
MoDELS (Doctoral Symposium)
Sahar Kokaly
2013 B conf
Mapping-Aware Megamodeling: Design Patterns and Laws.
SLE
Zinovy Diskin, Sahar Kokaly, Tom Maibaum