Timing analysis of a middleware-based system. - Charles Hartsell; Gabor Karsai; Michael R. Lowry (ARM@Middleware, 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)

Practical Causal Models for Cyber-Physical Systems. - Amjad Ibrahim; Severin Kacianka; Alexander Pretschner; Charles Hartsell; Gabor Karsai (NFM, 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)

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

Workflow Automation for Cyber Physical System Development Processes. - Charles Hartsell; Nagabhushan Mahadevan; Harmon Nine; Ted Bapty; Abhishek Dubey; 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)

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)