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

2011

Channel Synthesis for Finite Transducers.

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

Proceedings of the Automata and Formal Languages, 13th International Conference, 2011

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