Charles Hartsell

13 papers C 2Journal 5Unranked 6

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