Kaushik Madala

According to our database, Kaushik Madala authored at least 17 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ADSA - Association-Driven Safety Analysis to Expose Unknown Safety Issues.

Kaushik Madala, Hyunsook Do, Bastian Tenbergen

IEEE Trans. Dependable Secur. Comput., 2024

2023

Identifying safety issues from energy conservation requirements.

Kaushik Madala, Hyunsook Do, Bastian Tenbergen

J. Softw. Evol. Process., July, 2023

2021

Model elements identification using neural networks: a comprehensive study.

Kaushik Madala, Shraddha Piparia, Eduardo Blanco, Hyunsook Do, Renée C. Bryce

Requir. Eng., 2021

A Dependency-based Combinatorial Approach for Reducing Effort for Scenario-based Safety Analysis of Autonomous Vehicles.

Kaushik Madala, Hyunsook Do, Carlos Avalos-Gonzalez

Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems, 2021

The Need for Location-based Machine Learning Models for Level 5 Automated Vehicles.

Kaushik Madala, Hyunsook Do

Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems, 2021

Resolving Confusion of Unknowns in Autonomous Vehicles: Types and Perspectives.

Kaushik Madala, Hyunsook Do

Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems, 2021

Functional Safety Hazards for Machine Learning Components in Autonomous Vehicles.

Kaushik Madala, Hyunsook Do

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

2020

SACC - A property driven approach to expose undesired behaviors among system's components.

Kaushik Madala, Ke Ye Hang, Hyunsook Do, Bastian Tenbergen

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

2019

VeriCCM: improving the syntax and semantics of requirements models.

Danielle Gaither, Kaushik Madala, Hyunsook Do, Barrett R. Bryant

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Exposing off-nominal behaviors in multi-robot coordination.

Kaushik Madala, Hyunsook Do, Daniel Aceituna

Proceedings of the 2nd International Workshop on Robotics Software Engineering, 2019

An artificial intelligence-based model-driven approach for exposing off-nominal behaviors.

Kaushik Madala

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Finding Component State Transition Model Elements Using Neural Networks: An Empirical Study.

Kaushik Madala, Shraddha Piparia, Hyunsook Do, Renée C. Bryce

Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, 2018

A Knowledge Acquisition Approach for Off-Nominal Behaviors.

Kaushik Madala, Hyunsook Do, Daniel Aceituna

Proceedings of the 4th International Workshop on Requirements Engineering for Self-Adaptive, 2018

Deriving Functional Safety Requirements Using Undesired Combination State Templates.

Daniel Aceituna, Kaushik Madala, Hyunsook Do

Proceedings of the 4th International Workshop on Requirements Engineering for Self-Adaptive, 2018

A combinatorial approach for exposing off-nominal behaviors.

Kaushik Madala, Hyunsook Do, Daniel Aceituna

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Automated Identification of Component State Transition Model Elements from Requirements.

Kaushik Madala, Danielle Gaither, Rodney Nielsen, Hyunsook Do

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Hierarchical Model Exploration for Exposing Off-nominal Behaviors.

Kaushik Madala, Hyunsook Do, Daniel Aceituna

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017