Élodie-Jane Sims

According to our database, Élodie-Jane Sims authored at least 3 papers between 2006 and 2009.

Collaborative distances:

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

2009

Astree: Nachweis der Abwesenheit von Laufzeit.

Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims

Softwaretechnik-Trends, 2009

2007

Pointer Analysis and Separation Logic. (Analyses de Pointeurs et Logique de Séparation).

Élodie-Jane Sims

PhD thesis, 2007

2006

Extending separation logic with fixpoints and postponed substitution.

Élodie-Jane Sims

Theor. Comput. Sci., 2006