Loïc Desgeorges

According to our database, Loïc Desgeorges authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Detection of anomalies of a non-deterministic software-defined networking control.

Loïc Desgeorges, Jean-Philippe Georges, Thierry Divoux

Comput. Secur., June, 2023

RSC to the ReSCu: Automated Verification of Systems of Communicating Automata.

Loïc Desgeorges, Loïc Germerie Guizouarn

Proceedings of the Coordination Models and Languages, 2023

2022

Détection d'anomalies de sûreté et sécurité d'un contrôle centralisé de réseau. (Detection of safety and security anomalies of a centralized network control).

Loïc Desgeorges

PhD thesis, 2022

2021

Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata.

Loïc Desgeorges, Pierre-Yves Piriou, Thibault Lemattre, Hassane Chraibi

Reliab. Eng. Syst. Saf., 2021

A technique to monitor threats in SDN data plane computation.

Loïc Desgeorges, Jean-Philippe Georges, Thierry Divoux

Proceedings of the 22nd IEEE International Conference on High Performance Switching and Routing, 2021