| Monitoring temporal properties of continuous signals O Maler, D Nickovic Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004 | 1059 | 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 | 312 | 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 | 254 | 2018 |
| From MITL to timed automata O Maler, D Nickovic, A Pnueli Formal Modeling and Analysis of Timed Systems, 274-289, 2006 | 171 | 2006 |
| Parametric identification of temporal properties E Asarin, A Donzé, O Maler, D Nickovic Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 170 | 2012 |
| Checking temporal properties of discrete, timed and continuous behaviors O Maler, D Nickovic, A Pnueli Pillars of computer science, 475-505, 2008 | 132 | 2008 |
| AMT: A property-based monitoring tool for analog systems D Nickovic, O Maler Formal Modeling and Analysis of Timed Systems, 304-319, 2007 | 129 | 2007 |
| 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 | 102 | 2012 |
| 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 | 96 | 2013 |
| Real time temporal logic: Past, present, future O Maler, D Nickovic, A Pnueli Formal Modeling and Analysis of Timed Systems, 2-16, 2005 | 96 | 2005 |
| 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 | 91 | 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 | 83 | 2018 |
| From Mtl to Deterministic Timed Automata D Ničković, N Piterman Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 2010 | 66 | 2010 |
| 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 | 64 | 2019 |
| Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015 | 62 | 2015 |
| On synthesizing controllers from bounded-response properties O Maler, D Nickovic, A Pnueli Proceedings of the 19th international conference on Computer aided …, 2007 | 56 | 2007 |
| Temporal logic as filtering A Rodionova, E Bartocci, D Nickovic, R Grosu Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 54 | 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 | 51 | 2015 |
| 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 | 44 | 2020 |
| Robustness of sequential circuits L Doyen, TA Henzinger, A Legay, D Nickovic 2010 10th International Conference on Application of Concurrency to System …, 2010 | 42 | 2010 |
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
