Nagabhushan Mahadevan

28 papers A 2B 1C 5Journal 8Unranked 12

Year	Rank	Type	Title / 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