 | 2009 |
|---|
| 4 |       | Thomas Demongeot,
Julien Mallet,
Yves Le Traon:
Runtime verification of declassification for imperative programs: Formal foundations.
CRiSIS 2009: 43-50 |
| 2008 |
|---|
| 3 | | Julien Mallet,
Siegfried Rouvrais:
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems.
QoSA 2008: 55-70 |
| 2000 |
|---|
| 2 | | Pascal Fradet,
Julien Mallet:
Compilation of a specialized functional language for massively parallel computers.
J. Funct. Program. 10(6): 561-605 (2000) |
| 1998 |
|---|
| 1 | | Julien Mallet:
Symbolic Cost Analysis and Automatic Data Distribution for a Skeleton-Based Language.
Euro-Par 1998: 688-697 |
Data released under the ODC-BY 1.0 license — See also our legal information page