 | 2012 |
|---|
| 6 |       | Gabriel Kalyon,
Tristan Le Gall,
Hervé Marchand,
Thierry Massart:
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation.
Discrete Event Dynamic Systems 22(2): 121-161 (2012) |
| 2011 |
|---|
| 5 | | Gabriel Kalyon,
Tristan Le Gall,
Hervé Marchand,
Thierry Massart:
Synthesis of communicating controllers for distributed systems.
CDC-ECE 2011: 1803-1810 |
| 4 | | Gabriel Kalyon,
Tristan Le Gall,
Hervé Marchand,
Thierry Massart:
Global State Estimates for Distributed Systems.
FMOODS/FORTE 2011: 198-212 |
| 3 | | Gabriel Kalyon,
Tristan Le Gall,
Hervé Marchand,
Thierry Massart:
Decentralized Control of Infinite Systems.
Discrete Event Dynamic Systems 21(3): 359-393 (2011) |
| 2010 |
|---|
| 2 | | Gilles Geeraerts,
Gabriel Kalyon,
Tristan Le Gall,
Nicolas Maquet,
Jean-François Raskin:
Lattice-Valued Binary Decision Diagrams.
ATVA 2010: 158-172 |
| 2007 |
|---|
| 1 | | Gabriel Kalyon,
Thierry Massart,
Cédric Meuter,
Laurent Van Begin:
Testing Distributed Systems Through Symbolic Model Checking.
FORTE 2007: 263-279 |
Data released under the ODC-BY 1.0 license — See also our legal information page