5 citations · 5 across the 2 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020
Workflow Automation for Cyber Physical System Development Processes
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine +3
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performanc…
cs.RO2020★ 5 cited
A Methodology for Automating Assurance Case Generation
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey +2
Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The ce…