| Adopting a situational requirements engineering approach for the analysis of civil aviation security standards R Laleau, S Vignes, Y Ledru, M Lemoine, D Bert, V Donzeau‐Gouge, ... Software Process: Improvement and Practice 11 (5), 487-503, 2006 | 15 | 2006 |
| An attempt to combine UML and formal methods to model airport security. Y Ledru, R Laleau, M Lemoine, S Vignes, D Bert, V Donzeau-Gouge, ... CAiSE Forum, 2006 | 12 | 2006 |
| Validation of Regulation Documents by Automated Analysis of Formal Models. D Bert, F Bouquet, Y Ledru, S Vignes ReMo2V, 2006 | 8 | 2006 |
| Application of requirements engineering techniques to the analysis of civil aviation security standards R Laleau, S Vignes, Y Ledru, M Lemoine, D Bert, V Donzeau-Gouge, ... International Workshop on Situational Requirements Engineering Processes …, 2005 | 8 | 2005 |
| Integration of quality of service in distributed object systems J Daniel, B Traverson, S Vignes IFIP International Conference on Distributed Applications and Interoperable …, 1999 | 8 | 1999 |
| A model-based testing process for enhancing structural coverage in functional testing Y Sun, G Memmi, S Vignes Complex Systems Design & Management Asia: Smart Nations–Sustaining and …, 2016 | 6 | 2016 |
| A data stream model for home device description MK El Mahrsi, S Vignes, G Hebrail, ML Picard 2009 Third International Conference on Research Challenges in Information …, 2009 | 6 | 2009 |
| Application of Requirements Analysis Techniques to the analysis of civil aviation security standards R Laleau, S Vignes, Y Ledru, M Lemoine, D Bert, V Donzeau-Gouge, ... Proc. of the First Intl. Workshop on Situational Requirements Engineering …, 2005 | 6 | 2005 |
| Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. Y Ledru, R Laleau, S Vignes Ingénierie des Systèmes d Inf. 13 (4), 133-157, 2008 | 4 | 2008 |
| Modeling and generating tailored distribution middleware for embedded real-time systems T Vergnaud, I Hamid, K Barbaria, E Najm, L Pautet, S Vignes Conference ERTS'06, 2006 | 4 | 2006 |
| Modeling Airport Security: the EDEMOI approach Y Ledru, M Lemoine, D Bert, V Donzeau-Gouge, C Dubois, R Laleau, ... | 4 | 2005 |
| Model-based testing directed by structural coverage and functional requirements Y Sun, G Memmi, S Vignes 2016 IEEE International Conference on Software Quality, Reliability and …, 2016 | 3 | 2016 |
| Preliminary analysis cycle for B-method software development S Taouil-Traverson, S Vignes Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000 …, 1996 | 3 | 1996 |
| Using computer science modeling techniques for airport security certification R Laleau, Y Ledru, D Bert, F Bouquet, M Lemoine, C Dubois, ... RCIS''07 First Int. Conf. on Research Challenges in Information Science …, 2007 | 2 | 2007 |
| From SIBS to distributed Objects: a transformation approach for service creation E Najm, F Olsen, S Vignes International Conference on Intelligence in Networks, 403-417, 1999 | 1 | 1999 |
| Integrating semi formal and formal specifications: a methodology overcoming the (not so) traditional specification phase M Lemoine, S Vignes, T Paris Proceedings of the RCS’02-workshop on Refinement of Critical Systems, 0 | 1 | |
| Model-Based Verification Directed by Structural Coverage and Functional Requirements Y Sun, G Memmi, S Vignes Model-Based Verification & Validation (MVV), 2016 | | 2016 |
| CONNEXION: Éléments de méthodologie de vérification et validation. Épisode 1: relever les principaux défis Y Sun, G Memmi, S Vignes, F Daumas Génie logiciel: le magazine de l'ingénierie du logiciel et des systèmes, 50-60, 2014 | | 2014 |
| A QoS meta model to define a generic environment for QoS management J Daniel, B Traverson, S Vignes International IFIP/GI Working Conference on a Universal Service Market, 334-339, 2000 | | 2000 |
| Generic infrastructure for quality of service in an information system J Daniel, B Traverson, S Vignes CALCULATEURS PARALLELES RESEAUX ET SYSTEMES REPARTIS 12 (1), 31-44, 2000 | | 2000 |
