Alexandre Genon

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Alexandre Genon, Thierry Massart, Cédric Meuter
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. FM (2006)
Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter
SL and Spin. Formal Aspects Comput. 17 (2) (2005)
Bram De Wachter, Alexandre Genon, Thierry Massart
From Static Code Distribution to More Shrinkage for the Multiterminal Cut. WEA (2005)