20 citations · 54 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022★ 1 cited
Industry Best Practices in Robotics Software Engineering
Robert Bocchino, Arne Nordmann, Allison Thackston +4
Robotics software is pushing the limits of software engineering practice. The 3rd International Workshop on Robotics Software Engineering held a panel on "the best practices for ro…
cs.SE2022★ 20 cited
A systematic literature review on counterexample explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to en…