Hierarchical Model Exploration for Exposing Off-nominal Behaviors. - Kaushik Madala; Hyunsook Do; Daniel Aceituna (MoDELS (Satellite Events), 2017)

Automated Identification of Component State Transition Model Elements from Requirements. - Kaushik Madala; Danielle Gaither; Rodney Nielsen; Hyunsook Do (RE Workshops, 2017)

A combinatorial approach for exposing off-nominal behaviors. - Kaushik Madala; Hyunsook Do; Daniel Aceituna (ICSE, 2018)

Deriving Functional Safety Requirements Using Undesired Combination State Templates. - Daniel Aceituna; Kaushik Madala; Hyunsook Do (RESACS@RE, 2018)

A Knowledge Acquisition Approach for Off-Nominal Behaviors. - Kaushik Madala; Hyunsook Do; Daniel Aceituna (RESACS@RE, 2018)

Finding Component State Transition Model Elements Using Neural Networks: An Empirical Study. - Kaushik Madala; Shraddha Piparia; Hyunsook Do; Renée C. Bryce (AIRE@RE, 2018)

An artificial intelligence-based model-driven approach for exposing off-nominal behaviors. - Kaushik Madala (ICSE (Companion Volume), 2019)

Exposing off-nominal behaviors in multi-robot coordination. - Kaushik Madala; Hyunsook Do; Daniel Aceituna (RoSE@ICSE, 2019)

VeriCCM: improving the syntax and semantics of requirements models. - Danielle Gaither; Kaushik Madala; Hyunsook Do; Barrett R. Bryant (SAC, 2019)

SACC - A property driven approach to expose undesired behaviors among system's components. - Kaushik Madala; Ke Ye Hang; Hyunsook Do; Bastian Tenbergen (ISSRE, 2020)

Functional Safety Hazards for Machine Learning Components in Autonomous Vehicles. - Kaushik Madala; Hyunsook Do (ICPS, 2021)

A Hierarchical Dependency-Driven Scenario-Based Testing for Autonomous Vehicles. - Kaushik Madala; Hyunsook Do (SMARTGREENS/VEHITS (Selected Papers), 2021)

Resolving Confusion of Unknowns in Autonomous Vehicles: Types and Perspectives. - Kaushik Madala; Hyunsook Do (VEHITS, 2021)

The Need for Location-based Machine Learning Models for Level 5 Automated Vehicles. - Kaushik Madala; Hyunsook Do (VEHITS, 2021)

A Dependency-based Combinatorial Approach for Reducing Effort for Scenario-based Safety Analysis of Autonomous Vehicles. - Kaushik Madala; Hyunsook Do; Carlos Avalos-Gonzalez (VEHITS, 2021)

Model elements identification using neural networks: a comprehensive study. - Kaushik Madala; Shraddha Piparia; Eduardo Blanco 002; Hyunsook Do; Renée C. Bryce (Requir. Eng., 2021)

Identifying safety issues from energy conservation requirements. - Kaushik Madala; Hyunsook Do; Bastian Tenbergen (J. Softw. Evol. Process., 2023)

ADSA - Association-Driven Safety Analysis to Expose Unknown Safety Issues. - Kaushik Madala; Hyunsook Do; Bastian Tenbergen (IEEE Trans. Dependable Secur. Comput., 2024)