About
Dejan Nickovic is a Professor affiliated with the Department of Cyber-Physical Systems at TU Wien. His research focuses on runtime verification, formal methods for cyber-physical systems (CPS), and software testing. He leads projects such as TAIGER (2023–2027) and ARTIST (2021–2026), advancing CPS safety and AI robustness. His work bridges theoretical formalisms with practical applications in robotics, IoT, and embedded systems.
Key research themes include specification mining, fault localization, and automated verification. He has developed tools like DeepRIoT for robotic-IoT integration and FIM for Simulink fault analysis. His professorial dissertation (2020) formalized runtime verification techniques for CPS.
Recent publications emphasize adaptive architectures, backdoor detection in AI, and hyperproperties for security. He collaborates extensively with academia and industry, addressing challenges in CPS testing and verification through grants like ZK 35-G (2019–2024). His lab supports platforms like CPS/IoT Ecosystem for research and education.
- Projects: TAIGER, ARTIST, EdgeAI, ProbInG
- Supervised students: N. Manjunath (PhD, 2021), Florian Exenberger (2019), Markus Heindl (2017)
Find Dejan Nickovic elsewhere
Related Searches
You Might Also Like
- DDejan NickovicVienna University of Technology · Associate Professor
Dejan NickovicAustrian Institute of Technology · Researcher- EEzio BartocciVienna University of Technology · Professor
Ezio BartocciVienna University of Technology · Professor- JJie HeVienna University of Technology · Researcher
- RRadu GrosuVienna University of Technology · Professor