Julien Charles

According to our database, Julien Charles authored at least 5 papers between 2001 and 2021.

Collaborative distances:

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

2021

Introducing the Work-Enterprise Canvas as a Tool to Evaluate Job Quality (regular paper).

Samuel Desguin, Julien Charles, Isabelle Ferreras, Wim Laurier

Proceedings of the International Workshop on Value Modelling and Business Ontologies Bolzano, 2021

2009

Strongest postcondition of unstructured programs.

Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

CLOPS: A DSL for Command Line Options.

Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2006

JACK - A Tool for Validation of Security and Behaviour of Java Applications.

Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2001

KAMI.

Lionel Catry, Julien Charles, Nicolas Launay, Olivier Pautot

Proceedings of the ACM SIGGRAPH 2001 Video Review on Animation Theater Program, 2001