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 (RTSS, 2004)

A model-based design framework to achieve end-to-end QoS management. - Sujata Mujumdar; Nagabhushan Mahadevan; Sandeep Neema; Sherif Abdelwahed (ACM Southeast Regional Conference (1), 2005)

Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment. - Eric-Jan Manders; Gautam Biswas; Nagabhushan Mahadevan; Gabor Karsai (MDB/MOMPES, 2006)

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)

Fault-Adaptivity in Hard Real-Time Component-Based Software Systems. - Abhishek Dubey; Gabor Karsai; Nagabhushan Mahadevan (Software Engineering for Self-Adaptive Systems, 2010)

A Real-Time Component Framework: Experience with CCM and ARINC-653. - Abhishek Dubey; Gabor Karsai; Róbert Kereskényi; Nagabhushan Mahadevan (ISORC, 2010)

Application of software health management techniques. - Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (SEAMS, 2011)

A component model for hard real-time systems: CCM with ARINC-653. - Abhishek Dubey; Gabor Karsai; Nagabhushan Mahadevan (Softw. Pract. Exp., 2011)

Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode. - Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (ISORC, 2012)

Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation. - Akshay Dabholkar; Abhishek Dubey; Aniruddha S. Gokhale; Gabor Karsai; Nagabhushan Mahadevan (SRDS, 2012)

Deliberative, search-based mitigation strategies for model-based software health management. - Nagabhushan Mahadevan; Abhishek Dubey; Daniel Balasubramanian; Gabor Karsai (Innov. Syst. Softw. Eng., 2013)

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)

Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems. - Ajay Chhokra; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (ICCPS, 2016)

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 (SPSR-SG@CPSWeek, 2017)

Diagnostics and prognostics using temporal causal models for cyber physical energy systems. - Ajay Chhokra; Saqib Hasan; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (ICCPS, 2017)

A simulation testbed for cascade analysis. - Saqib Hasan; Ajay Chhokra; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai; Rishabh Jain; Srdjan M. Lukic (ISGT, 2017)

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 (DESTION@CPSIoTWeek, 2019)

A CPS toolchain for learning-based systems: demo abstract. - Charles Hartsell; Nagabhushan Mahadevan; Shreyas Ramakrishna; Abhishek Dubey; Theodore Bapty; Gabor Karsai (ICCPS, 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 (ISORC, 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 (RSP, 2019)

Qualitative Fault Modeling in Safety Critical Cyber Physical Systems. - Ajay Chhokra; Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (SAM, 2020)

Workflow Automation for Cyber Physical System Development Processes. - Charles Hartsell; Nagabhushan Mahadevan; Harmon Nine; Ted Bapty; Abhishek Dubey; Gabor Karsai (CoRR, 2020)

Automated Method for Assurance Case Construction from System Design Models. - Charles Hartsell; Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (ICSRS, 2021)

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. - Charles Hartsell; Shreyas Ramakrishna; Abhishek Dubey; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai (SEAMS@ICSE, 2021)

Fault-Adaptive Autonomy in Systems with Learning-Enabled Components. - Dániel Stojcsics; Dimitrios Boursinos; Nagabhushan Mahadevan; Xenofon D. Koutsoukos; Gabor Karsai (Sensors, 2021)

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 (Zenodo, 2023)

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees). - Serena Serbinowska; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai; Taylor T. Johnson (Zenodo, 2023)

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees). - Serena Serbinowska; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai; Taylor T. Johnson (Zenodo, 2023)

Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. - Patrik Meijer; Nag Mahadevan; Mark Wutka; Gabor Karsai (MoDELS (Companion), 2024)