I am researcher at LaBRI (Laboratoire Bordelais de Recherche en Informatique), CNRS unit (UMR5800).

I am member of the Formal Models and Methods (M2F) department.

Research topics

My research domain is Formal Methods. More specifically, I am working on software testing and runtime verification, applied to complex systems (for exemple embedded or real-time systems).

Keywords: formal testing, monitoring, runtime verification, runtime enforcement, timed systems, software verification, software testing, model based testing.

Scientific animation

Vice scientific manager of the journal Interstices

Vice head of the Formal Models and Methods (M2F) department at LaBRI

Co-animator of the MTV2 (Méthodes de Test pour la Validation et la Vérification) CNRS research group

Publications

Book chapters

  • [B1] Download preliminary version
    with Y. Falcone, L. Mariani, and S. Saha
    Runtime Failure Prevention and Reaction
    In Lectures on Runtime Verification - Introductory and Advanced Topics
    LNCS volume 10457, pages 103-134, Springer, (2018)

    Journals

  • [J9] Visualise official version
    with S. Shankar, A. Pradhan, S. Pinisetty, and Y. Falcone
    Bounded-Memory Runtime Enforcement with Probabilistic and Performance Analysis
    In Formal Methods in System Design (FMSD), 62(1): 141-180 (2024)
  • [J8] Download preliminary version
    with M. Renard and Y. Falcone.
    Runtime Enforcement of Timed Properties using Games
    In Formal Aspects of Computing (FAOC) 32(2): 315-360 (2020)
  • [J7] Download preliminary version
    with M. Renard, Y. Falcone, T. Jéron and H. Marchand.
    Optimal Enforcement of (Timed) Properties with Uncontrollable Events
    In Mathematical Structures in Computer Science (MSCS) 29(1): 169-214 (2019)
  • [J6] Download preliminary version
    with S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand and O. Nguena-Timo.
    Runtime enforcement of timed properties revisited
    In Formal Methods in System Design (FMSD) 45(3): 381-422 (2014)
  • [J5] Download preliminary version
    with H. Collavizza, L. Nguyen, O. Ponsini and M. Rueher
    Constraint-Based BMC: A Backjumping Strategy
    International Journal on Software Tools for Technology Transfer (STTT) 16(1): 103-121 (2014)
  • [J4]
    with S. Salva
    A pragmatic approach for testing stateless and stateful Web Service Robustness
    In Studia Informatica Universalis, 10(2): 139-179 (2012)
  • [J3]
    with H. Fouchal and A. Tahrini
    Robustness Testing of Composed Real-Time Systems
    In Journal of Computational Methods in Science and Engineering (JCMSE), 10(3-6): 135-148 (2010)
  • [J2]
    with S. Salva
    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.
  • [J1]
    with F. Saad-Khorchef
    A Formal Framework for Robustness Testing of Embedded Systems
    In International Journal of Computer and Information Science (IJCIS)
    Volume 8, Number 2, June 2007, p.290-299

    Conferences

  • [C33] Download
    with T. De Castro Pinto, G. Sutre and I. Tobor
    Guiding Symbolic Execution with A-star (résumé long)
    In Journées Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2024 , 4p.
  • [C32] Download accepted version
    with T. De Castro Pinto, G. Sutre and I. Tobor
    Guiding Symbolic Execution with A-star
    In 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, November 6-10, 2023, Eindhoven, The Netherlands, volume 14323 of Lecture Notes in Computer Science, p. 47-65 , Springer.
  • [C31]
    with M. Barani and Y. Labiche
    On factors that impact the relationship between code coverage and test suite effectiveness: a survey
    In 16th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), April 20, 2023, Dublin, Ireland, p381-388. IEEE.
  • [C30] Download preliminary version
    with S. Shankar, S. Pinisetty and Y. Falcone
    Bounded-Memory Runtime Enforcement
    In 28th International Symposium on Model Checking of Software, SPIN 2022, May 21-22, 2022, Chicago, USA, volume 13255 of Lecture Notes in Computer Science, p. 114-133 , Springer.
  • [C29]
    with O. Nguena-Timo and D. Prestat
    Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts
    In 31st IFIP International Conference on Testing Software and Systems ICTSS'19, October 15-17, 2019, Paris, France, volume 11812 of Lecture Notes in Computer Science, p. 104-120 , Springer.
  • [C28] Download preliminary version
    with M. Renard, Y. Falcone.
    GREP: Games for the Runtime Enforcement of Properties
    In 29th IFIP International Conference on Testing Software and Systems ICTSS'17, October 9-11, 2017 St-Petersburg, Russia, volume 10533 of Lecture Notes in Computer Science, p. 259-275, Springer.
  • [C27] Download preliminary version
    with M. Renard, Y. Falcone.
    Runtime Enforcement Using Büchi Games
    In Model Checking Software - 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, July 13-14, 2017, Santa Barbara, USA, p. 70-79, ACM Press.
  • [C26] Download preliminary version
    with M. Renard, Y. Falcone, S. Pinisetty, T. Jéron, H. Marchand.
    Enforcement of (Timed) Properties with Uncontrollable Events
    In 12th International Colloquium on Theoretical Aspects of Computing ICTAC 2015, Cali, Colombia, volume 9399 of Lecture Notes in Computer Science, p. 542-560, Springer.
  • [C25] Download preliminary version
    with A. David, M. Mikucionis, K. G. Larsen and O. Nguena-Timo.
    Remote testing of timed specifications
    In 25th IFIP International Conference on Testing Software and Systems ICTSS'13, Nov 13-15, 2013 Istanbul, Turkey, volume 8254 of Lecture Notes in Computer Science, p. 65-81, Springer-Verlag.
  • [C24] Download preliminary version
    with S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand and O. Nguena-Timo.
    Runtime enforcement of timed properties
    In RV12: International conference on Runtime Verification, Istanbul, Turkey, 10 2012, volume 7687 of Lecture Notes in Computer Science, p. 229-244, Springer-Verlag.
  • [C23]
    with O. Nguena-Timo.
    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.
    Best Paper Award
  • [C22] (late publication of [SR08b])
    with S. Salva.
    Automatic web service testing from wsdl descriptions.
    In 11th International Conference on Innovative Internet Community Services (I2CS 2011), Berlin, Germany, volume 186 of Lecture Notes in Informatics, pages 217--226. GI, june 2011.
  • [C21] Download preliminary version
    with O. Nguena-Timo.
    Test Selection for Data-Flow Reactive Systems based on Observations
    In 4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 21, 2011, Berlin, Germany, p. 1-8
  • [C20] Download preliminary version
    with O. Nguena-Timo and H. Marchand.
    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)
  • [C19] (late proceedings of [SBRC06b])
    with F. Saad-Khorchef, I. Berrada and 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
  • [C18] Download preliminary version
    with O. Nguena-Timo.
    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.
  • [C17]
    with S. Salva.
    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.
  • [C16]
    with 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.
  • [C15]
    with S. Salva.
    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.
  • [C13]
    with 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.
  • [C12]
    with 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
  • [C11] Download preliminary version
    with F. Saad-Khorchef 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.
  • [C10] Download preliminary version
    with F. Saad-Khorchef, I. Berrada 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.
  • [C9]
    with F. Saad-Khorchef, I. Berrada 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.
  • [C8]
    with H. Fouchal 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.
  • [C7]
    with A. Tarhini 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.
  • [C6]
    with H. Fouchal, L. Pierre, S. Gruson and C. Rabat.
    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.
  • [C5]
    with H. Fouchal, C. Rabat 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.
  • [C4]
    with H. Fouchal.
    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.
  • [C3]
    (Single Author)
    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.
  • [C2]
    with 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.
  • [C1]
    with S. Salva 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.

    Research reports and research schools

  • Tutorial on testing techniques: a research point of view - Download
    12th TAROT Summer School 2016 on Software Testing, Verification and Validation - Paris, France July 4-8th, 2016
  • Model based testing : principes et applications dans le cadre temporisé -   Download slides (US)   -   Download paper (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 Modeled by Variable Driven Timed Automata - Download
    with O. Nguena-Timo and H. Marchand.
    2010 - Long version of [C20]
  • Robustness testing of communicating systems : framework and case study - Download
    with F. Saad-Khorchef
    2008

    Habilitation à diriger des recherches

  • Voyage (dans le temps) autour de la vérification, du test, et au delà - Download
    Université de Bordeaux, 2018.

    PhD / Postdocs

  • Co-advisor of the Phd of Theo De Castro Pinto (in progress), University of Bordeaux
  • Co-advisor of the Phd of Matthieu Renard, defense on 11. december 2017, University of Bordeaux
  • Co-advisor of the Phd of Fares Saad-Khorchef, defense on 13. december 2006, University of Bordeaux
  • Advisor of 3 years postdoc of Omer Nguena-Timo (2010-2012)

    Committees

  • Executive committee member of the journal Interstices (2021-...)
  • Editorial committee member of the journal Interstices (2016-...)
  • Program committee chair of AFADL 2018
  • Program committee chair of Doctoral ICTSS Workshop 2017
  • Program committee member of the SAC-SVT conference: 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024
  • Program committee member of the IFIP-ICTSS conference: 2011, 2017, 2018, 2019, 2020, 2021
  • Program committee member of the AFADL conference: 2015, 2016, 2017, 2018, 2019, 2023, 2024
  • Program committee member of the CPPS conference: 2018
  • Program committee member of the HPCS conference: 2015
  • Program committee member of the Computation Tools conference: 2010, 2011
  • Program committee member of the AQTR conference: 2008
  • Program committee member of the I2CS conference: 2008

    Projects

  • Europe

    Management committee member of the European COST action ARVI (2015-2018)
    Member of the European Tarot project (2005-2008)

  • ANR

    Local coordinator and member of the ANR Vacsim project (2011-2015)
    Local coordinator and member of the ANR Testec project (2008-2011)
    Member of the ANR Webmov project (2008-2011)

  • Région Nouvelle-Aquitaine

    Manager of the "Runtime Validation of real-time properties" project (2014-2017)
    Participation in the "Kiwi" project (2018-2022)

  • CIFRE

    CIFRE fund obtained with Serma Safety and Security on the "Analysis of Hardware Vulnerabilities" (2022-2025)

  • Contact

    Mail / Phone

    antoine.rollet -AT- labri.fr

    LaBRI: (+33) 5-40-00-69-08
    ENSEIRB-MATMECA: (+33) 5-56-84-60-55

    Postal Address LaBRI

    LaBRI
    bureau 115
    351 cours de la libération
    Domaine universitaire
    33405 Talence Cedex

    Postal Address ENSEIRB-MATMECA

    ENSEIRB-MATMECA
    bureau 215
    1, Avenue du Docteur Schweitzer
    Domaine Universitaire - BP 99
    33402 Talence Cedex