Follow
Arut Prakash Kaleeswaran
Arut Prakash Kaleeswaran
Verified email at de.bosch.com
Title
Cited by
Cited by
Year
A systematic literature review on counterexample explanation
AP Kaleeswaran, A Nordmann, T Vogel, L Grunske
Information and Software Technology 145, 106800, 2022
132022
Counterexample interpretation for contract-based design
AP Kaleeswaran, A Nordmann, T Vogel, L Grunske
Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 …, 2020
92020
Towards Integrating Ontologies into Verification for Autonomous Driving
AP Kaleeswaran, A Nordmann, A Mehdi
18th International Semantic Web Conference (ISWC 2019) 2456, 319-320, 2019
82019
A domain specific language to support HAZOP studies of SysML models
AP Kaleeswaran, P Munk, S Sarkic, T Vogel, A Nordmann
Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019 …, 2019
82019
A user study for evaluation of formal verification results and their explanation at Bosch
AP Kaleeswaran, A Nordmann, T Vogel, L Grunske
Empirical Software Engineering 28 (5), 2023
22023
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
AP Kaleeswaran, A Nordmann, T Vogel, L Grunske
arXiv preprint arXiv:2108.06376, 2021
22021
Appendix of the paper: A Systematic Literature Review on Counterexample Explanation
AP Kaleeswaran, A Nordmann, T Vogel, L Grunske
Zenodo, Nov, 2021
22021
A systematic literature review on counterexample explanation-Summary
AP Kaleeswaran, A Nordmann, T Vogel, L Grunske
Gesellschaft für Informatik eV, 2023
12023
Identifying Fixes to Eliminate Refinement Inconsistency of Contract-Based Design
M Abdelsalam, IA Nordmann
PhD thesis. Mar, 2022
12022
Explanation of the Model Checker Verification Results
AP Kaleeswaran
Humboldt-Universität zu Berlin, 2023
2023
RoSE 2021
A Hoffmann, A Wasowski, A Nordmann, B Schmerl, CH Corbato, ...
The system can't perform the operation now. Try again later.
Articles 1–11