Niveditha Manjunath

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 8

Top Topics

Simulation Environment

Statistical Models

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage in CPS Models. ADHS (2021)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
CPSDebug: Automatic failure explanation in CPS models. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage. CoRR (2020)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA (2020)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
Automatic Failure Explanation in CPS Models. CoRR (2019)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
Automatic Failure Explanation in CPS Models. SEFM (2019)
Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic
Localizing Faults in Simulink/Stateflow Models with STL. HSCC (2018)
Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Vaananen, Radu Grosu, Dejan Nickovic
Production Tests Coverage Analysis in the Simulation Environment. ITC (2018)