| 2007 |
|---|
| 10 | 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 |
|---|
| 9 | EE | Christophe Ponsard,
Vincent Snoeck:
Objective Accessibility Assessment of Public Infrastructures.
ICCHP 2006: 314-321 |
| 8 | EE | Christophe Ponsard,
Christiane Broekman,
Cécile Lamy,
Martine Fraiture:
Towards a Service Integration Portal for Deaf People.
ICCHP 2006: 587-594 |
| 7 | EE | Christophe Ponsard,
Emmanuel Dieul:
From Requirements Models to Formal Specifications in B.
ReMo2V 2006 |
| 2005 |
|---|
| 6 | EE | Christophe Ponsard,
Nadiya Balych,
Philippe Massonet,
Jean Vanderdonckt,
Axel van Lamsweerde:
Goal-Oriented Design of Domain Control Panels.
DSV-IS 2005: 249-260 |
| 5 | EE | Dominic Furniss,
Alan J. Dix,
Christophe Ponsard,
Guo-Qiang Zhang:
Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations.
DSV-IS 2005: 265 |
| 4 | 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 |
|---|
| 3 | EE | Jean-François Molderez,
Christophe Ponsard:
Deriving Acceptance Tests from Goal Requirements.
MOZ 2004: 78-88 |
| 2 | EE | Hung Tran Van,
Axel van Lamsweerde,
Philippe Massonet,
Christophe Ponsard:
Goal-Oriented Requirements Animation.
RE 2004: 218-228 |
| 2003 |
|---|
| 1 | 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 |
