Julien Mallet
According to our database1,
Julien Mallet
authored at least 6 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024
2022
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.
Proceedings of the CRiSIS 2009, 2009
2008
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems.
Proceedings of the Quality of Software Architectures. Models and Architectures, 2008
2000
J. Funct. Program., 2000
1998
Symbolic Cost Analysis and Automatic Data Distribution for a Skeleton-Based Language.
Proceedings of the Euro-Par '98 Parallel Processing, 1998