Arut Prakash Kaleeswaran

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Coloured Petri Nets

Literature Review

Top Venues

Inf. Softw. Technol.

Empir. Softw. Eng.

Publications

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A user study for evaluation of formal verification results and their explanation at Bosch. Empir. Softw. Eng. 28 (5) (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation - Summary. Software Engineering (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch. CoRR (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation. CoRR (2022)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation. Inf. Softw. Technol. 145 (2022)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. CoRR (2021)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
Counterexample Interpretation for Contract-Based Design. IMBSA (2020)
Arut Prakash Kaleeswaran, Arne Nordmann, Anees ul Mehdi
Towards Integrating Ontologies into Verification for Autonomous Driving. ISWC (Satellites) (2019)
Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel, Arne Nordmann
A Domain Specific Language to Support HAZOP Studies of SysML Models. IMBSA (2019)