Kaushik Madala

18 papers A* 1A 1C 3Misc 1Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2024 J jnl
ADSA - Association-Driven Safety Analysis to Expose Unknown Safety Issues.
IEEE Trans. Dependable Secur. Comput.
Kaushik Madala, Hyunsook Do, Bastian Tenbergen
2023 J jnl
Identifying safety issues from energy conservation requirements.
J. Softw. Evol. Process.
Kaushik Madala, Hyunsook Do, Bastian Tenbergen
2021 C conf
A Dependency-based Combinatorial Approach for Reducing Effort for Scenario-based Safety Analysis of Autonomous Vehicles.
VEHITS
Kaushik Madala, Hyunsook Do, Carlos Avalos-Gonzalez
2021 — conf
A Hierarchical Dependency-Driven Scenario-Based Testing for Autonomous Vehicles.
SMARTGREENS/VEHITS (Selected Papers)
Kaushik Madala, Hyunsook Do
2021 — conf
Functional Safety Hazards for Machine Learning Components in Autonomous Vehicles.
ICPS
Kaushik Madala, Hyunsook Do
2021 J jnl
Model elements identification using neural networks: a comprehensive study.
Requir. Eng.
Kaushik Madala, Shraddha Piparia, Eduardo Blanco, Hyunsook Do, Renée C. Bryce
2021 C conf
Resolving Confusion of Unknowns in Autonomous Vehicles: Types and Perspectives.
VEHITS
Kaushik Madala, Hyunsook Do
2021 C conf
The Need for Location-based Machine Learning Models for Level 5 Automated Vehicles.
VEHITS
Kaushik Madala, Hyunsook Do
2020 A conf
SACC - A property driven approach to expose undesired behaviors among system's components.
ISSRE
Kaushik Madala, Ke Ye Hang, Hyunsook Do, Bastian Tenbergen
2019 — conf
An artificial intelligence-based model-driven approach for exposing off-nominal behaviors.
ICSE (Companion Volume)
Kaushik Madala
2019 — conf
Exposing off-nominal behaviors in multi-robot coordination.
RoSE@ICSE
Kaushik Madala, Hyunsook Do, Daniel Aceituna
2019 Misc conf
VeriCCM: improving the syntax and semantics of requirements models.
SAC
Danielle Gaither, Kaushik Madala, Hyunsook Do, Barrett R. Bryant
2018 — conf
A Knowledge Acquisition Approach for Off-Nominal Behaviors.
RESACS@RE
Kaushik Madala, Hyunsook Do, Daniel Aceituna
2018 A* conf
A combinatorial approach for exposing off-nominal behaviors.
ICSE
Kaushik Madala, Hyunsook Do, Daniel Aceituna
2018 — conf
Deriving Functional Safety Requirements Using Undesired Combination State Templates.
RESACS@RE
Daniel Aceituna, Kaushik Madala, Hyunsook Do
2018 — conf
Finding Component State Transition Model Elements Using Neural Networks: An Empirical Study.
AIRE@RE
Kaushik Madala, Shraddha Piparia, Hyunsook Do, Renée C. Bryce
2017 — conf
Automated Identification of Component State Transition Model Elements from Requirements.
RE Workshops
Kaushik Madala, Danielle Gaither, Rodney Nielsen, Hyunsook Do
2017 — conf
Hierarchical Model Exploration for Exposing Off-nominal Behaviors.
MoDELS (Satellite Events)
Kaushik Madala, Hyunsook Do, Daniel Aceituna