Olivier Delande

According to our database, Olivier Delande authored at least 5 papers between 2008 and 2011.

Collaborative distances:

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

2011

Managing changes with legacy security engineering processes.

Edith Felix, Olivier Delande, Fabio Massacci, Federica Paci

Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, 2011

Operation Based Model Representation: Experiences on Inconsistency Detection.

Jérôme Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010

Proof and refutation in MALL as a game.

Olivier Delande, Dale Miller, Alexis Saurin

Ann. Pure Appl. Log., 2010

2009

Symmetric dialogue games in the proof theory of linear logic.

Olivier Delande

PhD thesis, 2009

2008

A Neutral Approach to Proof and Refutation in MALL.

Olivier Delande, Dale Miller

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008