On the Support of Qualified Associations in OCL. - Lars Hamann; Martin Gogolla; Nisha Desai 001 (OCL@MoDELS, 2016)

Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. - Nisha Desai 001; Martin Gogolla; Frank Hilken (MoDELS (Satellite Events), 2017)

Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. - Martin Gogolla; Frank Hilken; Khanh-Hoang Doan; Nisha Desai 001 (TAP@STAF, 2017)

Generating OCL Constraints from Test Case Schemas For Testing Model Behavior. - Nisha Desai 001; Martin Gogolla (ICTSS, 2018)

Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration. - Andreas Kästner; Martin Gogolla; Khanh-Hoang Doan; Nisha Desai 001 (STAF Workshops, 2018)

A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior. - Nisha Desai 001; Martin Gogolla (MoDELS (Companion), 2019)

Developing User and Recording Interfaces for Design Time and Runtime Models. - Martin Gogolla; Nisha Desai 001; Khanh-Hoang Doan (STAF (Co-Located Events), 2019)

Developing Comprehensive Postconditions Through a Model Transformation Chain. - Nisha Desai 001; Martin Gogolla (J. Object Technol., 2019)

Strengthening validation of model behavior through filmstrip templates in the tool USE. - Nisha Desai 001; Martin Gogolla (MoDELS (Companion), 2020)

Assembling Scenario Patterns for Checking Model Behavior. - Nisha Desai 001; Martin Gogolla (J. Object Technol., 2020)

Quality Assurance for Behavioral UML and OCL Models using Filmstripping. - Nisha Desai 001 (2021)