Publications

Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher Kuhn, Gabor Karsai, Ayan Mukhopadhyay (2023). Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems. In ACM/IEEE 14th International Conference on Cyber-Physical Systems (ICCPS 2023).

PDF Cite

Shreyas Ramakrishna, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy (2022). Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems. In 41st International Conference on Computer Safety, Reliability and Security (Safecomp 2022).

PDF Cite Code

Shreyas Ramakrishna, Baiting Luo, Christopher Kuhn, Gabor Karsai, Abhishek Dubey (2022). ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. In 25th IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2022).

PDF Cite Code

Shreyas Ramakrishna, Baiting Luo, Yogesh Barve, Gabor Karsai, Abhishek Dubey (2022). Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. In International Conference on Assured Autonomy 2022.

PDF Cite Code

Shreyas Ramakrishna, Zahra Rahiminasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey (2021). Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. In ACM Transactions on Cyber-Physical Systems 2021.

PDF Cite Code

Matthew Burruss, Shreyas Ramakrishna, Abhishek Dubey (2021). Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems. In 7th IEEE International Conference on Smart Computing 2021.

PDF Cite

Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Daniel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai (2021). ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. In Proceedings of the 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems 2021.

PDF Cite Code

Vijay kumar Sundar, Shreyas Ramakrishna, Zahra Rahiminasab, Arvind Easwaran, Abhishek Dubey (2020). Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of Beta-VAE. In SPW'20.

PDF Cite

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

PDF Cite Code

Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pal, Gabor Karsai (2020). A Methodology for Automating Assurance Case Generation. In TMCE'20.

PDF Cite

Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor Johnson, Xenofon Koutsoukos, Janos Sztipanovits, Gabor Karsai (2019). Model-based design for cps with learning-enabled components. In Proceedings of the Workshop on Design Automation for CPS and IoT.

PDF Cite Project

Shreyas Ramakrishna, Charles Hartsell, Matthew P Burruss, Gabor Karsai, Abhishek Dubey (2019). Dynamic-weighted simplex strategy for learning enabled cyber physical systems. In JSA'20.

PDF Cite Code

Matthew P Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey (2019). Deepnncar: A testbed for deploying and testing middleware frameworks for autonomous robots. In ISORC'19.

PDF Cite Code

Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor Johnson, Xenofon Koutsoukos, Janos Sztipanovits, Gabor Karsai (2019). CPS Design with Learning-Enabled Components: A Case Study. In Proceedings of the 30th International Workshop on Rapid System Prototyping.

PDF Cite Project

Shreyas Ramakrishna, Abhishek Dubey, Matthew P Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai (2019). Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. In ISORC'19.

PDF Cite Code

Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai (2019). A CPS toolchain for learning-based systems: demo abstract. In Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems.

PDF Cite Project