Suivre
Niveditha Manjunath
Niveditha Manjunath
Senior System Test Engineer, DB Netz AG
Adresse e-mail validée de deutschebahn.com - Page d'accueil
Titre
Citée par
Citée par
Année
Localizing faults in Simulink/Stateflow models with STL
E Bartocci, T Ferrère, N Manjunath, D Ničković
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
262018
Field-driven hopping transport of oxygen vacancies in memristive oxide switches with interface-mediated resistive switching
N Du, N Manjunath, Y Li, S Menzel, E Linn, R Waser, T You, D Bürger, ...
Physical review applied 10 (5), 054025, 2018
252018
Automatic failure explanation in CPS models
E Bartocci, N Manjunath, L Mariani, C Mateis, D Ničković
International Conference on Software Engineering and Formal Methods, 69-86, 2019
212019
Novel implementation of memristive systems for data encryption and obfuscation
N Du, N Manjunath, Y Shuai, D Bürger, I Skorupa, R Schüffny, C Mayr, ...
Journal of Applied Physics 115 (12), 124501, 2014
172014
Complementary resistance switch, contact-connected polycrystalline piezo-or ferroelectric thin-film layer, method for encrypting a bit sequence
T You, H Schmidt, N Du, D Buerger, I Skorupa, N Manjunath
US Patent 9,812,640, 2017
132017
CPSDebug: Automatic failure explanation in CPS models
E Bartocci, N Manjunath, L Mariani, C Mateis, D Ničković
International Journal on Software Tools for Technology Transfer 23 (5), 783-796, 2021
52021
CPSDebug: a tool for explanation of failures in cyber-physical systems
E Bartocci, N Manjunath, L Mariani, C Mateis, D Ničković, F Pastore
Proceedings of the 29th acm sigsoft international symposium on software …, 2020
32020
Production Tests Coverage Analysis in the Simulation Environment
N Manjunath, D Haerle, S Sabanal, H Eichinger, H Tauber, A Machne, ...
2018 IEEE International Test Conference (ITC), 1-7, 2018
32018
Adaptive Testing for Specification Coverage in CPS Models
E Bartocci, R Bloem, B Maderbacher, N Manjunath, D Ničković
IFAC-PapersOnLine 54 (5), 229-234, 2021
22021
Adaptive testing for specification coverage and refinement in CPS models
E Bartocci, R Bloem, B Maderbacher, N Manjunath, D Ničković
Nonlinear Analysis: Hybrid Systems 46, 101254, 2022
2022
Fault-Based Analysis of Cyber Physical Systems
N Manjunath
Wien, 2021
2021
Adaptive Testing for Specification Coverage
E Bartocci, R Bloem, B Maderbacher, N Manjunath, D Ničković
arXiv preprint arXiv:2010.06674, 2020
2020
Komplementärer Widerstandsschalter, Kontaktierte Polykristalline Piezo- oder Ferroelektrische Dünnschicht, Verfahren zum Verschlüsseln einer Bitfolge (Hardware-basierte …
AK Tiangui You, Heidemarie Schmidt, Nan Du, Danilo BÜRGER, Ilona Skorupa ...
EP Patent 2940749 A2, 2015
2015
Analysis of Production Tests Coverage
N Manjunath, D Haerle, C Manthey, M Väänänen, S Sabanal, H Eichinger, ...
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–14