Found: 3

Select item for more details and to access through your institution.

  • sasa: a SimulAtor of Self-stabilizing Algorithms.

    Published in:
    Computer Journal, 2023, v. 66, n. 4, p. 796, doi. 10.1093/comjnl/bxab196
    By:
    • Altisen, Karine;
    • Devismes, Stéphane;
    • Jahier, Erwan
    Publication type:
    Article
  • SR3: secure resilient reputation-based routing.

    Published in:
    Wireless Networks (10220038), 2017, v. 23, n. 7, p. 2111, doi. 10.1007/s11276-016-1273-4
    By:
    • Altisen, Karine;
    • Devismes, Stéphane;
    • Jamet, Raphaël;
    • Lafourcade, Pascal
    Publication type:
    Article
  • A FRAMEWORK FOR CERTIFIED SELF-STABILIZATION.

    Published in:
    Logical Methods in Computer Science (LMCS), 2017, v. 13, n. 4, p. 1, doi. 10.23638/LMCS-13(4:14)2017
    By:
    • ALTISEN, KARINE;
    • CORBINEAU, PIERRE;
    • DEVISMES, STÉPHANE
    Publication type:
    Article