Élodie-Jane Sims

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

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
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29 (3) (2009)
Élodie-Jane Sims
Extending separation logic with fixpoints and postponed substitution. Theor. Comput. Sci. 351 (2) (2006)
Élodie-Jane Sims
Extending Separation Logic with Fixpoints and Postponed Substitution. AMAST (2004)