Researcher Profile

Field: Dependable Systems Engineering

Main Research: Formal Methods, Verification and Model-based Testing

Experience:

Dejan Nickovic was born on 30. 01. 1981 in Belgrade, Serbia. He obtained his B. Sc. (Hons.) in Computer Science at the University of Malta in 2003. In 2008, he finished his PhD thesis on the topic of "Checking Timed and Hybrid Properties: Theory and Applications", under the liberal supervision of Dr. Oded Maler in the VERIMAG research center.

After his PhD thesis, Dejan Nickovic joined the group of Prof. Thomas Henzinger in EPFL, Switzerland (2008-2009) and IST Austria (2009-2011) as post-doctoral researcher.

Since December 2011, Dejan Nickovic works as a researcher in the Safety & Security Department of AIT.

His main research interests are in monitoring, model-based testing and compositional techniques in complex systems design and analysis.

• 2004-2008: PhD student
  VERIMAG / France
• 2008-2009: Post Doctoral Researcher
  EPFL / Switzerland
• 2009-2011: Post Doctoral Researcher
  IST Austria / Austria
• 2007-2007: Research Intern
  Rambus Inc. / Los Altos ,CA, USA

• Analog Property Checkers: A DDR2 Case Study
  Author(s): Oded Maler and Dejan Nickovic
  Journal: Formal Methods in System Design (2010)
• Monitoring Properties of Analog and Mixed-Signal Circuits
  Author(s): Oded Maler and Dejan Nickovic
  Journal: Software Tools for Technology Transfer (2013)

• Integration of Requirements Engineering and Test-Case Generation via OSLC
  Author(s): Bernhard Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau and Stefan Tiran
  Conference QSIC, Dallas, USA
• Compositional Specifications for IOCO Testing
  Author(s): Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn and Dejan Nickovic
  Conference ICST, Cleveland, Ohio, USA
• Incremental Language Inclusion Checking for Networks of Timed Automata
  Author(s): Willibald Krenn, Dejan Nickovic and Loredana Tec
  Conference FORMATS, Buenos Aires, Argentina
  Proceedings Victor A. Braberman and Laurent Fribourg; Formal Modeling and Analysis of Timed Systems - 11th International Conference; 152-167
• Time for Mutants - Model-Based Mutation Testing with Timed Automata
  Author(s): Bernhard K. Aichernig, Florian Lorber and Dejan Nickovic
  Conference TAP, Budapest, Hungary
  Proceedings Margus Veanes and Luca Vigano; Tests and Proofs - 7th International Conference; 20-38
• On Temporal Logic and Signal Processing
  Author(s): Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu and Scott A. Smolka
  Conference ATVA, hiruvananthapuram, India
  Proceedings Supratik Chakraborty and Madhavan Mukund; Automated Technology for Verification and Analysis - 10th International Symposium; 92-106
• Synchronous Interface Theories and Time Triggered Scheduling
  Author(s): Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay and Dejan Nickovic
  Conference FMOODS/FORTE 2012, Stockholm, Sweden
  Proceedings Holger Giese and Grigore Rosu; Formal Techniques for Distributed Systems - Joint 14th IFIP WG International Conference and 32nd IFIP WG International Conference; 203-218
• Independent Implementability of Viewpoints
  Author(s): Thomas A. Henzinger and Dejan Nickovic
  Conference MONTEREY, Oxford, UK
  Proceedings Radu Calinescu and David Garlan; Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop; 380-395
• Dynamic Reactive Modules
  Author(s): Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh and Moshe Y. Vardi
  Conference CONCUR, Aachen, Germany
  Proceedings Joost-Pieter Katoen and Barbara Koenig; Concurrency Theory - 22nd International Conference; 404-418
• Parametric Identification of Temporal Properties
  Author(s): Eugene Asarin, Alexandre Donzé, Oded Maler and Dejan Nickovic
  Conference RV, San Francisco, CA, USA
  Proceedings Sarfraz Khurshid and Koushik Sen; Runtime Verification - Second International Conference; 147-160
• Robustness of Sequential Circuits
  Author(s): Laurent Doyen, Thomas A. Henzinger, Axel Legay and Dejan Nickovic
  Conference ACSD, Braga, Portugal
  Proceedings Luis Gomes, Victor Khomenko and Joao M. Fernandes; 10th International Conference on Application of Concurrency to System Design; 77-84
• Property-Based Monitoring of Analog and Mixed-Signal Systems
  Author(s): John Havlicek, Scott Little, Oded Maler and Dejan Nickovic
  Conference FORMATS, Klosterneuburg, Austria
  Proceedings Krishnendu Chatterjee and Thomas A. Henzinger; Formal Modeling and Analysis of Timed Systems - 8th International Conference; 23-24
• From MTL to Deterministic Timed Automata
  Author(s): Dejan Nickovic and Nir Piterman
  Conference FORMATS, Klosterneuburg, Austria
  Proceedings Krishnendu Chatterjee and Thomas A. Henzinger; Formal Modeling and Analysis of Timed Systems - 8th International Conference; 152-167
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
  Author(s): Oded Maler, Dejan Nickovic and Amir Pnueli
  Conference Pillars of Computer Science
  Proceedings Arnon Avron, Nachum Dershowitz and Alexander Rabinovich; Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday; 475-505
• On Synthesizing Controllers from Bounded-Response Properties
  Author(s): Oded Maler, Dejan Nickovic and Amir Pnueli
  Conference CAV, Berlin, Germany
  Proceedings Werner Damm and Holger Hermanns; Computer Aided Verification, 19th International Conference; 95-107
• AMT: A Property-Based Monitoring Tool for Analog Systems
  Author(s): Dejan Nickovic and Oded Maler
  Conference FORMATS, Salzburg, Austria
  Proceedings Jean-Francois Raskin and P. S. Thiagarajan; Formal Modeling and Analysis of Timed Systems, 5th International Conference; 304-319
• From MITL to Timed Automata
  Author(s): Oded Maler, Dejan Nickovic and Amir Pnueli
  Conference FORMATS, Paris, France
  Proceedings Eugene Asarin and Patricia Bouyer; Formal Modeling and Analysis of Timed Systems, 4th International Conference; 274-289
• Real Time Temporal Logic: Past, Present, Future
  Author(s): Oded Maler, Dejan Nickovic and Amir Pnueli
  Conference FORMATS, Uppsala, Sweden
  Proceedings Paul Pettersson and Wang Yi; Formal Modeling and Analysis of Timed Systems, Third International Conference; 2-16
• Monitoring Temporal Properties of Continuous Signals
  Author(s): Oded Maler and Dejan Nickovic
  Conference FORMATS/FTRTFT, Grenoble, France
  Proceedings Yassine Lakhnech and Sergio Yovine; Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, and Formal Techniques in Real-Time and Fault-Tolerant Systems; 152-166

• Project homepage MBAT
• Project homepage TRUFAL
• Project homepage CRYSTAL
• Organized conference FORMATS 2012 (PC Co-Chair)
• Organized conference UCAAT 2014 (PC Member)
• Organized conference RV 2015 (Tools Track and Publicity Chair)
• Publications AIT publications database
• CV as pdf