Julien Mallet

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 2

Top Topics

Static Analysis

Software Design

Engineering Students

Top Venues

MoDELS (Companion)

Publications

Antoine Beugnard, Julien Mallet
Making Application Build Safer Through Static Analysis of Naming. ENASE (2024)
Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez Perez, Maria-Teresa Segarra
An analysis of software design understanding & motivation of engineering students. MoDELS (Companion) (2022)
Thomas Demongeot, Julien Mallet, Yves Le Traon
Runtime verification of declassification for imperative programs: Formal foundations. CRiSIS (2009)
Julien Mallet, Siegfried Rouvrais
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems. QoSA (2008)
Pascal Fradet, Julien Mallet
Compilation of a specialized functional language for massively parallel computers. J. Funct. Program. 10 (6) (2000)
Julien Mallet
Symbolic Cost Analysis and Automatic Data Distribution for a Skeleton-Based Language. Euro-Par (1998)