Ezio Bartocci

Cited by

	All	Since 2016
Citations	3080	2289
h-index	32	27
i10-index	72	55

540

270

135

405

20042005200620072008200920102011201220132014201520162017201820192020202110 9 19 25 29 42 52 56 84 109 156 165 307 303 520 511 536 103

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
Emanuela MerelliUniversity of CamerinoVerified email at unicam.it
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Luca BortolussiUniversità di TriesteVerified email at units.it
Flavio CorradiniProfessore di Informatica, Università di CamerinoVerified email at unicam.it
Guido SanguinettiReader in Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Yliès FalconeUniv. Grenoble Alpes, InriaVerified email at univ-grenoble-alpes.fr
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
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
Calin BeltaProfessor, Boston UniversityVerified email at bu.edu
Luciano MilanesiInstitute for Biomedical Technologies (ITB) National Research Council of Italy (CNR)Verified email at itb.cnr.it
Stefan JakšićScientist, Austrian Institute of TechnologyVerified email at ait.ac.at

Ezio Bartocci

Full Professor in Computer Science, 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	148	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	132	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
Introduction to Runtime Verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification, 1-33, 2018	114	2018
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	113	2011
Runtime verification with state estimation SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ... Runtime Verification, 193-207, 2012	110	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	93	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	86	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	85	2012
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
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	70	2009
System design of stochastic models using robustness of temporal properties E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti Theoretical Computer Science, 2015	69	2015
Lectures on Runtime Verification: Introductory and Advanced Topics E Bartocci, Y Falcone Springer, 2018	67	2018
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
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
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	64	2017
On the robustness of temporal properties for stochastic models E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti arXiv preprint arXiv:1309.0866, 2013	60	2013
Adaptive runtime verification E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ... Runtime Verification 7687, 168--182, 2012	59	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	55	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	50	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