Nagabhushan Mahadevan

According to our database, Nagabhushan Mahadevan authored at least 29 papers between 2004 and 2024.

Collaborative distances:

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

2024

Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework.

Patrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees).

Serena Serbinowska, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai, Taylor T. Johnson

Dataset, September, 2023

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees).

Serena Serbinowska, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai, Taylor T. Johnson

Dataset, September, 2023

2023 SEFM Artifact for BehaVerify (A Domain Specific Language (DSL) for Behavior Tree Verification and Implementation).

Bernard Serbinowski, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai, Taylor T. Johnson

Dataset, July, 2023

2021

Fault-Adaptive Autonomy in Systems with Learning-Enabled Components.

Dániel Stojcsics, Dimitrios Boursinos, Nagabhushan Mahadevan, Xenofon D. Koutsoukos, Gabor Karsai

Sensors, 2021

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.

Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Automated Method for Assurance Case Construction from System Design Models.

Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai

Proceedings of the 5th International Conference on System Reliability and Safety, 2021

2020

Workflow Automation for Cyber Physical System Development Processes.

Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai

CoRR, 2020

Qualitative Fault Modeling in Safety Critical Cyber Physical Systems.

Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai

Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

2019

CPS Design with Learning-Enabled Components: A Case Study.

Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai

Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019

Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.

Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai

Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

A CPS toolchain for learning-based systems: demo abstract.

Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Model-based design for CPS with learning-enabled components.

Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2017

A simulation testbed for cascade analysis.

Saqib Hasan, Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Rishabh Jain, Srdjan M. Lukic

Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2017

Diagnostics and prognostics using temporal causal models for cyber physical energy systems.

Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems.

Ajay Chhokra, Amogh Kulkarni, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai

Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, 2017

2016

Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems.

Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

2015

Using temporal causal models to isolate failures in power system protection devices.

Nagabhushan Mahadevan, Abhishek Dubey, Ajay Chhokra, Huangcheng Guo, Gabor Karsai

IEEE Instrum. Meas. Mag., 2015

2013

Deliberative, search-based mitigation strategies for model-based software health management.

Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai

Innov. Syst. Softw. Eng., 2013

2012

Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation.

Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode.

Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

2011

A component model for hard real-time systems: CCM with ARINC-653.

Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan

Softw. Pract. Exp., 2011

Application of software health management techniques.

Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

2010

A Real-Time Component Framework: Experience with CCM and ARINC-653.

Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Fault-Adaptivity in Hard Real-Time Component-Based Software Systems.

Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

2009

Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models.

Sherif Abdelwahed, Gabor Karsai, Nagabhushan Mahadevan, Stanley C. Ofsthun

IEEE Trans. Instrum. Meas., 2009

2006

Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment.

Eric-Jan Manders, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai

Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

2005

A model-based design framework to achieve end-to-end QoS management.

Sujata Mujumdar, Nagabhushan Mahadevan, Sandeep Neema, Sherif Abdelwahed

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2004

A Model-Based Approach to Designing QoS Adaptive Applications.

Jianming Ye, Joseph P. Loyall, Richard Shapiro, Richard E. Schantz, Sandeep Neema, Sherif Abdelwahed, Nagabhushan Mahadevan, Michael A. Koets, Denise Varner

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004