| 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 | 33 | 2019 |
| 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 | 22 | 2021 |
| 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 | 21 | 2019 |
| 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 | 11 | 2019 |
| A methodology for automating assurance case generation S Ramakrishna, C Hartsell, A Dubey, P Pal, G Karsai arXiv preprint arXiv:2003.05388, 2020 | 10 | 2020 |
| 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 | 9 | 2019 |
| 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 | 8 | 2021 |
| 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 | 6 | 2020 |
| 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 | 1 | 2017 |
| 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, ... | | |
