| 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 | 281 | 2018 |
| Introduction to Runtime Verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification, 1-33, 2018 | 259 | 2018 |
| Computational Modeling, Formal Analysis, and Tools for Systems Biology E Bartocci, P Lió PLoS Comput Biol 12 (1), e1004591, 2016 | 222 | 2016 |
| Model repair for probabilistic systems E Bartocci, R Grosu, P Katsaros, CR Ramakrishnan, SA Smolka International Conference on Tools and Algorithms for the Construction and …, 2011 | 151 | 2011 |
| Lectures on Runtime Verification. LNCS, vol. 10457 E Bartocci, Y Falcone Springer, Cham, 2018 | 144* | 2018 |
| Runtime verification with state estimation SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ... Runtime Verification, 193-207, 2012 | 142 | 2012 |
| A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems D Ratasich, F Khalid, F Geissler, R Grosu, M Shafique, E Bartocci IEEE Access 7, 13260-13283, 2019 | 130 | 2019 |
| SpaTeL: a novel spatial-temporal logic and its applications to networked systems I Haghighi, A Jones, Z Kong, E Bartocci, R Gros, C Belta Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 127 | 2015 |
| Data-driven statistical learning of temporal logic properties E Bartocci, L Bortolussi, G Sanguinetti International conference on formal modeling and analysis of timed systems, 23-37, 2014 | 126 | 2014 |
| From Cardiac Cells to Genetic Regulatory Networks. R Grosu, G Batt, FH Fenton, J Glimm, C Le Guernic, SA Smolka, ... CAV 6806, 396-411, 2011 | 120 | 2011 |
| 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 | 106 | 2012 |
| System design of stochastic models using robustness of temporal properties E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti Theoretical Computer Science, 2015 | 97 | 2015 |
| Learning and detecting emergent behavior in networks of cardiac myocytes R Grosu, SA Smolka, F Corradini, A Wasilewska, E Entcheva, E Bartocci Communications of the ACM 52 (3), 97-105, 2009 | 95 | 2009 |
| 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 | 92 | 2018 |
| First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014 E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ... International Journal on Software Tools for Technology Transfer, 1-40, 2017 | 89 | 2017 |
| 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, ... arXiv preprint arXiv:1811.06740, 2018 | 86 | 2018 |
| Toward real-time simulation of cardiac dynamics E Bartocci, EM Cherry, J Glimm, R Grosu, SA Smolka, FH Fenton Proceedings of the 9th International Conference on Computational Methods in …, 2011 | 80 | 2011 |
| Adaptive runtime verification E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ... Runtime Verification 7687, 168--182, 2012 | 79 | 2012 |
| On the robustness of temporal properties for stochastic models E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti arXiv preprint arXiv:1309.0866, 2013 | 75 | 2013 |
| Monitoring mobile and spatially distributed cyber-physical systems E Bartocci, L Bortolussi, M Loreti, L Nenzi Proceedings of the 15th {ACM-IEEE} International Conference on Formal …, 2017 | 73 | 2017 |
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
