Ezio Bartocci

Cited by

	All	Since 2015
Citations	2924	2305
h-index	32	29
i10-index	69	57

540

270

135

405

2004200520062007200820092010201120122013201420152016201720182019202010 10 20 26 31 41 47 56 80 112 160 161 301 302 528 525 478

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
James GlimmProfessor of Applied Mathematics Stony Brook UniveristyVerified email at stonybrook.edu
Scott D. StollerProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Emilia EntchevaThe George Washington UniversityVerified email at gwu.edu
Luca TeseiAssistant Professor of Computer Science, University of CamerinoVerified email at unicam.it
Sergiy BogomolovSenior Lecturer / Associate Professor, Newcastle UniversityVerified email at newcastle.ac.uk
Calin BeltaProfessor, Boston UniversityVerified email at bu.edu
Stefan JakšićScientist, Austrian Institute of TechnologyVerified email at ait.ac.at
Luciano MilanesiInstitute for Biomedical Technologies (ITB) National Research Council of Italy (CNR)Verified email at itb.cnr.it

Ezio Bartocci

Professor of 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	135	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	123	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	113	2011
Runtime verification with state estimation SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ... Runtime Verification, 193-207, 2012	109	2012
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	107	2011
Introduction to Runtime Verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification, 1-33, 2018	102	2018
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	87	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	82	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	81	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	69	2011
System design of stochastic models using robustness of temporal properties E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti Theoretical Computer Science, 2015	67	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	67	2009
Lectures on Runtime Verification: Introductory and Advanced Topics E Bartocci, Y Falcone Springer, 2018	66	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	64	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	62	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	62	2007
Adaptive runtime verification E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ... Runtime Verification 7687, 168--182, 2012	59	2012
On the robustness of temporal properties for stochastic models E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti arXiv preprint arXiv:1309.0866, 2013	58	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 (1), 83-112, 2018	53	2018
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	46	2015

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