Gilles Benattar

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Mechanical Systems

Finite Automata

Process Automation

Top Venues

Int. J. Found. Comput. Sci.

Int. J. Control

Publications

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Control and synthesis of non-interferent timed systems. Int. J. Control 88 (2) (2015)
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
Channel Synthesis for Finite Transducers. Int. J. Found. Comput. Sci. 23 (6) (2012)
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Control and Synthesis of Non-Interferent Timed Systems CoRR (2012)
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
Channel Synthesis for Finite Transducers. AFL (2011)
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Synthesis of Non-Interferent Timed Systems. FORMATS (2009)