Gilles Benattar

According to our database, Gilles Benattar authored at least 3 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Control and synthesis of non-interferent timed systems.

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux

Int. J. Control, 2015

2012

Channel Synthesis for Finite Transducers.

Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas

Int. J. Found. Comput. Sci., 2012

2009

Synthesis of Non-Interferent Timed Systems.

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009