Dejan Nickovic
Titolo
Citata da
Citata da
Anno
Monitoring temporal properties of continuous signals
O Maler, D Nickovic
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
7532004
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria, 2012
228*2012
From MITL to timed automata
O Maler, D Nickovic, A Pnueli
Formal Modeling and Analysis of Timed Systems, 274-289, 2006
1492006
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria, 2012
1482012
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
1392018
Parametric Identification of Temporal Properties
E Asarin, A Donzé, O Maler, D Nickovic
International Conference on Runtime Verification, 2011
1322011
AMT: A property-based monitoring tool for analog systems
D Nickovic, O Maler
Formal Modeling and Analysis of Timed Systems, 304-319, 2007
1202007
Checking temporal properties of discrete, timed and continuous behaviors
O Maler, D Nickovic, A Pnueli
Pillars of computer science, 475-505, 2008
1182008
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
902012
Real time temporal logic: Past, present, future
O Maler, D Nickovic, A Pnueli
Formal Modeling and Analysis of Timed Systems, 2-16, 2005
872005
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
782013
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
762013
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
572018
From Mtl to Deterministic Timed Automata
D Ničković, N Piterman
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
572010
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
502015
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
452015
On synthesizing controllers from bounded-response properties
O Maler, D Nickovic, A Pnueli
Proceedings of the 19th international conference on Computer aided …, 2007
442007
Analog property checkers: a DDR2 case study
KD Jones, V Konrad, D Ničković
Formal Methods in System Design 36 (2), 114-130, 2010
422010
Temporal logic as filtering
A Rodionova, E Bartocci, D Nickovic, R Grosu
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
402016
Second international competition on runtime verification
Y Falcone, D Ničković, G Reger, D Thoma
Runtime Verification, 405-422, 2015
382015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20