Charles Hartsell

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 13

Top Topics

Risk Assessment

Development Process

Autonomous Robots

Top Venues

DESTION@CPSIoTWeek

Publications

Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. CoRR (2021)
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. SEAMS@ICSE (2021)
Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
Automated Method for Assurance Case Construction from System Design Models. ICSRS (2021)
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pratim Pal, Gabor Karsai
A Methodology for Automating Assurance Case Generation. CoRR (2020)
Shreyas Ramakrishna, Charles Hartsell, Matthew P. Burruss, Gabor Karsai, Abhishek Dubey
Dynamic-weighted simplex strategy for learning enabled cyber physical systems. J. Syst. Archit. 111 (2020)
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
Workflow Automation for Cyber Physical System Development Processes. CoRR (2020)
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. ISORC (2019)
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
CPS Design with Learning-Enabled Components: A Case Study. RSP (2019)
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
Model-based design for CPS with learning-enabled components. DESTION@CPSIoTWeek (2019)
Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai
Practical Causal Models for Cyber-Physical Systems. NFM (2019)
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai
A CPS toolchain for learning-based systems: demo abstract. ICCPS (2019)
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. CoRR (2019)
Charles Hartsell, Gabor Karsai, Michael R. Lowry
Timing analysis of a middleware-based system. ARM@Middleware (2017)