18 citations · 18 across the 5 of their papers we have counts for
11 papers
Syntheto: A Surface Language for APT and ACL2
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Shreyas Ramakrishna, Baiting Luo, Yogesh Barve +2
Autonomous Cyber-Physical Systems must often operate under uncertainties like sensor degradation and shifts in the operating conditions, which increases its operational risk. Dynam…
Efficient Out-of-Distribution Detection Using Latent Space of -VAE for Cyber-Physical Systems
Shreyas Ramakrishna, Zahra Rahiminasab, Gabor Karsai +2
Deep Neural Networks are actively being used in the design of autonomous Cyber-Physical Systems (CPSs). The advantage of these models is their ability to handle high-dimensional st…
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey +3
Autonomous CPSs are often required to handle uncertainties and self-manage the system operation in response to problems and increasing risk in the operating paradigm. This risk may…
Workflow Automation for Cyber Physical System Development Processes
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine +3
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performanc…
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge
Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun +4
Deep Learning (DL) model-based AI services are increasingly offered in a variety of predictive analytics services such as computer vision, natural language processing, speech recog…