Name Card

Full name Familienname, Vorname
Manjunath, Niveditha
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt ; Manjunath, Niveditha ; Ničković, Dejan Adaptive Testing for Specification Coverage in CPS ModelsKonferenzbeitrag Inproceedings2021
2Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan ; Pastore, Fabrizio CPSDebug: a tool for explanation of failures in cyber-physical systemsKonferenzbeitrag Inproceedings2020
3Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Nickovic, Dejan Automatic Failure Explanation in CPS ModelsKonferenzbeitrag Inproceedings2019
4Manjunath, Niveditha ; Haerle, Dieter ; Manthey, Christian ; Väänänen, Mikko ; Sabanal, Stephen ; Eichinger, Herbert ; Tauber, Hermann ; Machne, Andreas ; Grosu, Radu ; Nickovic, Dejan Production Tests Coverage Analysis in the Simulation EnvironmentKonferenzbeitrag Inproceedings 2018
5Bartocci, Ezio ; Ferrere, Thomas ; Manjunath, Niveditha ; Nickovic, Dejan Localizing Faults in Simulink/Stateflow Models with {STL}Konferenzbeitrag Inproceedings 2018