Sampling-based Decentralized Monitoring for Networked Embedded Systems

by Ezio Bartocci
Published 2013-08-01

Computational Modeling, Formal Analysis, and Tools for Systems Biology.

by Ezio Bartocci, Pietro Lió
Published 2016-01-01

Monitoring with uncertainty

by Ezio Bartocci, Radu Grosu
Published 2013-08-01

SEA-PARAM: Exploring Schedulers in Parametric MDPs

by Sebastian Arming, Ezio Bartocci, Ana Sokolova
Published 2017-07-01

Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-Accelerated Monte Carlo Simulation

by Lilly Maria Treml, Ezio Bartocci, Alessio Gizzi
Published 2021-01-01

On the Robustness of Temporal Properties for Stochastic Models

by Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
Published 2013-08-01

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

by Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
Published 2019-01-01

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

by Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Published 2020-01-01