Matteo Corea

From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence

Giuseppe Di Battista, Stefano Vissicchio, Luca Cittadini, 2011, IEEE Transactions on Network and Service Management.

On the feasibility of static analysis for BGP convergence

Giuseppe Di Battista, Luca Cittadini, Massimo Rimondini, 2009, 2009 IFIP/IEEE International Symposium on Integrated Network Management.