Loïc Desgeorges

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Argumentation Frameworks

Hybrid Automata

Detecting Anomalies

Logical Language

Top Venues

Reliab. Eng. Syst. Saf.

Publications

Loïc Desgeorges, Jean-Philippe Georges, Thierry Divoux
Detection of anomalies of a non-deterministic software-defined networking control. Comput. Secur. 129 (2023)
Loïc Desgeorges, Loïc Germerie Guizouarn
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. COORDINATION (2023)
Loïc Desgeorges, Jean-Philippe Georges, Thierry Divoux
A technique to monitor threats in SDN data plane computation. HPSR (2021)
Loïc Desgeorges, Pierre-Yves Piriou, Thibault Lemattre, Hassane Chraibi
Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata. Reliab. Eng. Syst. Saf. 208 (2021)