Skip to content
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • News
  • Events
    • Be Aware! Keep Calm and read your privacy policies
    • 2nd Workshop on AI in Networks and Distributed Systems
    • HPC4AI – Intelligenza Artificiale e Big Data: opportunità e servizi al Politecnico
  • Workshops
    • Seminars
      • Be Aware! Keep Calm and read your privacy policies
      • Is Natural Language Processing the Holy Grail of Artificial Intelligence?
      • Uncertainty damping in the macroscopic forecast of vehicular traffic flow
    • 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
    • Be Aware! Keep Calm and read your privacy policies
    • 2nd Workshop on AI in Networks and Distributed Systems
    • HPC4AI – Intelligenza Artificiale e Big Data: opportunità e servizi al Politecnico
  • Workshops
    • Seminars
      • Be Aware! Keep Calm and read your privacy policies
      • Is Natural Language Processing the Holy Grail of Artificial Intelligence?
      • Uncertainty damping in the macroscopic forecast of vehicular traffic flow
    • 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 (9999) Improving the formal verification of reachability policies in virtualized networks, In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 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

© 2021 SmartData@PoliTO – All rights reserved

Homepage - Privacy - Cookie Policy - Contacts

This site uses third-party cookies: by using the site, you consent to the use of cookies. For more information view the cookie policy.