Nagabhushan Mahadevan

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 15

Top Topics

Development Process

Health Management

Top Venues

Publications

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