Philippe Massonet
Philippe Massonet
scientific officer
Verified email at
Cited by
Cited by
Agent oriented analysis using MESSAGE/UML
G Caire, W Coulier, F Garijo, J Gomez, J Pavon, F Leal, P Chainho, ...
International Workshop on Agent-Oriented Software Engineering, 119-135, 2001
Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt
A Van Lamsweerde, R Darimont, P Massonet
Proceedings of 1995 IEEE International Symposium on Requirements Engineering …, 1995
Reservoir-when one cloud is not enough
B Rochwerger, D Breitgand, A Epstein, D Hadas, I Loy, K Nagin, ...
Computer 44 (3), 44-51, 2011
GRAIL/KAOS: an environment for goal-driven requirements engineering
R Darimont, E Delor, P Massonet, A van Lamsweerde
Proceedings of the 19th international conference on Software engineering …, 1997
A monitoring and audit logging architecture for data location compliance in federated cloud infrastructures
P Massonet, S Naqvi, C Ponsard, J Latanicki, B Rochwerger, M Villari
2011 IEEE International Symposium on Parallel and Distributed Processing …, 2011
Analogical reuse of requirements frameworks
P Massonet, A Van Lamsweerde
Proceedings of ISRE'97: 3rd IEEE International Symposium on Requirements …, 1997
Goal-oriented requirements animation
HT Van, A van Lamsweerde, P Massonet, C Ponsard
Proceedings. 12th IEEE International Requirements Engineering Conference …, 2004
MESSAGE: Methodology for engineering systems of software agents
R Evans, P Kearney, G Caire, F Garijo, J Gomez Sanz, J Pavon, F Leal, ...
EURESCOM, EDIN, 0223-0907, 2001
GRAIL/KAOS: an environment for goal driven requirements engineering
P Bertrand, R Darimont, E Delor, P Massonet, A van Lamsweerde
Proceedings ICSE 98, 1998
Early verification and validation of mission critical systems
C Ponsard, P Massonet, JF Molderez, A Rifaut, A van Lamsweerde, ...
Formal Methods in System Design 30 (3), 233, 2007
Management and service-aware networking architectures (MANA) for future Internet—Position paper: System functions, capabilities and requirements
A Galis, H Abramowicz, M Brunner, D Raz, P Chemouil, J Butler, ...
2009 Fourth International Conference on Communications and Networking in …, 2009
From AOSE methodology to agent implementation
P Massonet, Y Deville, C Néve
Proceedings of the first international joint conference on Autonomous agents …, 2002
An architecture for federated cloud computing
B Rochwerger, D Breitgand, D Hadas, I Llorente, R Montero, P Massonet, ...
Cloud Computing, 391-411, 2010
Towards modelling obligations in Event-B
J Bicarregui, A Arenas, B Aziz, P Massonet, C Ponsard
International Conference on Abstract State Machines, B and Z, 181-194, 2008
Scalable Cloud Defenses for Detection, Analysis and Mitigation of DDoS Attacks.
J Latanicki, P Massonet, S Naqvi, B Rochwerger, M Villari
Future Internet Assembly, 127-137, 2010
Multi-agent system organization: An engineering perspective
F Garijo, JJ Gómes-Sanz, J Pavón, P Massonet
Pre-Proceeding of the 10th European Workshop on Modeling Autonomous Agents …, 2001
BEACON: A cloud network federation framework
R Moreno-Vozmediano, E Huedo, IM Llorente, RS Montero, P Massonet, ...
European Conference on Service-Oriented and Cloud Computing, 325-337, 2015
From goal-oriented requirements to Event-B specifications
B Aziz, A Arenas, J Bicarregui, C Ponsard, P Massonet
First Nasa Formal Method Symposium, 2009
The MESSAGE methodology for agent-oriented analysis and design
FJ Garijo, JJ Gomez-Sanz, P Massonet
Agent-oriented methodologies, 203-235, 2005
The Meeting Scheduler System: Preliminary Definition
A van Lamsweerde, R Darimont, P Massonet
Internal Rep., University of Louvain, Louvain, Belgium, 1993
The system can't perform the operation now. Try again later.
Articles 1–20