Items where Person is "Diana, Rémi"

Article

Diana, Rémi and Lochin, Emmanuel ECN verbose mode: a statistical method for network path congestion estimation. (2011) Computer Networks, vol. 55 (n° 10). pp. 2380-2391. ISSN 1389-1286

Conference or Workshop Item

Diana, Rémi and Lochin, Emmanuel and Franck, Laurent and Baudoin, Cédric and Dubois, Emmanuel and Gelard, Patrick A DTN routing scheme for quasi-deterministic networks with application to LEO satellites topology. (2012) In: IEEE 76th Vehicular Technology Conference: VTC2012-Fall, 3-6 Sep 2012, Québec City, Canada.

Diana, Rémi and Lochin, Emmanuel Analytical Model of TCP Relentless Congestion Control. ( In Press: 2012) In: 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, 27-28 Aug 2012, Paris, France.

Diana, Rémi and Lochin, Emmanuel Modelling the Delay Distribution of Binary Spray and Wait Routing Protocol. (2012) In: 6th IEEE WoWMoM Autonomic and Opportunistic Communications (AOC 2012), 25 Jun 2012, San Francisco, USA.

Diana, Rémi and Lochin, Emmanuel ECN verbose mode: a statistical method for network path congestion estimation. (2010) In: INFOCOM IEEE Conference on Computer Communications Workshops, 2010, 15-19 March 2010, San Diego, United States.

Diana, Rémi and Lochin, Emmanuel and Anelli, Pascal Une méthode statistique d’estimation de la congestion d'un réseau. (2009) In: Colloque francophone sur l'ingénierie des protocoles (CFIP), 12-15 Oct 2009, Strasbourg, France.

Report

Saqui-Sannes, Pierre de and Diana, Rémi and Lochin, Emmanuel SysML Modeling and Formal Verification of the TCP Relentless Congestion Protocol. (2011) [Report] (Unpublished)