Follow
Charles Hartsell
Charles Hartsell
Verified email at vanderbilt.edu
Title
Cited by
Cited by
Year
Model-based design for cps with learning-enabled components
C Hartsell, N Mahadevan, S Ramakrishna, A Dubey, T Bapty, T Johnson, ...
Proceedings of the Workshop on Design Automation for CPS and IoT, 1-9, 2019
252019
Resonate: A runtime risk assessment framework for autonomous systems
C Hartsell, S Ramakrishna, A Dubey, D Stojcsics, N Mahadevan, G Karsai
2021 International Symposium on Software Engineering for Adaptive and Self …, 2021
202021
Practical causal models for cyber-physical systems
A Ibrahim, S Kacianka, A Pretschner, C Hartsell, G Karsai
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
202019
Augmenting learning components for safety in resource constrained autonomous robots
S Ramakrishna, A Dubey, MP Burruss, C Hartsell, N Mahadevan, ...
2019 IEEE 22nd International Symposium on Real-Time Distributed Computing …, 2019
112019
Cps design with learning-enabled components: A case study
C Hartsell, N Mahadevan, S Ramakrishna, A Dubey, T Bapty, T Johnson, ...
Proceedings of the 30th International Workshop on Rapid System Prototyping …, 2019
82019
A methodology for automating assurance case generation
S Ramakrishna, C Hartsell, A Dubey, P Pal, G Karsai
arXiv preprint arXiv:2003.05388, 2020
72020
Workflow automation for cyber physical system development processes
C Hartsell, N Mahadevan, H Nine, T Bapty, A Dubey, G Karsai
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION), 1-9, 2020
62020
Automated method for assurance case construction from system design models
C Hartsell, N Mahadevan, A Dubey, G Karsai
2021 5th International Conference on System Reliability and Safety (ICSRS …, 2021
52021
Timing analysis of a middleware-based system
C Hartsell, G Karsai, M Lowry
Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, 1-6, 2017
12017
Safety Assurance Techniques for Autonomous Cyber Physical Systems
CA Hartsell
Vanderbilt University, 2021
2021
A CPS toolchain for learning-based systems: demo abstract
C Hartsell, N Mahadevan, S Ramakrishna, A Dubey, T Bapty, G Karsai
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019
2019
Demo Abstract: A CPS Toolchain for Learning-based Systems
C Hartsell, N Mahadevan, S Ramakrishna, A Dubey, T Bapty, G Karsai
2019
Timing analysis for UAS application software
C Hartsell, G Karsai, M Lowry
2018 IEEE Aerospace Conference, 1-10, 2018
2018
Xiang, Weiming 21
X Yang, W Barbour, M Burns, A Dubey, S ElSaid, B Freeze, ...
DESTION 2020
C Hartsell, N Mahadevan, G Karsai, T Roth, C Lemieux, M Burns, HD Tran, ...
The system can't perform the operation now. Try again later.
Articles 1–15