Dejan Nickovic

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 90

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

FORMATS

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Dogan Ulus, Thomas Ferrère, Eugene Asarin, Dejan Nickovic, Oded Maler
Elements of Timed Pattern Matching. ACM Trans. Embed. Comput. Syst. 23 (4) (2024)
Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071). Dagstuhl Reports 14 (2) (2024)
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR (2024)
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) (2024)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-flow Interfaces and Security Lattices. CoRR (2024)
Axel Brunnbauer, Luigi Berducci, Peter Priller, Dejan Nickovic, Radu Grosu
Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving. CoRR (2024)
Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
A Systematic Approach to Automotive Security. FM (2023)
Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. DAC (2023)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Property-Based Mutation Testing. ICST (2023)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Hypernode Automata. CONCUR (2023)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Hypernode Automata. CoRR (2023)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Property-Based Mutation Testing. CoRR (2023)
Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen
Specification-Guided Critical Scenario Identification for Automated Driving. FM (2023)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata. CDC (2023)
Jyotirmoy Deshmukh, Dejan Nickovic
Introduction to the Special Issue on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA (2023)
Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS (2023)
Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Specification Parameters for Multi-class Classification. RV (2023)
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
Attribute Repair for Threat Prevention. SAFECOMP (2023)
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN (2023)
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Hyperproperties using Temporal Logics. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
A Systematic Approach to Automotive Security. CoRR (2023)
Stefan F. Marksteiner, Christoph Schmittner, Korbinian Christl, Dejan Nickovic, Mikael Sjödin, Marjan Sirjani
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling. CSCS (2023)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Search-based Testing for Accurate Fault Localization in CPS. ISSRE (2022)
Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
DeepSTL - From English Requirements to Signal Temporal Logic. ICSE (2022)
Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. CODES+ISSS (2022)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. CoRR (2022)
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV (2022)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-flow Interfaces. FASE (2022)
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
Threat Repair with Optimization Modulo Theories. CoRR (2022)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. HSCC (2022)
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Survey on mining signal temporal logic specifications. Inf. Comput. 289 (Part) (2022)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
FIM: fault injection and mutation for Simulink. ESEC/SIGSOFT FSE (2022)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavors of Sequential Information Flow. VMCAI (2022)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage in CPS Models. ADHS (2021)
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
Sampling of shape expressions with ShapEx. MEMOCODE (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. CoRR (2021)
Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus
On the Complexity of Timed Pattern Matching. FORMATS (2021)
Nadja Marko, Eike Möhlmann, Dejan Nickovic, Jürgen Niehaus, Peter Priller, Martijn Rooker
Challenges of engineering safe and secure highly automated vehicles. CoRR (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. SEFM (2021)
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
From English to Signal Temporal Logic. CoRR (2021)
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
Sampling of Shape Expressions. CoRR (2021)
Edgar A. Aguilar, Luigi Berducci, Axel Brunnbauer, Radu Grosu, Dejan Nickovic
From STL Rulebooks to Rewards. CoRR (2021)
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) (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) (2021)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavours of Sequential Information Flow. CoRR (2021)
Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic
Weakness Monitors for Fail-Aware Systems. FORMATS (2020)
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) (2020)
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) (2020)
Dejan Nickovic, Tomoya Yamaguchi
RTAMT: Online Robustness Monitors from STL. ATVA (2020)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage. CoRR (2020)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-Flow Interfaces. CoRR (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)
Dejan Nickovic, Tomoya Yamaguchi
RTAMT: Online Robustness Monitors from STL. CoRR (2020)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
Automatic Failure Explanation in CPS Models. CoRR (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh
Shape Expressions for Specifying and Extracting Signal Features. RV (2019)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
Automatic Failure Explanation in CPS Models. SEFM (2019)
Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski
Interface-aware signal temporal logic. HSCC (2019)
Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). Dagstuhl Reports 9 (2) (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
Compositional Specifications for ioco Testing. CoRR (2019)
Thomas Ferrère, Oded Maler, Dejan Nickovic
Mixed-Time Signal Temporal Logic. FORMATS (2019)
Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli
From Real-time Logic to Timed Automata. J. ACM 66 (3) (2019)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
An Algebraic Framework for Runtime Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic
Localizing Faults in Simulink/Stateflow Models with STL. HSCC (2018)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
An Algebraic Framework for Runtime Verification. CoRR (2018)
Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu
CPS/IoT Ecosystem: A Platform for Research and Education. CyPhy/WESE (2018)
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR (2018)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
Contracts for System Design. Found. Trends Electron. Des. Autom. 12 (2-3) (2018)
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. ACC (2018)
Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Vaananen, Radu Grosu, Dejan Nickovic
Production Tests Coverage Analysis in the Simulation Environment. ITC (2018)
Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic
The first-order logic of signals: keynote. EMSOFT (2018)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
Quantitative monitoring of STL with edit distance. Formal Methods Syst. Des. 53 (1) (2018)
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) (2018)
Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
Online Timed Pattern Matching Using Automata. FORMATS (2018)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. TACAS (2) (2018)
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. FORMATS (2017)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, test, and trace IT. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) (2017)
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
Bounded determinization of timed automata with silent transitions. Real Time Syst. 53 (3) (2017)
Florian Wenig, Peter Klanatsky, Christian Heschl, Cristinel Mateis, Dejan Nickovic
Exponential pattern recognition for deriving air change rates from CO2 data. ISIE (2017)
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Monitoring of MTL specifications with IBM's spiking-neuron model. DATE (2016)
Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Temporal Logic as Filtering. HSCC (2016)
Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. ISoLA (2) (2016)
Thang Nguyen, Dejan Nickovic
Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. Sci. Comput. Program. 118 (2016)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
Quantitative Monitoring of STL with Edit Distance. RV (2016)
Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Temporal Logic as Filtering. CoRR (2015)
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
Bounded Determinization of Timed Automata with Silent Transitions. CoRR (2015)
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic
From signal temporal logic to FPGA monitors. MEMOCODE (2015)
Thomas Ferrère, Oded Maler, Dejan Nickovic
Trace Diagnostics Using Temporal Implicants. ATVA (2015)
Dejan Nickovic
Monitoring and Measuring Hybrid Behaviors A Tutorial. RV (2015)
Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic
A Pattern-Based Formalization of Cloud-Based Elastic Systems. PESOS@ICSE (2015)
Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus
Measuring with Timed Patterns. CAV (2) (2015)
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
Bounded Determinization of Timed Automata with Silent Transitions. FORMATS (2015)
Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran
Scalable Incremental Test-case Generation from Large Behavior Models. TAP@STAF (2015)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, Test and Trace IT. FMICS (2015)

Dejan Nickovic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dejan Nickovic