D. Ničković

Most-cited papers

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
E. Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos +3 more
2018Lectures on Runtime Verification346 citations
Semantic Scholar
Contracts for System Design
A. Benveniste, B. Caillaud, D. Ničković, R. Passerone +6 more
2018Foundations and Trends® in Electronic Design Automation315 citations Open access
Semantic Scholar
A survey of challenges for runtime verification from advanced application domains (beyond software)
César Sánchez, G. Schneider, Wolfgang Ahrendt, E. Bartocci +12 more
2018Formal methods in system design110 citations Open access
Semantic Scholar
RTAMT: Online Robustness Monitors from STL
D. Ničković, Tomoya Yamaguchi
2020Automated Technology for Verification and Analysis100 citations Open access
Semantic Scholar
Quantitative monitoring of STL with edit distance
Stefan Jakšić, E. Bartocci, R. Grosu, Thang Nguyen +1 more
2016Formal methods in system design95 citations Open access
Semantic Scholar
DeepSTL - From English Requirements to Signal Temporal Logic
Jie He, E. Bartocci, D. Ničković, Haris Isakovic +1 more
2021International Conference on Software Engineering73 citations Open access
Semantic Scholar
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
D. Ničković, Olivier Lebeltel, O. Maler, Thomas Ferrère +1 more
2018International Journal on Software Tools for Technology Transfer (STTT)55 citations
Semantic Scholar
Survey on mining signal temporal logic specifications
E. Bartocci, Cristinel Mateis, Eleonora Nesterini, D. Ničković
2022Information and Computation45 citations Open access
Semantic Scholar
Localizing Faults in Simulink/Stateflow Models with STL
E. Bartocci, Thomas Ferrère, Niveditha Manjunath, D. Ničković
2018International Conference on Hybrid Systems: Computation and Control44 citations
Semantic Scholar
Runtime Monitoring with Recovery of the SENT Communication Protocol
K. Selyunin, Stefan Jakšić, Thang Nguyen, C. Reidl +4 more
2017International Conference on Computer Aided Verification39 citations
Semantic Scholar
Second International Competition on Runtime Verification CRV 2015
Yliès Falcone, D. Ničković, Giles Reger, Daniel Thoma
2016Runtime Verification39 citations Open access
Semantic Scholar
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics
Tomoya Yamaguchi, Bardh Hoxha, D. Ničković
2023International Journal on Software Tools for Technology Transfer (STTT)34 citations Open access
Semantic Scholar
An Algebraic Framework for Runtime Verification
Stefan Jakšić, E. Bartocci, R. Grosu, D. Ničković
2018IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems33 citations Open access
Semantic Scholar
CPSDebug: Automatic failure explanation in CPS models
E. Bartocci, Niveditha Manjunath, L. Mariani, Cristinel Mateis +1 more
2021International Journal on Software Tools for Technology Transfer (STTT)30 citations Open access
Semantic Scholar
Automatic Failure Explanation in CPS Models
E. Bartocci, Niveditha Manjunath, L. Mariani, Cristinel Mateis +1 more
2019IEEE International Conference on Software Engineering and Formal Methods29 citations Open access
Semantic Scholar
Interface-aware signal temporal logic
Thomas Ferrère, D. Ničković, Alexandre Donzé, H. Ito +1 more
2019International Conference on Hybrid Systems: Computation and Control29 citations
Semantic Scholar
From Real-time Logic to Timed Automata
Thomas Ferrère, O. Maler, D. Ničković, A. Pnueli
2019Journal of the ACM26 citations
Semantic Scholar
CPS/IoT Ecosystem: A Platform for Research and Education
Haris Isakovic, Denise Ratasich, Christian Hirsch, Michaela D. Platzer +7 more
2018CyPhy/WESE22 citations
Semantic Scholar
Verifying Global Two-Safety Properties in Neural Networks with Confidence
Anagha Athavale, E. Bartocci, Maria Christakis, Matteo Maffei +2 more
2024International Conference on Computer Aided Verification17 citations
Semantic Scholar
FIM: fault injection and mutation for Simulink
E. Bartocci, L. Mariani, D. Ničković, Drishti Yadav
2022ESEC/SIGSOFT FSE17 citations Open access
Semantic Scholar
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
E. Bartocci, R. Bloem, D. Ničković, Franz Röck
2018International Conference on Computer Aided Verification17 citations Open access
Semantic Scholar
Online Timed Pattern Matching Using Automata
Alexey Bakhirkin, Thomas Ferrère, D. Ničković, O. Maler +1 more
2018International Conference on Formal Modeling and Analysis of Timed Systems15 citations Open access
Semantic Scholar
The first-order logic of signals: keynote
Alexey Bakhirkin, Thomas Ferrère, T. Henzinger, D. Ničković
2018International Conference on Embedded Software15 citations
Semantic Scholar
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems
Thang Nguyen, E. Bartocci, D. Ničković, R. Grosu +2 more
2016Leveraging Applications of Formal Methods14 citations
Semantic Scholar
Adaptive Testing for Specification Coverage in CPS Models
E. Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath +1 more
2021IFAC Conference on Analysis and Design of Hybrid Systems13 citations Open access
Semantic Scholar
Shape Expressions for Specifying and Extracting Signal Features
D. Ničković, Xin Qin, Thomas Ferrère, Cristinel Mateis +1 more
2019Runtime Verification13 citations
Semantic Scholar
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
Goran Frehse, Nikolaos Kekatos, D. Ničković, Jens Oehlerking +3 more
2018American Control Conference13 citations
Semantic Scholar
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata
Anand Balakrishnan, Stefan Jakšić, Edgar A. Aguilar, D. Ničković +1 more
2022IEEE Conference on Decision and Control12 citations
Semantic Scholar
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
S. Bensalem, Panagiotis Katsaros, D. Ničković, B. Liao +17 more
2023AISoLA11 citations Open access
Semantic Scholar
Formal methods and tools for industrial critical systems
M. T. ter Beek, K. Larsen, D. Ničković, T. Willemse
2022International Journal on Software Tools for Technology Transfer (STTT)11 citations
Semantic Scholar
Monitoring of MTL specifications with IBM's spiking-neuron model
K. Selyunin, Thang Nguyen, E. Bartocci, D. Ničković +1 more
2016Design, Automation and Test in Europe11 citations
Semantic Scholar
Hypernode automata
E. Bartocci, Marek Chalupa, Thomas A. Henzinger, D. Ničković +1 more
2023Acta Informatica10 citations Open access
Semantic Scholar
Flavors of Sequential Information Flow
E. Bartocci, Thomas Ferrère, T. Henzinger, D. Ničković +1 more
2022International Conference on Verification, Model Checking and Abstract Interpretation10 citations
Semantic Scholar
Search-based Testing for Accurate Fault Localization in CPS
E. Bartocci, L. Mariani, D. Ničković, Drishti Yadav
2022IEEE International Symposium on Software Reliability Engineering10 citations
Semantic Scholar
Mining Shape Expressions From Positive Examples
E. Bartocci, Jyotirmoy V. Deshmukh, Felix Gigler, Cristinel Mateis +2 more
2020IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10 citations
Semantic Scholar
Property-Based Mutation Testing
E. Bartocci, L. Mariani, D. Ničković, Drishti Yadav
2023International Conference on Information Control Systems & Technologies9 citations Open access
Semantic Scholar
A Systematic Approach to Automotive Security
M. Ebrahimi, Stefan Marksteiner, D. Ničković, R. Bloem +7 more
2023World Congress on Formal Methods7 citations Open access
Semantic Scholar
Challenges of engineering safe and secure highly automated vehicles
Nadja Marko, E. Möhlmann, D. Ničković, Jürgen Niehaus +2 more
2021arXiv.org7 citations
Semantic Scholar
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling
Stefan Marksteiner, Christoph Schmittner, Korbinian Christl, D. Ničković +2 more
2023Computer Science in Cars Symposium6 citations Open access
Semantic Scholar
Specification-Guided Critical Scenario Identification for Automated Driving
A. Molin, Edgar A. Aguilar, D. Ničković, Meng-Jia Zhu +2 more
2023World Congress on Formal Methods6 citations Open access
Semantic Scholar
Formal Specification for Learning-Enabled Autonomous Systems
S. Bensalem, Chih-Hong Cheng, Xiaowei Huang, P. Katsaros +3 more
2022NSV/FoMLAS@CAV6 citations
Semantic Scholar
From English to Signal Temporal Logic
Jie He, E. Bartocci, D. Ničković, Haris Isakovic +1 more
2021arXiv.org6 citations
Semantic Scholar
CPSDebug: a tool for explanation of failures in cyber-physical systems
E. Bartocci, Niveditha Manjunath, L. Mariani, Cristinel Mateis +2 more
2020International Symposium on Software Testing and Analysis6 citations Open access
Semantic Scholar
Weakness Monitors for Fail-Aware Systems
W. Granig, Stefan Jakšić, Horst Lewitschnig, Cristinel Mateis +1 more
2020International Conference on Formal Modeling and Analysis of Timed Systems6 citations
Semantic Scholar
HPRS: hierarchical potential-based reward shaping from task specifications
Luigi Berducci, Edgar A. Aguilar, D. Ničković, R. Grosu
2025Frontiers Robotics AI5 citations Open access
Semantic Scholar
Mining Specifications for Predictive Safety Monitoring
Eleonora Nesterini, E. Bartocci, Alessio Gambi, D. Ničković +2 more
2025International Conference on Cyber-Physical Systems5 citations Open access
Semantic Scholar
Signal Feature Coverage and Testing for CPS Dataflow Models
E. Bartocci, Leonardo Mariani, D. Ničković, Drishti Yadav
2025ACM Transactions on Software Engineering and Methodology5 citations Open access
Semantic Scholar
Mining Hyperproperties using Temporal Logics
E. Bartocci, Cristinel Mateis, Eleonora Nesterini, D. Ničković
2023ACM Transactions on Embedded Computing Systems5 citations Open access
Semantic Scholar
Mixed-Time Signal Temporal Logic
Thomas Ferrère, O. Maler, D. Ničković
2019International Conference on Formal Modeling and Analysis of Timed Systems5 citations
Semantic Scholar
Production Tests Coverage Analysis in the Simulation Environment
Niveditha Manjunath, D. Haerle, Stephen Sabanal, H. Eichinger +6 more
2018International Test Conference5 citations
Semantic Scholar