Search the dblp DataBase

Publications of Author

1. Bernhard Bauer, Federico Bergenti, Philippe Massonet, James Odell
   Agents and the UML: A Unified Notation for Agents and Multi-agent Systems? [Citation Graph (0, 0)][DBLP]
   AOSE, 2001, pp:148-150 [Conf]
   
2. Giovanni Caire, Wim Coulier, Francisco J. Garijo, Jorge Gomez, Juan Pavón, Francisco Leal, Paulo Chainho, Paul E. Kearney, Jamie Stark, Richard Evans, Philippe Massonet
   Agent Oriented Analysis Using Message/UML. [Citation Graph (0, 0)][DBLP]
   AOSE, 2001, pp:119-135 [Conf]
   
3. Philippe Massonet, Yves Deville, Cédric Nève
   From AOSE methodology to agent implementation. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2002, pp:27-34 [Conf]
   
4. Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde
   Goal-Oriented Design of Domain Control Panels. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:249-260 [Conf]
   
5. Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde
   GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. [Citation Graph (0, 0)][DBLP]
   ICSE, 1997, pp:612-613 [Conf]
   
6. Syed Naqvi, Philippe Massonet, Alvaro Arenas
   Scope of Forensics in Grid Computing - Vision and Perspectives. [Citation Graph (0, 0)][DBLP]
   ISPA Workshops, 2006, pp:964-970 [Conf]
   
7. Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde
   GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. [Citation Graph (0, 0)][DBLP]
   RE, 1997, pp:140- [Conf]
   
8. Axel van Lamsweerde, Robert Darimont, Philippe Massonet
   Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. [Citation Graph (0, 0)][DBLP]
   RE, 1995, pp:194-203 [Conf]
   
9. Philippe Massonet, Axel van Lamsweerde
   Analogical Reuse of Requirements Frameworks. [Citation Graph (0, 0)][DBLP]
   RE, 1997, pp:26-0 [Conf]
   
10. André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van
    FAUST: Formal Analysis Using Specification Tools. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:350- [Conf]
    
11. Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard
    Goal-Oriented Requirements Animation. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:218-228 [Conf]
    
12. Syed Naqvi, Philippe Massonet, Alvaro Arenas
    Security Requirements Model for Grid Data Management Systems. [Citation Graph (0, 0)][DBLP]
    CRITIS, 2006, pp:30-41 [Conf]
    
13. Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van
    Early Verification and Validation of Mission Critical Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:237-254 [Journal]
    
14. Syed Naqvi, Olivier Poitou, Philippe Massonet, Alvaro Arenas
    Security Requirements Analysis for Large-Scale Distributed File Systems. [Citation Graph (0, 0)][DBLP]
    Euro-Par Workshops, 2006, pp:49-60 [Conf]
    
15. Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van
    Early verification and validation of mission critical systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:30, n:3, pp:233-247 [Journal]
    
16. 
    Towards Modelling Obligations in Event-B. [Citation Graph (, )][DBLP]
    
    
17. 
    Model Based Development of Quality-Aware Software Services. [Citation Graph (, )][DBLP]
    
    
18. 
    Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. [Citation Graph (, )][DBLP]