| Monitoring temporal properties of continuous signals O Maler, D Nickovic Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004 | 1522 | 2004 |
| 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 | 429 | 2018 |
| 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 | 389 | 2018 |
| Parametric identification of temporal properties E Asarin, A Donzé, O Maler, D Nickovic Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 213 | 2012 |
| From MITL to timed automata O Maler, D Nickovic, A Pnueli Formal Modeling and Analysis of Timed Systems, 274-289, 2006 | 191 | 2006 |
| Checking temporal properties of discrete, timed and continuous behaviors O Maler, D Nickovic, A Pnueli Pillars of computer science, 475-505, 2008 | 143 | 2008 |
| AMT: A property-based monitoring tool for analog systems D Nickovic, O Maler Formal Modeling and Analysis of Timed Systems, 304-319, 2007 | 141 | 2007 |
| 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 | 129 | 2013 |
| 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 | 122 | 2019 |
| 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 | 118 | 2012 |
| 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 | 113 | 2013 |
| 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 | 107 | 2018 |
| Real time temporal logic: Past, present, future O Maler, D Nickovic, A Pnueli Formal Modeling and Analysis of Timed Systems, 2-16, 2005 | 106 | 2005 |
| RTAMT: Online robustness monitors from STL D Ničković, T Yamaguchi International Symposium on Automated Technology for Verification and …, 2020 | 98 | 2020 |
| Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015 | 75 | 2015 |
| From Mtl to Deterministic Timed Automata D Ničković, N Piterman International Conference on Formal Modeling and Analysis of Timed Systems …, 2010 | 73 | 2010 |
| Temporal logic as filtering A Rodionova, E Bartocci, D Nickovic, R Grosu Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 67 | 2016 |
| 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 | 64 | 2015 |
| On synthesizing controllers from bounded-response properties O Maler, D Nickovic, A Pnueli Proceedings of the 19th international conference on Computer aided …, 2007 | 64 | 2007 |
| 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 | 63 | 2020 |
Ezio BartocciFaculty of Informatics, TU Wien確認したメール アドレス: tuwien.ac.at