Dejan Nickovic

Dejan Nickovic is an Associate Professor in the Department of Cyber-Physical Systems at TU Wien. His primary affiliation is with the Research Area Cyber-Physical Systems (E191-01). Nickovic's research focuses on formal methods, runtime verification, and fault localization in cyber-physical systems (CPS). He has contributed to automated testing frameworks, specification mining, and formal validation techniques for embedded and reactive systems.

His work emphasizes bridging the gap between theoretical formalisms and practical CPS applications. Notable research directions include mining specifications from data (e.g., timing diagrams), developing tools like TD-Magic and DeepSTL, and advancing hypernode automata for complex system modeling. He has also explored fault-injection methods (FIM) for Simulink models and mutation testing strategies for improving CPS reliability.

Nickovic collaborates extensively with industry partners, as evidenced by his work on production-test coverage analysis in simulation environments. His research has been published in top-tier conferences and journals, focusing on topics like information-flow interfaces, hyperproperties, and adaptive testing strategies.

He advises graduate students on CPS-related theses, including those on fault localization, analog-mixed signal verification, and failure explanation in CPS models. His contributions have advanced both academic and industrial applications of formal methods in CPS design and validation.