Alexandre Genon

	2006
3		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: 557-572
	2005
2		Bram De Wachter, Alexandre Genon, Thierry Massart: From Static Code Distribution to More Shrinkage for the Multiterminal Cut. WEA 2005: 177-188
1		Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter: The formal design of distributed controllers with dSL and Spin. Formal Asp. Comput. 17(2): 177-200 (2005)

Coauthor Index

1	Thierry Massart	[1] [2] [3]
2	Cédric Meuter	[1] [3]
3	Bram De Wachter	[1] [2]