S. Cherem, T. Chilimbi & S. Gulwani (2008):
Inferring locks for atomic sections.
In: PLDI,
pp. 304–315,
doi:10.1145/1375581.1375619.
A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani & A. Tacchella (2002):
NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
In: CAV,
pp. 359–364,
doi:10.1007/3-540-45657-0_29.
Pierre Francois & Olivier Bonaventure (2007):
Avoiding transient loops during the convergence of link-state routing protocols.
IEEE/ACM Trans. on Networking,
doi:10.1109/TNET.2007.902686.
Pierre Francois, Pierre-Alain Coste, Bruno Decraene & Olivier Bonaventure (2007):
Avoiding disruptions during maintenance operations on BGP sessions.
IEEE Trans. on Network and Service Management,
doi:10.1109/TNSM.2007.021102.
Pierre Francois, Mike Shand & Olivier Bonaventure (2007):
Disruption-free topology reconfiguration in OSPF Networks.
In: INFOCOM,
doi:10.1109/INFCOM.2007.19.
John P. John, Ethan Katz-Bassett, Arvind Krishnamurthy, Thomas Anderson & Arun Venkataramani (2008):
Consensus Routing: The Internet as a Distributed System.
In: NSDI.
Nate Kushman, Srikanth Kandula, Dina Katabi & Bruce M. Maggs (2007):
R-BGP: staying connected In a connected world.
In: NSDI.
S. Raza, Y. Zhu & C-N. Chuah (2011):
Graceful Network State Migrations.
IEEE/ACM Transactions on Networking 19(4),
doi:10.1109/TNET.2010.2097604.
Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger & David Walker (2012):
Abstractions for Network Update.
In: ACM SIGCOMM Conference on Communications Architectures, Protocols and Applications (SIGCOMM) , Helsinki, Finland,
pp. 323–334,
doi:10.1145/2342356.2342427.
A. Solar-Lezama, C. Jones & R. Bodík (2008):
Sketching concurrent data structures.
In: PLDI,
pp. 136–148,
doi:10.1145/1379022.1375599.