Hervé Grall

	2009
4		Xavier Leroy, Hervé Grall: Coinductive big-step operational semantics. Inf. Comput. 207(2): 284-304 (2009)
	2008
3		Pierre-Charles David, Marc Léger, Hervé Grall, Thomas Ledoux, Thierry Coupaye: A Multi-stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems. DAIS 2008: 106-111
2		Xavier Leroy, Hervé Grall: Coinductive big-step operational semantics CoRR abs/0808.0586: (2008)
	2006
1		Hervé Grall: A Confinement Criterion for Securely Executing Mobile Code. Journal of Automata, Languages and Combinatorics 11(1): 59-106 (2006)

Coauthor Index

1	Thierry Coupaye	[3]
2	Pierre-Charles David	[3]
3	Thomas Ledoux	[3]
4	Marc Léger	[3]
5	Xavier Leroy	[2] [4]

Colors in the list of coauthors