Back to INDEX

  Publications of Elizabeta Fourneret  

Conference articles
  1. Elizabeta Fourneret, Fabrice Bouquet, Martin Ochoa, Jan Jürjens, and Sven Wenzel. Vérification et Test pour des systèmes évolutifs. In AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, pages 150--164, January 2012. [bibtex]


  2. Elizabeta Fourneret and Fabrice Bouquet. UML/OCL based impact analysis to test evolvin critical software. In ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf., Ohrid, Macedonia, pages 73--79, September 2011. [bibtex]


  3. Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, and Stéphane Debricon. Selective Test Generation Method for Evolving Critical Systems. In REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011, Berlin, Germany, pages 125--134, March 2011. IEEE Computer Society Press. [bibtex]


  4. Elizabeta Fourneret, Martin Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, and Parvaneh Yousefi. Model-Based Security Verification and Testing for Smart-cards. In ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security, Vienna, Austria, pages 272--279, August 2011. [bibtex]


  5. Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jurjens, Mass Lund, Sébastien Madelénat, JanTobias Muehlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjornar Solhaug, and Sven Wenzel. Orchestrating Security and System Engineering for Evolving Systems. In Towards a Service-Based Internet, volume 6994 of LNCS, Poznan, Poland, pages 134--143, October 2011. Note: Invited Talk at the 4th European Conference, ServiceWave 2011. [bibtex]


Internal reports
  1. Elizabeta Fourneret. Experimentation on SeTGaM. Technical Report RT2010-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, June 2010. [bibtex]


  2. Elizabeta Fourneret and Fabrice Bouquet. Impact Analysis for UML/OCL Statechart diagrams based on Dependence Algorithms for Evolving Critical Software. Technical Report RT2010-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html