S. Cherem
T. Chilimbi
S. Gulwani
2008
Inferring locks for atomic sections
PLDI
304–315
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
CAV
359–364
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
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
10.1109/TNSM.2007.021102
Pierre Francois
Mike Shand
Olivier Bonaventure
2007
Disruption-free topology reconfiguration in OSPF Networks
INFOCOM
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
NSDI
Nate Kushman
Srikanth Kandula
Dina Katabi
Bruce M. Maggs
2007
R-BGP: staying connected In a connected world
NSDI
S. Raza
Y. Zhu
C-N. Chuah
2011
Graceful Network State Migrations
IEEE/ACM Transactions on Networking
19
4
10.1109/TNET.2010.2097604
Mark Reitblatt
Nate Foster
Jennifer Rexford
Cole Schlesinger
David Walker
2012
Abstractions for Network Update
ACM SIGCOMM Conference on Communications Architectures, Protocols and Applications (SIGCOMM) , Helsinki, Finland
323–334
10.1145/2342356.2342427
A. Solar-Lezama
C. Jones
R. Bodík
2008
Sketching concurrent data structures
PLDI
136–148
10.1145/1379022.1375599
Laurent Vanbever
Stefano Vissicchio
Cristel Pelsser
Pierre Francois
Olivier Bonaventure
2011
Seamless Network-Wide IGP Migration
SIGCOMM
10.1145/2018436.2018473
M. Vechev
E. Yahav
2008
Deriving linearizable fine-grained concurrent objects
PLDI
125–135
10.1145/1375581.1375598
M. Vechev
E. Yahav
G. Yorsh
2010
Abstraction-guided synthesis of synchronization
POPL
327–338
10.1145/1706299.1706338