Sahar Kokaly

Sahar Kokaly is an Adjunct Assistant Professor in the Department of Computing and Software at McMaster University. Her work focuses on software engineering, automotive systems, and model-driven development, particularly in safety assurance and model management. She has developed tools like MMINT-A and OCL for formal verification.

• Research Interests:
  • Software and systems modeling
  • Safety-critical systems
  • Automotive software engineering
  • Model reuse and evolution
  • Regulatory compliance
  • Tool development for model-driven engineering

Publications highlight her contributions to automotive software safety (e.g., 2024: Comprehensive Change Impact Analysis), model management frameworks (e.g., 2021: Certified Analysis of Safety Cases), and user experience in MDE (2017: Challenges and Future Directions).