Muriel Roger

	2005
3		Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger: PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. EDCC 2005: 281-292
2		Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma: Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically. J. Log. Algebr. Program. 64(2): 219-251 (2005)
	2001
1		Muriel Roger, Jean Goubault-Larrecq: Log Auditing through Model-Checking. CSFW 2001: 220-

Coauthor Index

1	Jean Goubault-Larrecq (Jean Goubault)	[1] [2]
2	Bruno Marre	[3]
3	Patricia Mouy	[3]
4	Kumar Neeraj Verma	[2]
5	Nicky Williams	[3]

Colors in the list of coauthors