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
RV Lectures @ ICTAC 2020 (November 30 - December 1, 2020)
RV 2020, 6-9 October 2020, Los Angeles, CA, USA
FMICS 2020, 2-3 September 2020, Vienna, Austria
Dagstuhl Seminar 19071 "Specification Formalisms for Modern Cyber-Physical Systems" (11-15 February 2019)
Recent publications
Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic and Ana Oliveira de Costa: Information-flow interfaces. FASE 2022 NEW!
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa: Flavors of Sequential Information Flow. VMCAI 2022: 1-19 NEW!
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh: Specifying and detecting temporal patterns with shape expressions. Int. J. Softw. Tools Technol. Transf. 23(4): 565-577 (2021)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic: CPSDebug: Automatic failure explanation in CPS models. Int. J. Softw. Tools Technol. Transf. 23(5): 783-796 (2021)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic: Adaptive Testing for Specification Coverage in CPS Models. ADHS 2021: 229-234
Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus: On the Complexity of Timed Pattern Matching. FORMATS 2021: 15-31
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic: Sampling of shape expressions with ShapEx. MEMOCODE 2021: 118-125
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin: Mining Shape Expressions with ShapeIt. SEFM 2021: 110-117
Nadja Marko, Eike Möhlmann, Dejan Nickovic, Jürgen Niehaus, Peter Priller, Martijn Rooker: Challenges of engineering safe and secure highly automated vehicles. CoRR abs/2103.03544 (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin: Mining Shape Expressions From Positive Examples. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3809-3820 (2020) (EMSOFT'20 paper)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus: AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. Int. J. Softw. Tools Technol. Transf. 22(6): 741-758 (2020)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore: CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA 2020: 569-572
Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic: Weakness Monitors for Fail-Aware Systems. FORMATS 2020: 283-299
Dejan Nickovic, Tomoya Yamaguchi: RTAMT: Online Robustness Monitors from STL. ATVA 2020: 564-571
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh: Shape Expressions for Specifying and Extracting Signal Features. RV 2019: 292-309
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic: Automatic Failure Explanation in CPS Models. SEFM 2019: 69-86
Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic: Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). Dagstuhl Reports 9(2): 48-72 (2019)
Thomas Ferrère, Oded Maler, Dejan Nickovic: Mixed-Time Signal Temporal Logic. FORMATS 2019: 59-75
Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli: From Real-time Logic to Timed Automata. J. ACM 66(3): 19:1-19:31 (2019)
Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski: "Interface-aware signal temporal logic". HSCC 2019