| |
| 2009 | ||
|---|---|---|
| 4 | EE | Xavier Leroy, Hervé Grall: Coinductive big-step operational semantics. Inf. Comput. 207(2): 284-304 (2009) |
| 2008 | ||
| 3 | EE | 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 | EE | 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) | |
| 1 | Thierry Coupaye | [3] |
| 2 | Pierre-Charles David | [3] |
| 3 | Thomas Ledoux | [3] |
| 4 | Marc Léger | [3] |
| 5 | Xavier Leroy | [2] [4] |