Ezio Bartocci - Concepedia

Author

Ezio Bartocci

TU Wien ORCID

Also Known As

BARTOCCI, Ezio, Bartocci E., Bartocci Ezio, Bartocci, Ezio, E. Bartocci, Ezio Bartocci, Paoletti, Nicola

266

Publications

4.4K

Citations

H-Index

127

Concepts

All Affiliations

TU Wien Università di Camerino Austrian Institute of Technology Stony Brook University University of Trieste

About

Ezio Bartocci is an author at TU Wien specializing in engineering, computer science, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	36	1.1K
2	Medicine	2	2	36
3	Business	1	1	43
4	Management	1	1	10
5	Natural Sciences	1	1	13

Ezio Bartocci

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems Denise Ratasich, Faiq Khalid, Radu Grosu, IEEE Access	2019	128
SpaTeL Iman Haghighi, Austin Jones, Zhaodan Kong, EngineeringNetworked Dynamical SystemsData ScienceSpatialtemporal ReasoningAutomated Reasoning	2015	111
A survey of challenges for runtime verification from advanced application domains (beyond software) César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Chalmers Research (Chalmers University of Technology)	2019	95
System design of stochastic models using robustness of temporal properties Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Theoretical Computer Science Stochastic Hybrid SystemUncertainty QuantificationStochastic SystemProcess ControlStochastic Dynamical System	2015	89
Learning and detecting emergent behavior in networks of cardiac myocytes Radu Grosu, Scott A. Smolka, Flavio Corradini, Communications of the ACM Spiral Electric WavesCardiac MuscleEngineeringCellular PhysiologySocial Sciences	2009	81
Monitoring mobile and spatially distributed cyber-physical systems Ezio Bartocci, Luca Bortolussi, Michele Loreti,	2017	76
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour, International Journal on Software Tools for Technology Transfer	2017	66
Toward real-time simulation of cardiac dynamics Ezio Bartocci, Elizabeth M. Cherry, James Glimm, Numerical AnalysisCardiac MuscleEngineeringSimulationBiomedical Engineering	2011	59
From signal temporal logic to FPGA monitors Stefan Jakšić, Ezio Bartocci, Radu Grosu, EngineeringHardware Verification LanguageFpga MonitorsVerificationComputer Architecture	2015	55
Quantitative monitoring of STL with edit distance Stefan Jakšić, Ezio Bartocci, Radu Grosu, Formal Methods in System Design	2018	53

Page 1