Julien Mallet

According to our database, Julien Mallet authored at least 6 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Making Application Build Safer Through Static Analysis of Naming.

Antoine Beugnard, Julien Mallet

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2022

An analysis of software design understanding & motivation of engineering students.

Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez Perez, Maria-Teresa Segarra

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2009

Runtime verification of declassification for imperative programs: Formal foundations.

Thomas Demongeot, Julien Mallet, Yves Le Traon

Proceedings of the CRiSIS 2009, 2009

2008

Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems.

Julien Mallet, Siegfried Rouvrais

Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

2000

Compilation of a specialized functional language for massively parallel computers.

Pascal Fradet, Julien Mallet

J. Funct. Program., 2000

1998

Symbolic Cost Analysis and Automatic Data Distribution for a Skeleton-Based Language.

Julien Mallet

Proceedings of the Euro-Par '98 Parallel Processing, 1998