by Kalyon, Gabriel, Le Gall, Tristan, Marchand, Herv, Massart, Thierry
Published in IEEE transactions on automatic control (01.02.2014)

by Kalyon, Gabriel, Le Gall, Tristan, Marchand, Hervé, Massart, Thierry
Published in Discrete event dynamic systems (01.06.2012)

by Kalyon, Gabriel, Le Gall, Tristan, Marchand, Hervé, Massart, Thierry
Published in Discrete event dynamic systems (01.09.2011)

by Kalyon, Gabriel, Le Gall, Tristan, Marchand, Hervé, Massart, Thierry
Published in Formal Techniques for Distributed Systems (2011)

by Geeraerts, Gilles, Kalyon, Gabriel, Le Gall, Tristan, Maquet, Nicolas, Raskin, Jean-Francois
Published in Automated Technology for Verification and Analysis (2010)

by Kalyon, Gabriel, Le Gall, Tristan, Marchand, Herve, Massart, Thierry
Published in 2009 European Control Conference (ECC) (01.08.2009)

by Kalyon, G., Le Gall, T., Marchand, H., Massart, T.
Published in 2009 IEEE International Conference on Control and Automation (01.12.2009)