Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

7 results
Deposit type : Fulltext
labStructName_s : Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
Image document

A model checking based approach for detecting SDN races

Evgenii Vinarskii , Jorge Lopez , Natalia Kushik , Nina Yevtushenko , Djamal Zeghlache
ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.194-211, ⟨10.1007/978-3-030-31280-0_12⟩
Conference papers hal-02448964v1
Image document

CSI based indoor localization using Ensemble Neural Networks

Abdallah Sobehy , Eric Renault , Paul Mühlethaler
MLN 2019 : 2nd IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.367-378, ⟨10.1007/978-3-030-45778-5_25⟩
Conference papers hal-02334588v1
Image document

Industrial IoT security monitoring and test on Fed4Fire+ platforms

Diego Rivera , Edgardo Montes de Oca , Wissam Mallouli , Ana R Cavalli , Brecht Vermeulen , et al.
ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.270-278, ⟨10.1007/978-3-030-31280-0_17⟩
Conference papers hal-02526342v1
Image document

Analysis of QUIC session establishment and its implementations

Eva Gagliardi , Olivier Levillain
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.169-184, ⟨10.1007/978-3-030-41702-4_11⟩
Conference papers hal-02468596v1
Image document

Space-time pattern extraction in alarm logs for network diagnosis

Achille Salaün , Anne Bouillard , Marc-Olivier Buob
MLN 2019: 2nd IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.134-153, ⟨10.1007/978-3-030-45778-5_10⟩
Conference papers hal-02484330v2
Image document

Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs

Nina Yevtushenko , Victor Kuliamin , Natalia Kushik
ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.86-103, ⟨10.1007/978-3-030-31280-0_6⟩
Conference papers hal-02448916v1
Image document

Attack tolerance for services-based applications in the cloud

Georges Ouffoué , Fatiha Zaïdi , Ana R Cavalli
ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.242-258, ⟨10.1007/978-3-030-31280-0_15⟩
Conference papers hal-02526356v1