1. S. Cherem, T. Chilimbi & S. Gulwani (2008): Inferring locks for atomic sections. In: PLDI, pp. 304–315, doi:10.1145/1375581.1375619.
  2. 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.
  3. 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.
  4. 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.
  5. Pierre Francois, Mike Shand & Olivier Bonaventure (2007): Disruption-free topology reconfiguration in OSPF Networks. In: INFOCOM, doi:10.1109/INFCOM.2007.19.
  6. John P. John, Ethan Katz-Bassett, Arvind Krishnamurthy, Thomas Anderson & Arun Venkataramani (2008): Consensus Routing: The Internet as a Distributed System. In: NSDI.
  7. Nate Kushman, Srikanth Kandula, Dina Katabi & Bruce M. Maggs (2007): R-BGP: staying connected In a connected world. In: NSDI.
  8. 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.
  9. 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.
  10. A. Solar-Lezama, C. Jones & R. Bodík (2008): Sketching concurrent data structures. In: PLDI, pp. 136–148, doi:10.1145/1379022.1375599.
  11. Laurent Vanbever, Stefano Vissicchio, Cristel Pelsser, Pierre Francois & Olivier Bonaventure (2011): Seamless Network-Wide IGP Migration. In: SIGCOMM, doi:10.1145/2018436.2018473.
  12. M. Vechev & E. Yahav (2008): Deriving linearizable fine-grained concurrent objects. In: PLDI, pp. 125–135, doi:10.1145/1375581.1375598.
  13. M. Vechev, E. Yahav & G. Yorsh (2010): Abstraction-guided synthesis of synchronization. In: POPL, pp. 327–338, doi:10.1145/1706299.1706338.

Comments and questions to:
For website issues: