Follow
Dejan Nickovic
Title
Cited by
Cited by
Year
Monitoring temporal properties of continuous signals
O Maler, D Nickovic
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
10592004
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Foundations and Trends® in Electronic Design Automation 12 (2-3), 124-400, 2018
3122018
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ...
Lectures on Runtime Verification: Introductory and Advanced Topics, 135-175, 2018
2542018
From MITL to timed automata
O Maler, D Nickovic, A Pnueli
Formal Modeling and Analysis of Timed Systems, 274-289, 2006
1712006
Parametric identification of temporal properties
E Asarin, A Donzé, O Maler, D Nickovic
Runtime Verification: Second International Conference, RV 2011, San …, 2012
1702012
Checking temporal properties of discrete, timed and continuous behaviors
O Maler, D Nickovic, A Pnueli
Pillars of computer science, 475-505, 2008
1322008
AMT: A property-based monitoring tool for analog systems
D Nickovic, O Maler
Formal Modeling and Analysis of Timed Systems, 304-319, 2007
1292007
On temporal logic and signal processing
A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka
Automated Technology for Verification and Analysis: 10th International …, 2012
1022012
Monitoring properties of analog and mixed-signal circuits
O Maler, D Ničković
International Journal on Software Tools for Technology Transfer 15, 247-268, 2013
962013
Real time temporal logic: Past, present, future
O Maler, D Nickovic, A Pnueli
Formal Modeling and Analysis of Timed Systems, 2-16, 2005
962005
Time for mutants—model-based mutation testing with timed automata
BK Aichernig, F Lorber, D Ničković
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013
912013
Quantitative monitoring of STL with edit distance
S Jakšić, E Bartocci, R Grosu, T Nguyen, D Ničković
Formal methods in system design 53, 83-112, 2018
832018
From Mtl to Deterministic Timed Automata
D Ničković, N Piterman
Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 2010
662010
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
642019
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
622015
On synthesizing controllers from bounded-response properties
O Maler, D Nickovic, A Pnueli
Proceedings of the 19th international conference on Computer aided …, 2007
562007
Temporal logic as filtering
A Rodionova, E Bartocci, D Nickovic, R Grosu
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
542016
From signal temporal logic to FPGA monitors
S Jakšić, E Bartocci, R Grosu, R Kloibhofer, T Nguyen, D Ničkovié
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
512015
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
D Ničković, O Lebeltel, O Maler, T Ferrère, D Ulus
International Journal on Software Tools for Technology Transfer 22, 741-758, 2020
442020
Robustness of sequential circuits
L Doyen, TA Henzinger, A Legay, D Nickovic
2010 10th International Conference on Application of Concurrency to System …, 2010
422010
The system can't perform the operation now. Try again later.
Articles 1–20