עקוב אחר
Dejan Nickovic
כותרת
צוטט על ידי
צוטט על ידי
שנה
Monitoring temporal properties of continuous signals‏
O Maler, D Nickovic‏
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004‏
15352004
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‏
4262018
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‏
3932018
Parametric identification of temporal properties‏
E Asarin, A Donzé, O Maler, D Nickovic‏
Runtime Verification: Second International Conference, RV 2011, San …, 2012‏
2102012
From MITL to timed automata‏
O Maler, D Nickovic, A Pnueli‏
Formal Modeling and Analysis of Timed Systems, 274-289, 2006‏
1912006
Checking temporal properties of discrete, timed and continuous behaviors‏
O Maler, D Nickovic, A Pnueli‏
Pillars of computer science, 475-505, 2008‏
1422008
AMT: A property-based monitoring tool for analog systems‏
D Nickovic, O Maler‏
Formal Modeling and Analysis of Timed Systems, 304-319, 2007‏
1422007
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‏
1282013
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‏
1272019
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‏
1152013
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‏
1142012
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‏
1082018
Real time temporal logic: Past, present, future‏
O Maler, D Nickovic, A Pnueli‏
Formal Modeling and Analysis of Timed Systems, 2-16, 2005‏
1082005
RTAMT: Online robustness monitors from STL‏
D Ničković, T Yamaguchi‏
International Symposium on Automated Technology for Verification and …, 2020‏
982020
Contracts for systems design: Theory‏
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...‏
Inria Rennes Bretagne Atlantique; INRIA, 2015‏
762015
From Mtl to Deterministic Timed Automata‏
D Ničković, N Piterman‏
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010‏
732010
Temporal logic as filtering‏
A Rodionova, E Bartocci, D Nickovic, R Grosu‏
Proceedings of the 19th International Conference on Hybrid Systems …, 2016‏
692016
On synthesizing controllers from bounded-response properties‏
O Maler, D Nickovic, A Pnueli‏
Proceedings of the 19th international conference on Computer aided …, 2007‏
662007
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‏
642020
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‏
642015
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20