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)

DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots. - Matthew P. Burruss; Shreyas Ramakrishna; Gabor Karsai; Abhishek Dubey (ISORC, 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)

Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress. - Shreyas Ramakrishna; Zahra RahimiNasab; Arvind Easwaran; Abhishek Dubey (EMSOFT, 2020)

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE. - Vijaya Kumar Sundar; Shreyas Ramakrishna; Zahra RahimiNasab; Arvind Easwaran; Abhishek Dubey (SP (Workshops), 2020)

A Methodology for Automating Assurance Case Generation. - Shreyas Ramakrishna; Charles Hartsell; Abhishek Dubey; Partha Pratim Pal; Gabor Karsai (CoRR, 2020)

Dynamic-weighted simplex strategy for learning enabled cyber physical systems. - Shreyas Ramakrishna; Charles Hartsell; Matthew P. Burruss; Gabor Karsai; Abhishek Dubey (J. Syst. Archit., 2020)

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)

Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems. - Matthew P. Burruss; Shreyas Ramakrishna; Abhishek Dubey (SMARTCOMP, 2021)

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. - Shreyas Ramakrishna; Zahra RahimiNasab; Gabor Karsai; Arvind Easwaran; Abhishek Dubey (CoRR, 2021)

Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. - Shreyas Ramakrishna; Baiting Luo; Yogesh D. Barve; Gabor Karsai; Abhishek Dubey (ICAA, 2022)

ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. - Shreyas Ramakrishna; Baiting Luo; Christopher B. Kuhn; Gabor Karsai; Abhishek Dubey (ITSC, 2022)

Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems. - Shreyas Ramakrishna; Hyunjee Jin; Abhishek Dubey; Arun Ramamurthy (SAFECOMP, 2022)

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. - Shreyas Ramakrishna; Zahra RahimiNasab; Gabor Karsai; Arvind Easwaran; Abhishek Dubey (ACM Trans. Cyber Phys. Syst., 2022)

Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems. - Baiting Luo; Shreyas Ramakrishna; Ava Pettet; Christopher B. Kuhn; Gabor Karsai; Ayan Mukhopadhyay (ICCPS, 2023)