Charles Hartsell

According to our database, Charles Hartsell authored at least 11 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.

Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Automated Method for Assurance Case Construction from System Design Models.

Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai

Proceedings of the 5th International Conference on System Reliability and Safety, 2021

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

Workflow Automation for Cyber Physical System Development Processes.

Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai

CoRR, 2020

A Methodology for Automating Assurance Case Generation.

Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pratim Pal, Gabor Karsai

CoRR, 2020

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

Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019

Practical Causal Models for Cyber-Physical Systems.

Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai

Proceedings of the NASA Formal Methods - 11th International Symposium, 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

Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

A CPS toolchain for learning-based systems: demo abstract.

Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

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

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2017

Timing analysis of a middleware-based system.

Charles Hartsell, Gabor Karsai, Michael R. Lowry

Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, 2017