Ezio Bartocci

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

Denise Ratasich, Faiq Khalid, Radu Grosu et al. · IEEE Access · 2019 · 128 citations · Full text

SpaTeL

Iman Haghighi, Austin Jones, Zhaodan Kong et al. · 2015 · 111 citations

Engineering, Networked Dynamical Systems, Data Science +12

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

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt et al. · Chalmers Research (Chalmers University of Technology) · 2019 · 95 citations

System design of stochastic models using robustness of temporal properties

Ezio Bartocci, Luca Bortolussi, Laura Nenzi et al. · Theoretical Computer Science · 2015 · 89 citations · Full text

Stochastic Hybrid System, Uncertainty Quantification, Stochastic System +6

Learning and detecting emergent behavior in networks of cardiac myocytes

Radu Grosu, Scott A. Smolka, Flavio Corradini et al. · Communications of the ACM · 2009 · 81 citations

Spiral Electric Waves, Cardiac Muscle, Engineering +18