Showing 1 - 7 results of 7 for search 'Ezio Bartocci', query time: 0.03s Refine Results
  1. 1
    Sampling-based Decentralized Monitoring for Networked Embedded Systems

    Sampling-based Decentralized Monitoring for Networked Embedded Systems by Ezio Bartocci

    Published 2013-08-01
    Get full text
    Article
  2. 2
    Computational Modeling, Formal Analysis, and Tools for Systems Biology.

    Computational Modeling, Formal Analysis, and Tools for Systems Biology. by Ezio Bartocci, Pietro Lió

    Published 2016-01-01
    Get full text
    Article
  3. 3
    Monitoring with uncertainty

    Monitoring with uncertainty by Ezio Bartocci, Radu Grosu

    Published 2013-08-01
    Get full text
    Article
  4. 4
    Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-Accelerated Monte Carlo Simulation

    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
    Get full text
    Article
  5. 5
    On the Robustness of Temporal Properties for Stochastic Models

    On the Robustness of Temporal Properties for Stochastic Models by Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti

    Published 2013-08-01
    Get full text
    Article
  6. 6
    A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems

    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
    Get full text
    Article
  7. 7
    Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

    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
    Get full text
    Article

Search Tools: