Arut Prakash Kaleeswaran
Arut Prakash Kaleeswaran
Explanation of the Model Checker Verification Results.
2023
Humboldt University of Berlin, Germany
http://edoc.hu-berlin.de/18452/28605
https://nbn-resolving.org/urn:nbn:de:kobv:11-110-18452/28605-7
https://d-nb.info/1314651269
https://doi.org/10.18452/27907
https://www.base-search.net/Record/782f29691a64ea3b236a10ce73b3fb9914c3454ec7768da38394f87e9f034aa7
Arut Prakash Kaleeswaran
Arne Nordmann
Thomas Vogel 0001
Lars Grunske
A user study for evaluation of formal verification results and their explanation at Bosch.
125
2023
October
28
Empir. Softw. Eng.
5
https://doi.org/10.1007/s10664-023-10353-4
db/journals/ese/ese28.html#KaleeswaranNVG23
Arut Prakash Kaleeswaran
Arne Nordmann
Thomas Vogel 0001
Lars Grunske
A systematic literature review on counterexample explanation - Summary.
71-72
2023
Software Engineering
https://dl.gi.de/handle/20.500.12116/40087
conf/se/2023
db/conf/se/se2023.html#KaleeswaranN0G23
Arut Prakash Kaleeswaran
Arne Nordmann
Thomas Vogel 0001
Lars Grunske
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch.
2023
abs/2304.08950
CoRR
https://doi.org/10.48550/arXiv.2304.08950
db/journals/corr/corr2304.html#abs-2304-08950
Arut Prakash Kaleeswaran
Arne Nordmann
Thomas Vogel 0001
Lars Grunske
A systematic literature review on counterexample explanation.
106800
2022
145
Inf. Softw. Technol.
https://doi.org/10.1016/j.infsof.2021.106800
https://www.wikidata.org/entity/Q113315620
db/journals/infsof/infsof145.html#KaleeswaranNVG22
Arut Prakash Kaleeswaran
Arne Nordmann
Thomas Vogel 0001
Lars Grunske
A systematic literature review on counterexample explanation.
2022
abs/2201.03061
CoRR
https://arxiv.org/abs/2201.03061
db/journals/corr/corr2201.html#abs-2201-03061
Arut Prakash Kaleeswaran
Arne Nordmann
Thomas Vogel 0001
Lars Grunske
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation.
2021
abs/2108.06376
CoRR
https://arxiv.org/abs/2108.06376
db/journals/corr/corr2108.html#abs-2108-06376
Arut Prakash Kaleeswaran
Arne Nordmann
Thomas Vogel 0001
Lars Grunske
Counterexample Interpretation for Contract-Based Design.
99-114
2020
IMBSA
https://doi.org/10.1007/978-3-030-58920-2_7
conf/imbsa/2020
db/conf/imbsa/imbsa2020.html#KaleeswaranNVG20
Arut Prakash Kaleeswaran
Peter Munk
Samir Sarkic
Thomas Vogel 0001
Arne Nordmann
A Domain Specific Language to Support HAZOP Studies of SysML Models.
47-62
2019
IMBSA
https://doi.org/10.1007/978-3-030-32872-6_4
conf/imbsa/2019
db/conf/imbsa/imbsa2019.html#KaleeswaranMSVN19
Arut Prakash Kaleeswaran
Arne Nordmann
Anees ul Mehdi
Towards Integrating Ontologies into Verification for Autonomous Driving.
319-320
2019
ISWC (Satellites)
https://ceur-ws.org/Vol-2456/paper87.pdf
conf/semweb/2019p
db/conf/semweb/iswc2019p.html#KaleeswaranNM19
Lars Grunske
Anees MehdiAnees ul Mehdi
Peter Munk
Arne Nordmann
Samir Sarkic
Thomas Vogel 0001