| 2021 | VEHITS | Resolving Confusion of Unknowns in Autonomous Vehicles: Types and Perspectives. | Kaushik Madala, Hyunsook Do |
| 2021 | VEHITS | The Need for Location-based Machine Learning Models for Level 5 Automated Vehicles. | Kaushik Madala, Hyunsook Do |
| 2021 | VEHITS | A Dependency-based Combinatorial Approach for Reducing Effort for Scenario-based Safety Analysis of Autonomous Vehicles. | Kaushik Madala, Hyunsook Do, Carlos Avalos-Gonzalez |
| 2020 | ISSRE | SACC - A property driven approach to expose undesired behaviors among system's components. | Kaushik Madala, Ke Ye Hang, Hyunsook Do, Bastian Tenbergen |
| 2019 | ICSE | An artificial intelligence-based model-driven approach for exposing off-nominal behaviors. | Kaushik Madala |
| 2019 | ICSE | Exposing off-nominal behaviors in multi-robot coordination. | Kaushik Madala, Hyunsook Do, Daniel Aceituna |
| 2019 | SAC | VeriCCM: improving the syntax and semantics of requirements models. | Danielle Gaither, Kaushik Madala, Hyunsook Do, Barrett R. Bryant |
| 2018 | ICSE | A combinatorial approach for exposing off-nominal behaviors. | Kaushik Madala, Hyunsook Do, Daniel Aceituna |
| 2018 | RE | Deriving Functional Safety Requirements Using Undesired Combination State Templates. | Daniel Aceituna, Kaushik Madala, Hyunsook Do |
| 2018 | RE | A Knowledge Acquisition Approach for Off-Nominal Behaviors. | Kaushik Madala, Hyunsook Do, Daniel Aceituna |
| 2018 | RE | Finding Component State Transition Model Elements Using Neural Networks: An Empirical Study. | Kaushik Madala, Shraddha Piparia, Hyunsook Do, Rene C. Bryce |
| 2017 | MODELS | Hierarchical Model Exploration for Exposing Off-nominal Behaviors. | Kaushik Madala, Hyunsook Do, Daniel Aceituna |
| 2017 | RE | Automated Identification of Component State Transition Model Elements from Requirements. | Kaushik Madala, Danielle Gaither, Rodney Nielsen, Hyunsook Do |