Skip to content
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • News
  • Events
    • La biblioteca nel metaverso – la Reading & Machine
    • Reading (&) Machine: evento di presentazione
    • 8th SmartData@PoliTO Workshop – Present and Future Directions
  • Workshops
    • Seminars
      • Strengthening the IoT Ecosystem: Privacy Preserving IoT Security Management
      • Accelerated Deep Learning via Efficient, Compressed and Managed Communication
      • Toposes as ‘bridges’ for mathematics and artificial intelligence
    • SmartTalks
  • Education
    • Courses for PhD students
    • PhD Course: Topological Data Analysis
    • PhD Course: Data Science for Networks
    • Corporate training on Digital Transformation
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
  • Open Positions
    • open position – PhD student
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • Open position – Technologist
  • BigData Cluster
    • Computing Facilities
    • Request BigData@Polito Account
    • BigData@Polito Access Instructions
    • Run Jobs with Custom Packages
  • Private Area
  • Search
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • News
  • Events
    • La biblioteca nel metaverso – la Reading & Machine
    • Reading (&) Machine: evento di presentazione
    • 8th SmartData@PoliTO Workshop – Present and Future Directions
  • Workshops
    • Seminars
      • Strengthening the IoT Ecosystem: Privacy Preserving IoT Security Management
      • Accelerated Deep Learning via Efficient, Compressed and Managed Communication
      • Toposes as ‘bridges’ for mathematics and artificial intelligence
    • SmartTalks
  • Education
    • Courses for PhD students
    • PhD Course: Topological Data Analysis
    • PhD Course: Data Science for Networks
    • Corporate training on Digital Transformation
  • Research
    • Publications
    • Current PhD
    • Projects
    • Open Datasets & Libraries
    • Topics
  • Open Positions
    • open position – PhD student
    • open position – Assistant Professor with time contract (RTD-A)
    • open position – PostDoc researchers
    • Open position – Technologist
  • BigData Cluster
    • Computing Facilities
    • Request BigData@Polito Account
    • BigData@Polito Access Instructions
    • Run Jobs with Custom Packages
  • Private Area
Home » Publications » Improving the formal verification of reachability policies in virtualized networks

Improving the formal verification of reachability policies in virtualized networks

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Serena Spinoso, Fulvio Valenza, Jalolliddin Yusupov (2021) Improving the formal verification of reachability policies in virtualized networks, In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, pp. 713-728, ISSN: 1932-4537

Post navigation

  • Previous post A three-field based optimization formulation for flow simulations in networks of fractures on non-conforming meshes
  • Back to post list
  • Next post Cultural tourism development and the impact on local communities: a case study from the South of Italy

Collaborations

 

© 2023 SmartData@PoliTO – All rights reserved

Homepage - Privacy - Cookie Policy - Contacts