Nagabhushan Mahadevan

28 papers A 2B 1C 5Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2025 C conf
Hardware in the Loop Evaluation on Autonomous Underwater Vehicles using an Edge Device.
ISORC
Joseph Hite, Nagabhushan Mahadevan, Dániel Stojcsics, Gabor Karsai, Sandeep Neema, Roopa Vasan, Rachael Williams, Christian Clark, Alex Kilfoyle
2021 — conf
Automated Method for Assurance Case Construction from System Design Models.
ICSRS
Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2021 J jnl
Fault-Adaptive Autonomy in Systems with Learning-Enabled Components.
Sensors
Dániel Stojcsics, Dimitrios Boursinos, Nagabhushan Mahadevan, Xenofon D. Koutsoukos, Gabor Karsai
2021 — conf
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.
SEAMS@ICSE
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
2021 J jnl
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.
CoRR
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
2020 — conf
Qualitative Fault Modeling in Safety Critical Cyber Physical Systems.
SAM
Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2020 J jnl
Workflow Automation for Cyber Physical System Development Processes.
CoRR
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
2019 — conf
A CPS toolchain for learning-based systems: demo abstract.
ICCPS
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai
2019 C conf
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.
ISORC
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
2019 J jnl
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.
CoRR
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
2019 C conf
CPS Design with Learning-Enabled Components: A Case Study.
RSP
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2019 — conf
Model-based design for CPS with learning-enabled components.
DESTION@CPSIoTWeek
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2017 — conf
A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems.
SPSR-SG@CPSWeek
Ajay Chhokra, Amogh Kulkarni, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
2017 — conf
A simulation testbed for cascade analysis.
ISGT
Saqib Hasan, Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Rishabh Jain, Srdjan M. Lukic
2017 — conf
Diagnostics and prognostics using temporal causal models for cyber physical energy systems.
ICCPS
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
2016 — conf
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems.
ICCPS
Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
2015 J jnl
Using temporal causal models to isolate failures in power system protection devices.
IEEE Instrum. Meas. Mag.
Nagabhushan Mahadevan, Abhishek Dubey, Ajay Chhokra, Huangcheng Guo, Gabor Karsai
2013 J jnl
Deliberative, search-based mitigation strategies for model-based software health management.
Innov. Syst. Softw. Eng.
Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
2012 C conf
Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode.
ISORC
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2012 B conf
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation.
SRDS
Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan
2011 J jnl
A component model for hard real-time systems: CCM with ARINC-653.
Softw. Pract. Exp.
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
2011 A conf
Application of software health management techniques.
SEAMS
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2010 C conf
A Real-Time Component Framework: Experience with CCM and ARINC-653.
ISORC
Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan
2010 — conf
Fault-Adaptivity in Hard Real-Time Component-Based Software Systems.
Software Engineering for Self-Adaptive Systems
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
2009 J jnl
Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models.
IEEE Trans. Instrum. Meas.
Sherif Abdelwahed, Gabor Karsai, Nagabhushan Mahadevan, Stanley C. Ofsthun
2006 — conf
Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment.
MDB/MOMPES
Eric-Jan Manders, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai
2005 — conf
A model-based design framework to achieve end-to-end QoS management.
ACM Southeast Regional Conference (1)
Sujata Mujumdar, Nagabhushan Mahadevan, Sandeep Neema, Sherif Abdelwahed
2004 A conf
A Model-Based Approach to Designing QoS Adaptive Applications.
RTSS
Jianming Ye, Joseph P. Loyall, Richard Shapiro, Richard E. Schantz, Sandeep Neema, Sherif Abdelwahed, Nagabhushan Mahadevan, Michael A. Koets, Denise Varner