Items where Author is "Ponsard, Christophe"
 | Up a level |
Conference or Workshop Item
Enrique, \'lvaro, Massonet, Philippe, Ponsard, Christophe and Aziz, Benjamin (2015) Goal-Oriented Requirement Engineering Support for Business Continuity Planning. In: Advances in Conceptual Modeling - ER 2015 Workshops, AHA, CMS, EMoV, MoBiD, MORE-BI, MReBA, QMMQ, and SCME Stockholm, Sweden, October 19-22, 2015, Proceedings.
Aziz, Benjamin, Massonet, Philippe and Ponsard, Christophe (2014) A Formal Model for Forensic Storage Media Preparation Tools. In: SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014.
Aziz, Benjamin, Arenas, Alvaro, Bicarregui, Juan, Ponsard, Christophe and Massonet, Philippe (2009) From Goal-Oriented Requirements to Event-B Specifications. In: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.
Bicarregui, Juan, Arenas, Alvaro, Aziz, Benjamin, Massonet, Philippe and Ponsard, Christophe (2008) Towards Modelling Obligations in Event-B. In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings.