Philippe Massonet
Philippe Massonet
scientific officer
Verified email at cetic.be
TitleCited byYear
Agent oriented analysis using MESSAGE/UML
G Caire, W Coulier, F Garijo, J Gomez, J Pavón, F Leal, P Chainho, ...
International Workshop on Agent-Oriented Software Engineering, 119-135, 2001
4432001
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
3451995
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
3042011
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
1751997
GRAIL/KAOS: an environment for goal driven requirements engineering
P Bertrand, R Darimont, E Delor, P Massonet, A van Lamsweerde
Proceedings ICSE 98, 1998
961998
Analogical reuse of requirements frameworks
P Massonet, A Van Lamsweerde
Proceedings of ISRE'97: 3rd IEEE International Symposium on Requirements …, 1997
871997
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
862011
Goal-oriented requirements animation
HT Van, A van Lamsweerde, P Massonet, C Ponsard
Proceedings. 12th IEEE International Requirements Engineering Conference …, 2004
812004
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
682001
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
612007
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
502009
From AOSE methodology to agent implementation
P Massonet, Y Deville, C Nève
Proceedings of the first international joint conference on Autonomous agents …, 2002
412002
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
382008
An architecture for federated cloud computing
B Rochwerger, C Vázquez, D Breitgand, D Hadas, M Villari, P Massonet, ...
Cloud Computing, 391-411, 2010
372010
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
352001
From goal-oriented requirements to Event-B specifications
B Aziz, A Arenas, J Bicarregui, C Ponsard, P Massonet
First Nasa Formal Method Symposium (NFM 2009), 2009
292009
The MESSAGE methodology for agent-oriented analysis and design
FJ Garijo, JJ Gomez-Sanz, P Massonet
Agent-oriented methodologies, 203-235, 2005
292005
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
282010
The Meeting Scheduler System: Preliminary Definition
A van Lamsweerde, R Darimont, P Massonet
Internal Rep., University of Louvain, Louvain, Belgium, 1993
271993
Agents and the UML: A unified notation for agents and multi-agent systems?
B Bauer, F Bergenti, P Massonet, JJ Odell
International Workshop on Agent-Oriented Software Engineering, 148-150, 2001
242001
The system can't perform the operation now. Try again later.
Articles 1–20