2026 Ezio Bartocci: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	39	9887	9606	87	84	253	5110

Overview

Ezio Bartocci is affiliated with TU Wien in Austria and focuses on research within the field of computer science, with over 240 publications. Their work encompasses various subfields including artificial intelligence, computational theory and mathematics, software, computer networks and communications, and control and systems engineering.

The main topics addressed in Bartocci's research include:

Formal Methods in Verification
Software Testing and Debugging Techniques
Logic, Programming, and Type Systems
Software Reliability and Analysis Research
Distributed Systems and Fault Tolerance
Security and Verification in Computing
Bayesian Modeling and Causal Inference

Bartocci has a substantial publication record in several venues. Frequent publication venues include:

arXiv (Cornell University)
Formal Methods in System Design
ACM Transactions on Embedded Computing Systems
International Journal on Software Tools for Technology Transfer
Information and Computation

Among the noteworthy papers authored or co-authored by Bartocci are:

"Survey on mining signal temporal logic specifications," 2022, Information and Computation
"CPSDebug: Automatic failure explanation in CPS models," 2021, International Journal on Software Tools for Technology Transfer
"A formal methods approach to pattern synthesis in reaction diffusion systems," 2020, OpenMETU (Middle East Technical University)
"A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities," 2021, IEEE Internet of Things Journal
"DeepSTL," 2022, Proceedings of the 44th International Conference on Software Engineering

Bartocci's collaborative research includes frequent co-authors such as Dejan Ničković, Marcel Moosbrugger, Laura Kovács, Miroslav Stankovič, and Efstathia Bura, with collaboration counts ranging from 9 to 29 joint works.

In addition to journal and conference papers, Bartocci has contributed to book publications, including a title published by Springer Science+Business Media: Formal Methods in Outer Space (2021).

Best Publications

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Ezio Bartocci;Jyotirmoy V. Deshmukh;Alexandre Donzé;Georgios Fainekos

339
Citations
Introduction to runtime verification

Ezio Bartocci;Yliès Falcone;Adrian Francalanza;Giles Reger

290
Citations
Computational Modeling, Formal Analysis, and Tools for Systems Biology

Ezio Bartocci;Pietro Lió

257
Citations
Model repair for probabilistic systems

Ezio Bartocci;Radu Grosu;Panagiotis Katsaros;C. R. Ramakrishnan

152
Citations
Runtime verification with state estimation

Scott D. Stoller;Ezio Bartocci;Justin Seyster;Radu Grosu

150
Citations
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems

Denise Ratasich;Faiq Khalid;Florian Geissler;Radu Grosu

140
Citations
SpaTeL: a novel spatial-temporal logic and its applications to networked systems

Iman Haghighi;Austin Jones;Zhaodan Kong;Ezio Bartocci

137
Citations
From cardiac cells to genetic regulatory networks

Radu Grosu;Gregory Batt;Flavio H. Fenton;James Glimm

124
Citations
Data-Driven Statistical Learning of Temporal Logic Properties

Ezio Bartocci;Luca Bortolussi;Guido Sanguinetti

117
Citations
On temporal logic and signal processing

Alexandre Donzé;Oded Maler;Ezio Bartocci;Dejan Nickovic

102
Citations
Lectures on Runtime Verification: Introductory and Advanced Topics

Ezio Bartocci;Yliès Falcone

101
Citations
Learning and detecting emergent behavior in networks of cardiac myocytes

Radu Grosu;Scott A. Smolka;Flavio Corradini;Anita Wasilewska

98
Citations
System design of stochastic models using robustness of temporal properties

Ezio Bartocci;Luca Bortolussi;Luca Bortolussi;Laura Nenzi;Guido Sanguinetti

97
Citations
Quantitative monitoring of STL with edit distance

Stefan Jakšić;Stefan Jakšić;Ezio Bartocci;Radu Grosu;Thang Nguyen

93
Citations
A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez;Gerardo Schneider;Wolfgang Ahrendt;Ezio Bartocci

91
Citations
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci;Yliès Falcone;Yliès Falcone;Borzoo Bonakdarpour;Christian Colombo

90
Citations
Monitoring mobile and spatially distributed cyber-physical systems

Ezio Bartocci;Luca Bortolussi;Michele Loreti;Laura Nenzi

84
Citations
Toward real-time simulation of cardiac dynamics

E. Bartocci;E. M. Cherry;J. Glimm;R. Grosu

81
Citations
Adaptive Runtime Verification

Ezio Bartocci;Radu Grosu;Atul Karmarkar;Scott A. Smolka

80
Citations
BioWMS: a web-based Workflow Management System for bioinformatics.

Ezio Bartocci;Flavio Corradini;Emanuela Merelli;Lorenzo Scortichini

76
Citations

Frequent Co-Authors

Radu Grosu TU Wien

Scott A. Smolka Stony Brook University

Guido Sanguinetti International School for Advanced Studies

John A. Stankovic University of Virginia

Calin Belta Boston University

James Glimm Stony Brook University

Joost-Pieter Katoen RWTH Aachen University

Thomas A. Henzinger Institute of Science and Technology Austria

Roderick Bloem Graz University of Technology

Pietro Liò University of Cambridge

External Links

Personal website of Ezio Bartocci Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens many doors to flexible online education and fast-tracked career opportunities. Whether you’re aiming for a foundational or advanced role, online programs now offer quick, affordable, and respected options. For those just starting out, 1 year associate degree programs online offer a fast entry into the technology sector.

Certification can also be a smart move for career advancement. There are easy certifications to get online that boost your earning potential and make your resume stand out, often requiring less time than a full degree.

For those interested in graduate education, many institutions now offer the quickest cheapest masters degree programs, allowing you to upskill on your own schedule and potentially finish in as little as one year.

Not sure which degree holds the most value? It’s worth exploring the most useful masters degrees tailored to fast-growing fields and high-demand skills. Choosing the right online pathway can help you accelerate your tech career in the USA.