Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kaleeswaran, Arut Prakash
11  Ergebnisse:
Personensuche X
?
1

A user study for evaluation of formal verification results ..:

Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas.
Empirical Software Engineering.  28 (2023)  5 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
2

A systematic literature review on counterexample explanatio:

Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas.
Information and Software Technology.  145 (2022)  - p. 106800 , 2022
Link: https://doi.org/10.1016/..
 
?
3

Counterexample Interpretation for Contract-Based Design:

, In: Model-Based Safety and Assessment; Lecture Notes in Computer Science,
Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas. - p. 99-114 , 2020
Link: https://doi.org/10.1007/..
 
?
4

A Domain Specific Language to Support HAZOP Studies of SysM..:

, In: Model-Based Safety and Assessment; Lecture Notes in Computer Science,
Kaleeswaran, Arut Prakash ; Munk, Peter ; Sarkic, Samir.. - p. 47-62 , 2019
Link: https://doi.org/10.1007/..
 
?
5

Explanation of the Model Checker Verification Results:

Kaleeswaran, Arut Prakash
http://edoc.hu-berlin.de/18452/28605.  , 2023
Link: http://edoc.hu-berlin.de..
 
?
6

A User Study for Evaluation of Formal Verification Results ..:

Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas.
http://arxiv.org/abs/2304.08950.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

A systematic literature review on counterexample explanatio:

Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas.
http://arxiv.org/abs/2201.03061.  , 2022
Link: http://arxiv.org/abs/220..
 
?
8

A User-Study Protocol for Evaluation of Formal Verification..:

Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas.
http://arxiv.org/abs/2108.06376.  , 2021
Link: http://arxiv.org/abs/210..
 
?
9

Appendix of the paper: A Systematic Literature Review on Co..:

Arut Prakash Kaleeswaran ; Arne Nordmann ; Thomas Vogel.
doi:10.5281/zenodo.5679226.  , 2021
Link: https://zenodo.org/recor..
 
?
10

Explanation of the Model Checker Verification Results:

Kaleeswaran, Arut Prakash , 2023
Link: https://nbn-resolving.de..
 
?
11

Hydropower Energy Generation Prediction Model: A Machine Le..:

, In: 2022 International Conference on Computer Communication and Informatics (ICCCI),
Prakash, S Arut ; Shah, Dhruvil ; Jayavel, Kayalvizhi. - p. 01-04 , 2022
Link: https://doi.org/10.1109/..
 
1-11