Skip to content
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • News
  • Events
    • Reading (&) Machine: evento di presentazione
    • 8th SmartData@PoliTO Workshop – Present and Future Directions
    • DATI, AI E ROBOTICA @POLITO
  • Workshops
    • Seminars
      • Accelerated Deep Learning via Efficient, Compressed and Managed Communication
      • Toposes as ‘bridges’ for mathematics and artificial intelligence
      • Be Aware! Keep Calm and read your privacy policies
    • 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
    • Reading (&) Machine: evento di presentazione
    • 8th SmartData@PoliTO Workshop – Present and Future Directions
    • DATI, AI E ROBOTICA @POLITO
  • Workshops
    • Seminars
      • Accelerated Deep Learning via Efficient, Compressed and Managed Communication
      • Toposes as ‘bridges’ for mathematics and artificial intelligence
      • Be Aware! Keep Calm and read your privacy policies
    • 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

 

© 2022 SmartData@PoliTO – All rights reserved

Homepage - Privacy - Cookie Policy - Contacts