| 1 | -- | 46 | Youcef Hammal, Quentin Monnet, Lynda Mokdad, Jalel Ben-Othman, Abdelli Abdelkrim. Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks |
| 47 | -- | 73 | Estelle Perrin, Sebastien Linck, Dimitry Zekrouf. AlgoTch: the Virtual Teacher within AlgoPath |
| 74 | -- | 104 | Damien Le Quéré, Christophe Betoule, Rémi Clavier, Yassine Hadjadj Aoul, Adlen Ksentini, Gilles Thouénon. Presentation & Evaluation of LOCARN: Low Opex and Capex Architecture for Resilient Networks |
| 105 | -- | 120 | Marwane Ayaida, Hacène Fouchal, Lissan Afilal. Interoperability Model for Embedded Devices Connect-to-All |