Dejan Nickovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
51
Venues
26
Active years
2007–2025
Best venue rank
A*
Where they publish
- BRV7 papers
- A*CAV6 papers
- A*ICSE3 papers
- AICST3 papers
- BATVA3 papers
- A*DAC2 papers
- CISoLA2 papers
- BCONCUR2 papers
- BFM2 papers
- CMEMOCODE2 papers
- BSEFM2 papers
- CFMICS2 papers
- CTAP2 papers
- A*ICRA1 paper
- CICFEM1 paper
- BSAFECOMP1 paper
- CVECoS1 paper
- BFASE1 paper
- AISSRE1 paper
- BVMCAI1 paper
- AISSTA1 paper
- Journal PublishedEMSOFT1 paper
- AITC1 paper
- ATACAS1 paper
- ADATE1 paper
- CFORTE1 paper
Papers
51 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICRA | Scenario-Based Curriculum Generation for Multi-Agent Driving. | Axel Brunnbauer, Luigi Berducci, Peter Priller, Dejan Nickovic, Radu Grosu |
| 2025 | ICSE | Automatically Generating Content for Testing Autonomous Vehicles from User Descriptions. | Benedikt Steininger, Chrysanthi Papamichail, David Stark, Dejan Nickovic, Alessio Gambi |
| 2025 | ICST | Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems. | Selma Grosse, Adam Molin, Dejan Nickovic, Alessio Gambi, Cristinel Mateis |
| 2024 | CAV | Verifying Global Two-Safety Properties in Neural Networks with Confidence. | Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher |
| 2024 | DAC | DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. | Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu |
| 2024 | ICFEM | Differential Property Monitoring for Backdoor Detection. | Otto Brechelmacher, Dejan Nickovic, Tobias Nieen, Sarah Sallinger, Georg Weissenbacher |
| 2024 | ISoLA | On Threat Model Repair. | Roderick Bloem, Sebastian Chlup, Dejan Nickovic, Christoph Schmittner |
| 2024 | RV | Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. | Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Sara |
| 2023 | CONCUR | Hypernode Automata. | Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2023 | DAC | TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. | Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu |
| 2023 | FM | A Systematic Approach to Automotive Security. | Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schgler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra Knig |
| 2023 | FM | Specification-Guided Critical Scenario Identification for Automated Driving. | Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen |
| 2023 | ICST | Property-Based Mutation Testing. | Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav |
| 2023 | RV | Mining Specification Parameters for Multi-class Classification. | Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic |
| 2023 | SAFECOMP | Attribute Repair for Threat Prevention. | Thorsten Tarrach, Masoud Ebrahimi, Sandra Knig, Christoph Schmittner, Roderick Bloem, Dejan Nickovic |
| 2023 | VECoS | Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. | 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 Knighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu |
| 2022 | CAV | Formal Specification for Learning-Enabled Autonomous Systems. | Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled |
| 2022 | FASE | Information-flow Interfaces. | Ezio Bartocci, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2022 | ICSE | DeepSTL - From English Requirements to Signal Temporal Logic. | Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu |
| 2022 | ISSRE | Search-based Testing for Accurate Fault Localization in CPS. | Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav |
| 2022 | VMCAI | Flavors of Sequential Information Flow. | Ezio Bartocci, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2021 | MEMOCODE | Sampling of shape expressions with ShapEx. | Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic |
| 2021 | SEFM | Mining Shape Expressions with ShapeIt. | Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin |
| 2020 | ATVA | RTAMT: Online Robustness Monitors from STL. | Dejan Nickovic, Tomoya Yamaguchi |
| 2020 | ISSTA | CPSDebug: a tool for explanation of failures in cyber-physical systems. | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore |
| 2019 | RV | Shape Expressions for Specifying and Extracting Signal Features. | Dejan Nickovic, Xin Qin, Thomas Ferrre, Cristinel Mateis, Jyotirmoy V. Deshmukh |
| 2019 | SEFM | Automatic Failure Explanation in CPS Models. | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic |
| 2018 | CAV | A Counting Semantics for Monitoring LTL Specifications over Finite Traces. | Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Rck |
| 2018 | EMSOFT | The first-order logic of signals: keynote. | Alexey Bakhirkin, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic |
| 2018 | ITC | Production Tests Coverage Analysis in the Simulation Environment. | Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Vaananen, Radu Grosu, Dejan Nickovic |
| 2018 | TACAS | AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. | Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrre, Dogan Ulus |
| 2017 | CAV | Runtime Monitoring with Recovery of the SENT Communication Protocol. | Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu |
| 2016 | DATE | Monitoring of MTL specifications with IBM's spiking-neuron model. | Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu |
| 2016 | ISoLA | The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. | Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin |
| 2016 | RV | Quantitative Monitoring of STL with Edit Distance. | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic |
| 2015 | ATVA | Trace Diagnostics Using Temporal Implicants. | Thomas Ferrre, Oded Maler, Dejan Nickovic |
| 2015 | CAV | Measuring with Timed Patterns. | Thomas Ferrre, Oded Maler, Dejan Nickovic, Dogan Ulus |
| 2015 | FMICS | Require, Test and Trace IT. | Bernhard K. Aichernig, Klaus Hrmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran |
| 2015 | ICSE | A Pattern-Based Formalization of Cloud-Based Elastic Systems. | Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic |
| 2015 | MEMOCODE | From signal temporal logic to FPGA monitors. | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic |
| 2015 | RV | Second International Competition on Runtime Verification CRV 2015. | Ylis Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma |
| 2015 | RV | Monitoring and Measuring Hybrid Behaviors A Tutorial. | Dejan Nickovic |
| 2015 | TAP | Scalable Incremental Test-case Generation from Large Behavior Models. | Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran |
| 2014 | FMICS | Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. | Thang Nguyen, Dejan Nickovic |
| 2014 | ICST | Compositional Specifications for ioco Testing. | Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic |
| 2013 | TAP | Time for Mutants - Model-Based Mutation Testing with Timed Automata. | Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic |
| 2012 | ATVA | On Temporal Logic and Signal Processing. | Alexandre Donz, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka |
| 2012 | FORTE | Synchronous Interface Theories and Time Triggered Scheduling. | Benot Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
| 2011 | CONCUR | Dynamic Reactive Modules. | Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi |
| 2011 | RV | Parametric Identification of Temporal Properties. | Eugene Asarin, Alexandre Donz, Oded Maler, Dejan Nickovic |
| 2007 | CAV | On Synthesizing Controllers from Bounded-Response Properties. | Oded Maler, Dejan Nickovic, Amir Pnueli |