Showing 1 - 5 results of 5 for search 'Annalisa Massini', query time: 0.02s Refine Results
  1. 1
    Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks

    Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks by Daniele Izzi, Annalisa Massini

    Published 2023-01-01
    Get full text
    Article
  2. 2
    Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification

    Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification by Viviana Arrigoni, Novella Bartolini, Annalisa Massini

    Published 2021-01-01
    Get full text
    Article
  3. 3
    Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review

    Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review by Angela Pappagallo, Annalisa Massini, Enrico Tronci

    Published 2020-12-01
    Get full text
    Article
  4. 4
    A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management

    A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management by Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci

    Published 2021-04-01
    Get full text
    Article
  5. 5
    Simulator Semantics for System Level Formal Verification

    Simulator Semantics for System Level Formal Verification by Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci

    Published 2015-09-01
    Get full text
    Article

Search Tools: