Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- Tegawendé F. Bissyandé, L. Réveillère, J. Lawall, Y.‑D. Bromberg, G. Muller : “Implementing an Embedded Compiler using Program Transformation Rules”, Software: Practice and Experience, pp. 1..20, (Wiley) [Bissyandé 2013]
- A. Cournier, S. Dubois, A. Lamani, F. Petit, V. Villain : “The Snap-stabilizing message forwarding algorithm on tree topologies”, Theoretical Computer Science, vol. 496, pp. 89-112, (Elsevier) [Cournier 2013b]
- S. Devismes, F. Petit, S. Tixeuil : “Optimal probabilistic ring exploration by semi-synchronous oblivious robots”, Theoretical Computer Science, vol. 498, pp. 10-27, (Elsevier) [Devismes 2013]
- Y. Dieudonné, F. Levé, F. Petit, V. Villain : “Deterministic Geoleader Election in Disoriented Anonymous Systems”, Theoretical Computer Science, vol. 506, pp. 43-54, (Elsevier) [Dieudonné 2013]
- F. Hermenier, J. Lawall, G. Muller : “BtrPlace: A Flexible Consolidation Manager for Highly Available Applications”, IEEE Transactions on Dependable and Secure Computing, vol. 10 (5), pp. 273-286, (Institute of Electrical and Electronics Engineers) [Hermenier 2013]
- B. Kemme, G. Ramalingam, A. Schiper, M. Shapiro, K. Vaswani : “Consistency in Distributed Systems”, Dagstuhl Reports, vol. 3 (2), pp. 92-126, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Kemme 2013]
- W. Kolberg, P. De Botelho Marcos, Julio C. S. Anjos, Alexandre K. S. Miyazaki, Claudio R. Geyer, L. Arantes : “MRSG - A MapReduce Simulator over SimGrid”, Parallel Computing, vol. 39 (4-5), pp. 233-244, (Elsevier) [Kolberg 2013]
- J. Lawall, J. Brunel, N. Palix, R. Hansen, H. Stuart, G. Muller : “WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process”, Software: Practice and Experience, vol. 43 (1), pp. 67-92, (Wiley) [Lawall 2013]
- G. Muller, J. Jongwane : “Quand les écrans deviennent bleus”, Interstices, (INRIA) [Muller 2013]