Items where Author is "Massonet, Philippe"
 | Up a level |
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.
Naqvi, Syed, Massonet, Philippe, Aziz, Benjamin, Arenas, Alvaro, Martinelli, Fabio, Mori, Paolo, Blasi, Lorenzo and Cortese, Giovanni (2008) Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. In: Towards a Service-Based Internet, First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings.
Naqvi, Syed, Massonet, Philippe, Aziz, Benjamin, Arenas, Alvaro, Martinelli, Fabio, Mori, Paolo, Blasi, Lorenzo and Cortese, Giovanni (2008) Fine-Grained Continuous Usage Control of Service Based Grids--The GridTrust Approach. In: Towards a Service-Based Internet: First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings 1.
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.
Blasi, Lorenzo, Arenas, Alvaro, Aziz, Benjamin, Mori, Paolo, Rovati, Umberto, Crispo, Bruno, Martinelli, Fabio and Massonet, Philippe (2008) A secure environment for grid-based supply chains. In: Proceedings of the eChallenges e-2008 Conference.