Alexandre Genon

According to our database, Alexandre Genon authored at least 3 papers between 2005 and 2006.

Collaborative distances:

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

2006

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.

Alexandre Genon, Thierry Massart, Cédric Meuter

Proceedings of the FM 2006: Formal Methods, 2006

2005

The formal design of distributed controllers with _dSL and Spin.

Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter

Formal Aspects Comput., 2005

From Static Code Distribution to More Shrinkage for the Multiterminal Cut.

Bram De Wachter, Alexandre Genon, Thierry Massart

Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005