Testing Distributed Systems Through Symbolic Model Checking. - Gabriel Kalyon; Thierry Massart; Cédric Meuter; Laurent Van Begin (FORTE, 2007)

Control of infinite Symbolic Transition Systems under partial observation. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (ECC, 2009)

Lattice-Valued Binary Decision Diagrams. - Gilles Geeraerts; Gabriel Kalyon; Tristan Le Gall; Nicolas Maquet; Jean-François Raskin (ATVA, 2010)

Synthesis of communicating controllers for distributed systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (CDC/ECC, 2011)

Global State Estimates for Distributed Systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (FMOODS/FORTE, 2011)

Decentralized Control of Infinite Systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (Discret. Event Dyn. Syst., 2011)

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (Discret. Event Dyn. Syst., 2012)

Symbolic Supervisory Control of Distributed Systems With Communications. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (IEEE Trans. Autom. Control., 2014)