Manjunath, Niveditha
26  results:
Search for persons X
?
6

CPSDebug: Automatic failure explanation in CPS models:

Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo..
International Journal on Software Tools for Technology Transfer.  23 (2021)  5 - p. 783-796 , 2021
 
?
7

CPSDebug: a tool for explanation of failures in cyber-physi..:

, In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,
 
?
9

Automatic Failure Explanation in CPS Models:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
 
?
 
?
13

Localizing Faults in Simulink/Stateflow Models with STL:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),
 
?
 
1-15