Ezio Bartocci

Cited by

	All	Since 2016
Citations	3203	2411
h-index	33	28
i10-index	73	56

540

270

135

405

20042005200620072008200920102011201220132014201520162017201820192020202110 9 19 25 29 42 52 56 84 107 158 166 307 305 521 522 537 211

Public access

View all

43 articles

7 articles

available

not available

Based on funding mandates

Co-authors

Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Emanuela MerelliUniversity of CamerinoVerified email at unicam.it
Luca BortolussiUniversità di TriesteVerified email at units.it
Flavio CorradiniProfessore di Informatica, Università di CamerinoVerified email at unicam.it
Yliès FalconeUniv. Grenoble Alpes, InriaVerified email at univ-grenoble-alpes.fr
Guido SanguinettiReader in Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Laura NenziUniversity of TriesteVerified email at units.it
Flavio H. FentonProfessor of Physics, Georgia TechVerified email at physics.gatech.edu
Maria Rita Di BerardiniUniversità di CamerinoVerified email at unicam.it
P. Lió, Pietro Lio, P. Lio, Pietro Liò, Pie...University of CambridgeVerified email at cam.ac.uk
Calin BeltaProfessor, Boston UniversityVerified email at bu.edu
Luca TeseiAssistant Professor of Computer Science, University of CamerinoVerified email at unicam.it
James GlimmProfessor of Applied Mathematics Stony Brook UniveristyVerified email at stonybrook.edu
Emilia EntchevaThe George Washington UniversityVerified email at gwu.edu
Scott D. StollerProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Alexandre DonzeDecyphirVerified email at decyphir.com
Stefan JakšićScientist, Austrian Institute of TechnologyVerified email at ait.ac.at

Ezio Bartocci

Full Professor, Faculty of Informatics, TU Wien

Verified email at tuwien.ac.at - Homepage

Cyber-Physical Systems Internet of Things Runtime Verification Hybrid-Systems Computational Systems Biology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Computational Modeling, Formal Analysis, and Tools for Systems Biology E Bartocci, P Lió PLoS Comput Biol 12 (1), e1004591, 2016	154	2016
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	138	2018
Introduction to Runtime Verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification, 1-33, 2018	121	2018
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	120	2011
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	114	2011
Runtime verification with state estimation SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ... Runtime Verification, 193-207, 2012	112	2012
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	97	2014
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	90	2015
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	90	2012
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	74	2009
Lectures on Runtime Verification: Introductory and Advanced Topics E Bartocci, Y Falcone Springer, 2018	73	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	73	2011
System design of stochastic models using robustness of temporal properties E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti Theoretical Computer Science, 2015	71	2015
BioWMS: a web-based Workflow Management System for bioinformatics E Bartocci, F Corradini, E Merelli, L Scortichini BMC bioinformatics 8 (Suppl 1), S2, 2007	67	2007
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	65	2017
Biowep: a workflow enactment portal for bioinformatics applications P Romano, E Bartocci, G Bertolini, F De Paoli, D Marra, G Mauri, E Merelli, ... BMC bioinformatics 8 (1), S19, 2007	65	2007
On the robustness of temporal properties for stochastic models E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti arXiv preprint arXiv:1309.0866, 2013	61	2013
Adaptive runtime verification E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ... Runtime Verification 7687, 168--182, 2012	60	2012
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	57	2018
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	53	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors