3
Publications
261
Citations
3
H-Index
2010
Active since
Julien Cretin is an author at Institut national de recherche en sciences et technologies du numérique specializing in system software, formal methods, and program analysis.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSystems EngineeringSoftware Engineering
Publications per year
2010–2012
3
3
Brent A. Yorgey, Stephanie Weirich, Julien Cretin et al. · 2012 · 172 citations · Full text
Davi Barbosa, Julien Cretin, Nate Foster et al. · 2010 · 79 citations
On the power of coercion abstraction
Julien Cretin, Didier Rémy · 2012 · 10 citations
Rows per page
1–3 of 3