A Domain Specific Language to Support HAZOP Studies of SysML Models. - Arut Prakash Kaleeswaran; Peter Munk; Samir Sarkic; Thomas Vogel 001; Arne Nordmann (IMBSA, 2019)

Towards Integrating Ontologies into Verification for Autonomous Driving. - Arut Prakash Kaleeswaran; Arne Nordmann; Anees ul Mehdi (ISWC (Satellites), 2019)

Counterexample Interpretation for Contract-Based Design. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (IMBSA, 2020)

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (CoRR, 2021)

A systematic literature review on counterexample explanation. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (Inf. Softw. Technol., 2022)

A systematic literature review on counterexample explanation - Summary. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (Software Engineering, 2023)

Explanation of the Model Checker Verification Results. - Arut Prakash Kaleeswaran (2023)

A user study for evaluation of formal verification results and their explanation at Bosch. - Arut Prakash Kaleeswaran; Arne Nordmann; Thomas Vogel 001; Lars Grunske (Empir. Softw. Eng., 2023)