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