|
Search the dblp DataBase
Alexandre Genon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alexandre Genon, Thierry Massart, Cédric Meuter
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. [Citation Graph (0, 0)][DBLP] FM, 2006, pp:557-572 [Conf]
- Bram De Wachter, Alexandre Genon, Thierry Massart
From Static Code Distribution to More Shrinkage for the Multiterminal Cut. [Citation Graph (0, 0)][DBLP] WEA, 2005, pp:177-188 [Conf]
- Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter
The formal design of distributed controllers with dSL and Spin. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2005, v:17, n:2, pp:177-200 [Journal]
Search in 0.001secs, Finished in 0.001secs
|