2008 |
11 | EE | 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 | EE | 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 | EE | Didier Bert,
Fabrice Bouquet,
Yves Ledru,
Sylvie Vignes:
Validation of Regulation Documents by Automated Analysis of Formal Models.
ReMo2V 2006 |
6 | EE | 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 | EE | Souâd Taouil-Traverson,
Sylvie Vignes:
Designing a B Model for Safety-Critical Software Systems.
B 1998: 210-225 |
1996 |
1 | EE | Souâd Taouil-Traverson,
Sylvie Vignes:
Preliminary Analysis Cycle for B-Method Software Development.
EUROMICRO 1996: 319- |