Arut Prakash Kaleeswaran

According to our database, Arut Prakash Kaleeswaran authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A user study for evaluation of formal verification results and their explanation at Bosch.

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske

Empir. Softw. Eng., October, 2023

Explanation of the Model Checker Verification Results.

Arut Prakash Kaleeswaran

PhD thesis, 2023

A systematic literature review on counterexample explanation - Summary.

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske

Proceedings of the Software Engineering 2023, 2023

2022

A systematic literature review on counterexample explanation.

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske

Inf. Softw. Technol., 2022

2021

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation.

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske

CoRR, 2021

2020

Counterexample Interpretation for Contract-Based Design.

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2019

Towards Integrating Ontologies into Verification for Autonomous Driving.

Arut Prakash Kaleeswaran, Arne Nordmann, Anees ul Mehdi

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

A Domain Specific Language to Support HAZOP Studies of SysML Models.

Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel, Arne Nordmann

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019