Dejan Ničković

CV

Dejan Ničković was born in 1981 in Belgrade, Serbia. He obtained his B. Sc. (Hons.) in Information Technology from the University of Malta in 2003. In 2008 he finished his Ph.D. thesis under the liberal supervision of Oded Maler in the VERIMAG laboratory, Université Joseph Fourier (now Université Grenoble-Alpes) in France. After one year of post-doc in EPFL (Lausanne, Switzerland) and two years of post-doc in IST Austria with Tom Henzinger, he moved in 2011 to the Center for Digital Safety and Security of the Austrian Institute of Technology (AIT), where he was promoted to Senior Scientist in 2015.

His research interests are in the domains of cyber-physical systems, runtime verification, testing, contract-based design, real-time systems.

News

  • I am honored to co-chair, together with Ricardo Sanfelice, HSCC 2023. Details will follow soon.

  • I am glad to announce that our project "Fault-based Analysis and Testing for Design Robustness and Stability" (FATE) was selected for funding by the Austrian FFG agency. This is a joint project with Roderick Bloem from TU Graz, Infineon Technologies AG and colleagues from the Technology Experience center in AIT:

  • "Information-flow interfaces", the FASE'22 paper co-written with Ana Costa, Ezio Bartocci, Tom Henzinger and Thomas Ferrère was given in ETAPS'22 the Best Software Science Paper Award from the European Association of Software Science and Technology (EASST)! Congratulations Ana!

  • "Parameter Identification of Temporal Properties", the RV'11 paper co-written with Eugène Asarin, Alex Donzé and Oded Maler was given the RV Test of Time 2021 award! See the RV Test of Time Awards page for all awards.

  • "On the Complexity of Timed Pattern Matching" with Eugène Asarin, Thomas Ferrère and Dogan Ulus got the FORMATS 2021 Best Paper Award!

  • "Adaptive Testing for Specification Coverage" with Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher and Niveditha Manjunath got the IFAC Young Author Award at ADHS21! Congratulations to Benedikt!

  • I am happy to announce that I was awarded the Habilitation (venia docendi) at Vienna University of Technology.

  • Niveditha Manjunath successfully defended her PhD thesis on "Fault-based analysis cyber-physical systems". Congratulations Niveditha!

  • "Adaptive Testing for Specification Coverage" with Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher and Niveditha Manjunath was accepted in ADHS21.

Conferences and Workshops

Recent publications