DN
Dejan Ničković
cs.LOcs.SEcs.FLcs.AIcs.CRcs.LGcs.ROcs.CYContract-based designcs.CL
On Valency
published · living versionsW_wdqhkpst·v1 · currentpublished
Formal Specifications with Data-Driven Signal Analysis
with Roderick Bloem, Benedikt Maderbacher, Cristinel Mateis, Sergii Tkachov +1
1 version
Preprints & journals
36 papers in the corpus · 2015–2026Automatic Testing of Interacting Autonomous Vehicles2607.12452v2 · Fabio Cavaleri, Alessio Gambi, Paolo Arcaini et al.2026 · 0 citationsarXiv
Differential Zonotopes for Verifying Global Robustness of DNNs2606.21282v1 · Anagha Athavale, Samuel Teuber, Matteo Maffei et al.2026 · 0 citationsarXiv
Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deployment2605.18672v1 · S.Bensalem, Y. Dong, M. Franzle et al.2026 · 0 citationsarXiv
Declarative Scenario-based Testing with RoadLogic2603.09455v2 · Ezio Bartocci, Alessio Gambi, Felix Gigler et al.2026 · 0 citationsarXiv
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning2603.05728v1 · Medina Andresel, Cristinel Mateis, Dejan Nickovic et al.2026 · 0 citationsarXiv
TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning2507.16844v1 · Jie He, Vincent Theo Willem Kenbeek, Zhantao Yang et al.2025 · 0 citationsarXiv
HPRS: hierarchical potential-based reward shaping from task specifications.39995500 · Berducci, Luigi, Aguilar, Edgar A, Ničković, Dejan et al.2026 · 8 citationsFrontiers in robotics and AI. 2024;11:1444188
RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics2501.18608v1 · Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic2025 · 21 citationsInt. J. Softw. Tools Technol. Transf. 26(1): 79-99 (2024)
Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy2408.05033v1 · Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovi'c et al.2024 · 0 citationsarXiv
Information-flow Interfaces and Security Lattices2406.14374v1 · Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic et al.2024 · 0 citationsarXiv
Verifying Global Two-Safety Properties in Neural Networks with Confidence2405.14400v3 · Anagha Athavale, Ezio Bartocci, Maria Christakis et al.2024 · 14 citationsarXiv
Information-flow interfaces.40452879 · Bartocci, Ezio, Ferrère, Thomas, Henzinger, Thomas A et al.2025 · 0 citationsFormal methods in system design. 2025;66(1):3-48
Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving2403.17805v2 · Axel Brunnbauer, Luigi Berducci, Peter Priller et al.2024 · 0 citationsarXiv
Hypernode Automata2305.02836v2 · Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic et al.2023 · 10 citationsarXiv
Specification-Guided Critical Scenario Identification for Automated Driving2303.05139v1 · Adam Molin, Edgar A. Aguilar, Dejan Nickovi'c et al.2023 · 7 citationsFormal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000
A Systematic Approach to Automotive Security2303.02894v2 · Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovi'c et al.2023 · 6 citationsIn: Chechik, M., Katoen, JP., Leucker, M. (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer, Cham
Property-Based Mutation Testing2301.13615v1 · Ezio Bartocci, Leonardo Mariani, Dejan Nickovic et al.2023 · 9 citationsarXiv
Threat Repair with Optimization Modulo Theories2210.03207v1 · Thorsten Tarrach, Masoud Ebrahimi, Sandra Konig et al.2022 · 1 citationarXiv
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives2202.02404v2 · Anand Balakrishnan, Stefan Jaksi'c, Edgar A. Aguilar et al.2022 · 4 citationsarXiv
Hierarchical Potential-based Reward Shaping from Task Specifications2110.02792v3 · Luigi Berducci, Edgar A. Aguilar, Dejan Nickovi'c et al.2021 · 4 citationsarXiv
Mining Shape Expressions with ShapeIt2109.11999v2 · Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis et al.2021 · 7 citationsarXiv
DeepSTL -- From English Requirements to Signal Temporal Logic2109.10294v4 · Jie He, Ezio Bartocci, Dejan Nickovi'c et al.2021 · 2 citationsarXiv
Sampling of Shape Expressions2106.11041v1 · Nicolas Basset, Thao Dang, Felix Gigler et al.2021 · 0 citationsarXiv
Flavours of Sequential Information Flow2105.02013v1 · Ezio Bartocci, Thomas Ferrere, Thomas A. Henzinger et al.2021 · 0 citationsarXiv
Challenges of engineering safe and secure highly automated vehicles2103.03544v2 · Nadja Marko, Eike Mohlmann, Dejan Nickovi'c et al.2021 · 4 citationsarXiv
Adaptive Testing for Specification Coverage2010.06674v2 · Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher et al.2020 · 0 citationsarXiv
RTAMT: Online Robustness Monitors from STL2005.11827v1 · Dejan Nickovic, Tomoya Yamaguchi2020 · 77 citationsarXiv
Information-Flow Interfaces2002.06465v3 · Ezio Bartocci, Thomas Ferrere, Thomas A. Henzinger et al.2020 · 1 citationarXiv
Compositional Specifications for ioco Testing1904.07083v1 · Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn et al.2019 · 24 citationsarXiv
Automatic Failure Explanation in CPS Models1903.12468v1 · Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani et al.2019 · 29 citationsarXiv
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)1811.06740v1 · C'esar S'anchez, Gerardo Schneider, Wolfgang Ahrendt et al.2018 · 106 citationsarXiv
A Counting Semantics for Monitoring LTL Specifications over Finite Traces1804.03237v1 · Ezio Bartocci, Roderick Bloem, Dejan Nickovic et al.2018 · 14 citationsarXiv
An Algebraic Framework for Runtime Verification1802.03775v1 · Stefan Jaksic, Ezio Bartocci, Radu Grosu et al.2018 · 33 citationsarXiv
Quantitative monitoring of STL with edit distance.30956399 · Jakšić, Stefan, Bartocci, Ezio, Grosu, Radu et al.2020 · 57 citationsFormal methods in system design. 2018;53(1):83-112
Temporal Logic as Filtering1510.08079v2 · Alena Rodionova, Ezio Bartocci, Dejan Nickovic et al.2015 · 48 citationsHSCC 2016, April 12 - 14, 2016, Vienna, Austria
Bounded Determinization of Timed Automata with Silent Transitions1508.03575v1 · Florian Lorber, Amnon Rosenmann, Dejan Nickovic et al.2015 · 10 citationsarXiv
Career total: 175 works. 36 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.