 | 2008 |
|---|
| 11 |       | Yves Ledru,
Régine Laleau,
Sylvie Vignes:
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports.
Ingénierie des Systèmes d'Information 13(4): 133-157 (2008) |
| 2007 |
|---|
| 10 |  | Yves Ledru,
Régine Laleau,
Sylvie Vignes:
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports.
INFORSID 2007: 155-170 |
| 9 | | Régine Laleau,
Yves Ledru,
Didier Bert,
Fabrice Bouquet,
Michel Lemoine,
Catherine Dubois,
Véronique Donzeau-Gouge,
Sylvie Vignes:
Using Computer Science Modeling Techniques for Airport Security Certification.
RCIS 2007: 61-72 |
| 2006 |
|---|
| 8 | | Yves Ledru,
Régine Laleau,
Michel Lemoine,
Sylvie Vignes,
Didier Bert,
Véronique Donzeau-Gouge,
Catherine Dubois,
Fabien Peureux:
An attempt to combine UML and formal methods to model airport security.
CAiSE Forum 2006 |
| 7 | | Didier Bert,
Fabrice Bouquet,
Yves Ledru,
Sylvie Vignes:
Validation of Regulation Documents by Automated Analysis of Formal Models.
ReMo2V 2006 |
| 6 | | Régine Laleau,
Sylvie Vignes,
Yves Ledru,
Michel Lemoine,
Didier Bert,
Véronique Donzeau-Gouge,
Catherine Dubois,
Fabien Peureux:
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
Software Process: Improvement and Practice 11(5): 487-503 (2006) |
| 2000 |
|---|
| 5 | | Jérôme Daniel,
Bruno Traverson,
Sylvie Vignes:
A QoS Meta Model to Define a Generic Environment for QoS Management.
USM 2000: 334-339 |
| 1999 |
|---|
| 4 | | Jérôme Daniel,
Bruno Traverson,
Sylvie Vignes:
Integration of quality of service in distributed object systems.
DAIS 1999: 31-44 |
| 3 | | Elie Najm,
Frank Olsen,
Sylvie Vignes:
From SIBS to Distributed Objects: A Transformation Approach for Service Creation.
SMARTNET 1999: 403-417 |
| 1998 |
|---|
| 2 | | Souâd Taouil-Traverson,
Sylvie Vignes:
Designing a B Model for Safety-Critical Software Systems.
B 1998: 210-225 |
| 1996 |
|---|
| 1 | | Souâd Taouil-Traverson,
Sylvie Vignes:
Preliminary Analysis Cycle for B-Method Software Development.
EUROMICRO 1996: 319- |
