| 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) |
