Dejan Nickovic

Function
Senior Scientist
Center
Digital Safety & Security
Competence Unit
Security & Communication Technologies
Address
Giefinggasse 4, 1210 Vienna
Career
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
Publications
- 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
Further Information
- 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