Skip to content
Back Home
  • About
    • The mission
    • Contacts
    • People who are involved
    • External Advisory Board
  • News
  • Events
    • 9th SmartData@PoliTO Workshop – SmartData@PoliTO meets AI-H@PoliTO
    • La biblioteca nel metaverso – la Reading & Machine
    • Reading (&) Machine: evento di presentazione
  • Workshops
    • Seminars
      • Privacy in clustering: applications and algorithms
      • Evidential Reasoning and Learning
      • Strengthening the IoT Ecosystem: Privacy Preserving IoT Security Management
    • 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
    • 9th SmartData@PoliTO Workshop – SmartData@PoliTO meets AI-H@PoliTO
    • La biblioteca nel metaverso – la Reading & Machine
    • Reading (&) Machine: evento di presentazione
  • Workshops
    • Seminars
      • Privacy in clustering: applications and algorithms
      • Evidential Reasoning and Learning
      • Strengthening the IoT Ecosystem: Privacy Preserving IoT Security Management
    • 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