Dejan Nickovic
Título
Citado por
Citado por
Año
Monitoring temporal properties of continuous signals
O Maler, D Nickovic
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
6212004
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
179*2012
From MITL to timed automata
O Maler, D Nickovic, A Pnueli
Formal Modeling and Analysis of Timed Systems, 274-289, 2006
1382006
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria, 2012
1312012
Parametric Identification of Temporal Properties
E Asarin, A Donzé, O Maler, D Nickovic
121*
AMT: A property-based monitoring tool for analog systems
D Nickovic, O Maler
Formal Modeling and Analysis of Timed Systems, 304-319, 2007
1122007
Checking temporal properties of discrete, timed and continuous behaviors
O Maler, D Nickovic, A Pnueli
Pillars of computer science, 475-505, 2008
1092008
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, 135-175, 2018
962018
Real time temporal logic: Past, present, future
O Maler, D Nickovic, A Pnueli
Formal Modeling and Analysis of Timed Systems, 2-16, 2005
822005
On temporal logic and signal processing
A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka
International Symposium on Automated Technology for Verification and …, 2012
792012
Time for mutants—model-based mutation testing with timed automata
BK Aichernig, F Lorber, D Ničković
International Conference on Tests and Proofs, 20-38, 2013
632013
Monitoring properties of analog and mixed-signal circuits
O Maler, D Ničković
International Journal on Software Tools for Technology Transfer 15 (3), 247-268, 2013
602013
From Mtl to Deterministic Timed Automata
D Ničković, N Piterman
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
562010
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 (1), 83-112, 2018
472018
On synthesizing controllers from bounded-response properties
O Maler, D Nickovic, A Pnueli
Proceedings of the 19th international conference on Computer aided …, 2007
442007
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
412015
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
382015
Analog property checkers: a DDR2 case study
KD Jones, V Konrad, D Ničković
Formal Methods in System Design 36 (2), 114-130, 2010
382010
Second international competition on runtime verification
Y Falcone, D Ničković, G Reger, D Thoma
Runtime Verification, 405-422, 2015
372015
Robustness of sequential circuits
L Doyen, TA Henzinger, A Legay, D Nickovic
2010 10th International Conference on Application of Concurrency to System …, 2010
292010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20