Julien Mallet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1998–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ENASE | Making Application Build Safer Through Static Analysis of Naming. | Antoine Beugnard, Julien Mallet |
| 2022 | MODELS | An analysis of software design understanding & motivation of engineering students. | Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martnez Perez, Maria-Teresa Segarra |
| 2009 | CRiSIS | Runtime verification of declassification for imperative programs: Formal foundations. | Thomas Demongeot, Julien Mallet, Yves Le Traon |
| 1998 | EuroPar | Symbolic Cost Analysis and Automatic Data Distribution for a Skeleton-Based Language. | Julien Mallet |