Julien Charles

Publication Activity (10 Years)

Years Active: 2001-2021
Publications (10 Years): 1

Top Topics

Information Management

Learning Algorithm

Asymptotic Optimality

Top Venues

Publications

Samuel Desguin, Julien Charles, Isabelle Ferreras, Wim Laurier
Introducing the Work-Enterprise Canvas as a Tool to Evaluate Job Quality (regular paper). VMBO (2021)
Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry
CLOPS: A DSL for Command Line Options. DSL (2009)
Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry
Strongest postcondition of unstructured programs. FTfJP@ECOOP (2009)
Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet
JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO (2006)
Lionel Catry, Julien Charles, Nicolas Launay, Olivier Pautot
KAMI. SIGGRAPH Video Review on Animation Theater Program (2001)