.:. Consultation > Liste par auteurs > Fourneret .:.

4 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Vérification et Test pour des systèmes évolutifs Fourneret E., Bouquet F., Ochoa M., Jürjens J., Wenzel S. In AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels (2012) 150--164 [hal-00762079 - version 1]

UML/OCL based impact analysis to test evolving critical software Fourneret E., Bouquet F. Dans 10th International Conference Society for Electronics, Telecommunications, Automatics and Informatics - ETAI'11 (2011) [hal-00649252 - version 1]

Orchestrating Security and System Engineering for Evolving Systems Massacci F., Bouquet F., Fourneret E., Jurjens J., Lund M., Madelénat S., Muehlberg J., Paci F., Paul S., Piessens F. et al Dans 4th European Conference, Towards a Service-Based Internet - ServiceWave 2011 6994 (2011) 134--143 [hal-00649258 - version 1]

Model-Based Security Verification and Testing for Smart-cards Fourneret E., Ochoa M., Bouquet F., Botella J., Jürjens J., Yousefi P. Dans 6th International Conference on Availability, Reliability and Security - ARES 2011 (2011) 272 - 279 [hal-00649256 - version 1]