|
|
|
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
|
|