Olivier Delande

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Jérôme Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc
Operation Based Model Representation: Experiences on Inconsistency Detection. ECMFA (2011)
Edith Felix, Olivier Delande, Fabio Massacci, Federica Paci
Managing changes with legacy security engineering processes. ISI (2011)
Olivier Delande, Dale Miller, Alexis Saurin
Proof and refutation in MALL as a game. Ann. Pure Appl. Log. 161 (5) (2010)
Olivier Delande, Dale Miller
A Neutral Approach to Proof and Refutation in MALL. LICS (2008)