Hervé Grall

	2012
7		Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt: A Message-passing Model for Service Oriented Computing. WEBIST 2012: 136-142
	2011
6		Muhammad Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Hervé Grall, Mario Südholt: Evolving Security Requirements in Multi-layered Service-Oriented-Architectures. DPM/SETOP 2011: 190-205
	2010
5		Mayleen Lacouture, Hervé Grall, Thomas Ledoux: CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources FOCLASA 2010: 16-30
	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	Diana Allam	[7]
2	Thierry Coupaye	[3]
3	Pierre-Charles David	[3]
4	Rémi Douence	[7]
5	Muhammad Sabir Idrees	[6]
6	Mayleen Lacouture	[5]
7	Thomas Ledoux	[3] [5]
8	Marc Léger	[3]
9	Xavier Leroy	[2] [4]
10	Anderson Santana de Oliveira (Anderson Santana)	[6]
11	Yves Roudier	[6]
12	Jean-Claude Royer	[7]
13	Gabriel Serme	[6]
14	Mario Südholt	[6] [7]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page