45 citations · 99 across the 8 of their papers we have counts for
6 papers · 1 filter
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: Ensuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for formal methods to entrust con…
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…
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…
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods i…
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees
Kai Hoefig, Andreas Joanni, Marc Zeller +5
The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for relia…
Proof of Compositionality of CFT Correctness
Simon Greiner, Peter Munk, Arne Nordmann
In the paper Compositionality of Component Fault Trees, we present a discussion of the compositionality of correctness of component fault trees. In this technical report, we presen…