معرفی
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)
Dejan Nickovic در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- DDejan NickovicVienna University of Technology · دانشیار
Dejan NickovicAustrian Institute of Technology · پژوهشگر- EEzio BartocciVienna University of Technology · استاد
Ezio BartocciVienna University of Technology · استاد- JJie HeVienna University of Technology · پژوهشگر
- RRadu GrosuVienna University of Technology · استاد