Antoine Rollet

  • Maître de conférences à l'ENSEIRB (Bordeaux) depuis le 1er septembre 2005
  • Docteur en Informatique
  •   Menus
  • Généralités
  • Etudes
  • Enseignements
  • Implications diverses
  • Recherche et publications

    English version
  •  Recherche et publications

    Co-encadrant de la thèse de Fares Saad-Khorchef soutenue publiquement le 13 décembre 2006 au Labri.

    Articles publiés ou acceptés dans des revues nationales ou internationales avec comité de sélection:

  • [FRT10]
    H. Fouchal and A. Rollet and A. Tahrini
    Robustness Testing of Composed Real-Time Systems
    In Journal of Computational Methods in Science and Engineering (JCMSE), Volume 10, number 1-2, 2010, p. 135-148.

  • [SR08a]
    S. Salva and A. Rollet
    Testabilité des services web
    In Ingénierie des Systèmes d'Information RSTI série ISI, numéro spécial Objets, composants et modèles dans l'ingénierie des SI, Volume 13, number 3, May-june 2008, p. 35-58.

  • [RS07a]
    A. Rollet and F. Saad-Khorchef
    A Formal Framework for Robustness Testing
    In International Journal of Computer and Information Science (IJCIS)
    Volume 8, Number 2, June 2007, p.290-299

    Communications effectuées ou acceptées dans des conférences internationales avec comité de sélection avec actes:

  • [NR11b]
    Omer Nguena-Timo and Antoine Rollet.
    A zone-based reachability analysis of variable driven timed automata.
    In 3rd International Conference on Advances in System Testing and Validation Lifecycle VALID 2011, Barcelona, Spain, page 7p, 10 2011 (to appear).

  • [NR11a] Télécharger la version préliminaire
    O. Nguena-Timo and A. Rollet
    Test Selection for Data-Flow Reactive Systems based on Observations
    In 7th Workshop on Advances in Model Based Testing A-MOST 2011, March 21, 2011, Berlin, Germany, 8p.

  • [NMR10] Télécharger la version préliminaire
    O. Nguena Timo and H. Marchand and A. Rollet
    Automatic Test Generation for Data-Flow Reactive Systems with time constraints
    In 22nd IFIP International Conference on Testing Software and Systems (ICTSS10), (ex Testcom/Fates), November 8-12, 2010, Natal, Brazil, 6p. (short paper)

  • [SBRC10] (late proceedings of [SBRC06b])
    F. Saad-Khorchef, I. Berrada, A. Rollet, R. Castanet
    Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols
    In 10th International Conference on Innovative Internet Community Services (I2CS), Jubilee Edition 2010, June 3-5, 2010, Bangkok, Thailand. Lecture Notes in Informatics

  • [NR10] Télécharger la version préliminaire
    O. Nguena Timo and A. Rollet
    Conformance testing of variable driven automata
    In 8th IEEE International Workshop on Factory Communication Systems Communication in Automation (WFCS 2010), May 18-21, 2010, Nancy, France, 8p.

  • [SR09]
    S. Salva and A. Rollet
    Test purpose generation for timed protocol testing
    In 2nd International Conference on Communication Theory, Reliability, and Quality of Service (CTRQ 2009), July 20-25, 2009 - Colmar, France. 7p.

  • [RS09]
    A. Rollet and S. Salva
    Testing robustness of communicating systems using ioco-based approach
    In 1st IEEE Workshop on Performance evaluation of communications in distributed systems and Web based service architectures, in conjunction with IEEE ISCC 2009, July 5 - 8, 2009, Sousse, Tunisia. 6p.

  • [SR08b]
    S. Salva and A. Rollet
    Automatic web service testing from WSDL descriptions
    In 8th IEEE International Conference on Innovative Internet Community Systems (I2CS'08), 16-18 june 2008, Schoelcher, Martinique (France). 9 p.

  • [RS08]
    A. Rollet and S. Salva
    Two complementary approaches to test robustness of reactive systems
    (Invited paper)
    In IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2008), May 22-25 2008, Cluj-Napoca, Romania, 7p, IEEE Computer Society Press.

  • [RS07b]
    A. Rollet. and F. Saad-Khorchef
    A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
    In 5th ACIS-IEEE International Conference on Software Engineering Research, Management and Applications (SERA 2007), 20-22 August 2007, Busan, Korea, 8p. IEEE Computer Society Press. Selected paper for publication in IJCIS international journal

  • [SRC07] Télécharger la version préliminaire
    F. Saad-Khorchef, A. Rollet. and R. Castanet
    A Framework and a Tool for Robustness Testing of Communicationg Software
    In 22nd annual ACM Symposium on Applied Computing (SAC'07), March 11-15, 2007 Seoul, Korea, 6p. ACM Press.

  • [SBRC06a] Télécharger la version préliminaire
    F. Saad-Khorchef, I. Berrada, A. Rollet. and R. Castanet
    Cadre Formel pour le Test de Robustesse: Application au protocole SSL
    In Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'06), October 30 - November 3, 2006 Tozeur, Tunisia, 12p. Hermes eds.

  • [SBRC06b]
    F. Saad-Khorchef, I. Berrada, A. Rollet, and R. Castanet.
    Automated Robustness Testing for Reactive Systems : Application to Communicating Protocols
    In 6th International Workshop on Innovative Internet Community Systems (I2CS'06), June 26-28, 2006 Neuchâtel, Switzerland.

  • [FRT05]
    H. Fouchal, A. Rollet, and A. Tarhini.
    Robustness of Composed Timed Systems.
    In 31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05), January 22 - 28, 2005, Liptovsky Jan, Slovak Republic, Europe, volume 3381 of Lecture Notes in Computer Science, pages 155-164. Springer-Verlag, jan 2005.

  • [TRF05]
    A. Tarhini, A. Rollet, and H. Fouchal.
    A pragmatic approach for testing robustness on real-time component based systems.
    In 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), January 2005.

  • [FPGRR05]
    H. Fouchal, L. Pierre, S. Gruson, C. Rabat, and A. Rollet.
    Integrated tool for testing timed systems.
    In Proceedings of Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005), January 28-30 Guadalajara, Jalisco, Mexico, volume 3563 of Lecture Notes in Computer Science, p. 153-166, Springer-Verlag.

  • [FRRT04]
    H. Fouchal, C. Rabat, A. Rollet, and A. Tarhini.
    Experimental results on testing real-time systems.
    In 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE-2004), 1-3 July 2004, Nice, France, pages 284--289.

  • [FR03]
    H. Fouchal and A. Rollet.
    A Simple Testing Technique for Embedded Systems.
    In Proceedings of 7th International Conference on Principles of Distributed Systems (OPODIS 2003), December 10-13 2003, La Martinique, France, volume 3144 of Lecture Notes in Computer Science, pages 159--170. Springer-Verlag.

  • [Rol03]
    A. Rollet.
    Testing robustness of real-time embedded systems.
    In Proceedings of Workshop On Testing Real-Time and Embedded Systems (WTRTES), Satellite Workshop of Formal Methods (FM) 2003 Symposium, Pisa, Italy - September 13, 2003.

  • [RF03]
    A. Rollet and H. Fouchal.
    Testing protocol robustness.
    In Proceedings of Innovative Internet Community Systems (I2CS'03) , June 19-21, 2003, Leipzig Germany, volume 2877 of Lecture Notes in Computer Science, pages 201--215. Springer-Verlag.

  • [SRF02]
    S. Salva, A. Rollet, and H. Fouchal.
    Temporal and Behavior Characterization of States in Timed Systems.
    In ACIS Annnual International Conference on Computer and Information Science, ICIS'02, Seoul, South Korea, 2002.


    Rapports de recherche, écoles jeunes chercheurs:

  • Antoine Rollet.
    Model based testing : principes et applications dans le cadre temporisé -   Télécharger transparents (US)   -   Télécharger support de cours (FR)
    In Ecole d'Eté Temps Réel 2011 (ETR'11), Brest, France, page 14p, august 2011.

  • Automatic Test Generation for Data-Flow Reactive Systems - Télécharger
    O. Nguena Timo and H. Marchand and A. Rollet
    Année 2010 - Version longue de [NMR10]

  • Robustness testing of communicating systems : framework and case study - Télécharger
    A. Rollet et F. Saad-Khorchef
    Année 2008