Ezio Bartocci

Citado por

	Total	Desde 2019
Citas	5838	3902
Índice h	42	32
Índice i10	105	83

740

370

185

555

200620072008200920102011201220132014201520162017201820192020202120222023202419 23 28 43 49 64 70 115 156 177 306 291 514 549 581 651 683 723 708

Acceso público

Ver todo

87 artículos

12 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Radu GrosuProfessor of Computer ScienceDirección de correo verificada de tuwien.ac.at
Dejan NickovicAustrian Institute of TechnologyDirección de correo verificada de ait.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.sunysb.edu
Luca BortolussiUniversità di TriesteDirección de correo verificada de units.it
Emanuela MerelliUniversity of CamerinoDirección de correo verificada de unicam.it
Flavio CorradiniProfessore di Informatica, Università di CamerinoDirección de correo verificada de unicam.it
Yliès FalconeUniv. Grenoble Alpes and InriaDirección de correo verificada de univ-grenoble-alpes.fr
Laura NenziUniversity of TriesteDirección de correo verificada de units.it
Laura KovacsTU Wien, Vienna, AustriaDirección de correo verificada de tuwien.ac.at
Guido SanguinettiReader in Informatics, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
Miroslav StankovicVienna University of TechnologyDirección de correo verificada de forsyte.tuwien.ac.at
Marcel MoosbruggerTU WienDirección de correo verificada de tuwien.ac.at
Calin BeltaBrendan Iribe Endowed Professor, University of MarylandDirección de correo verificada de bu.edu
Scott D. StollerProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.stonybrook.edu
Maria Rita Di BerardiniUniversità di CamerinoDirección de correo verificada de unicam.it
Stefan JakšićScientist, Austrian Institute of TechnologyDirección de correo verificada de ait.ac.at
Flavio H. FentonProfessor of Physics, Georgia TechDirección de correo verificada de physics.gatech.edu
Alexandre DonzeDecyphirDirección de correo verificada de decyphir.com
Giles RegerAmazon and University of ManchesterDirección de correo verificada de manchester.ac.uk
Luca TeseiAssistant Professor of Computer Science, University of CamerinoDirección de correo verificada de unicam.it

Seguir

Ezio Bartocci

Faculty of Informatics, TU Wien

Dirección de correo verificada de tuwien.ac.at - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	378	2018
Introduction to Runtime Verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification, 1-33, 2018	363	2018
Computational Modeling, Formal Analysis, and Tools for Systems Biology E Bartocci, P Lió PLoS Comput Biol 12 (1), e1004591, 2016	255	2016
Lectures on Runtime Verification. LNCS, vol. 10457 E Bartocci, Y Falcone Springer, Cham, 2018	171*	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	169	2019
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	158	2011
Runtime verification with state estimation SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ... Runtime Verification, 193-207, 2012	150	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	133	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	132	2015
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	127	2011
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	116	2018
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	116	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	107	2018
System design of stochastic models using robustness of temporal properties E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti Theoretical Computer Science, 2015	104	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	98	2009
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	94	2017
Adaptive runtime verification E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ... Runtime Verification 7687, 168--182, 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	82	2011
Control from signal temporal logic specifications with smooth cumulative quantitative semantics I Haghighi, N Mehdipour, E Bartocci, C Belta 2019 IEEE 58th Conference on Decision and Control (CDC), 4361-4366, 2019	80	2019
On the robustness of temporal properties for stochastic models E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti arXiv preprint arXiv:1309.0866, 2013	78	2013

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores