Testing Protocol Robustness. - Antoine Rollet; Hacène Fouchal (IICS, 2003)

A Simple Testing Technique for Embedded Systems. - Hacène Fouchal; Antoine Rollet (OPODIS, 2003)

Experimental Test Generation for Real-Time Systems. - Hacène Fouchal; Cyril Rabat; Antoine Rollet; Abbas Tarhini (IASSE, 2004)

A pragmatic approach for testing robustness on real-time component based systems. - Abbas Tarhini; Antoine Rollet; Hacène Fouchal (AICCSA, 2005)

Integrated Tool for Testing Timed Systems. - Hacène Fouchal; Sébastien Gruson; Ludovic Pierre; Cyril Rabat; Antoine Rollet (ISSADS, 2005)

Robustness of Composed Timed Systems. - Hacène Fouchal; Antoine Rollet; Abbas Tarhini (SOFSEM, 2005)

A framework and a tool for robustness testing of communicating software. - Fares Saad-Khorchef; Antoine Rollet; Richard Castanet (SAC, 2007)

A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. - Antoine Rollet; Fares Saad-Khorchef (SERA, 2007)

Testabilité des services web. - Sébastien Salva; Antoine Rollet (Ingénierie des Systèmes d Inf., 2008)

Testing robustness of communicating systems using ioco-based approach. - Antoine Rollet; Sébastien Salva (ISCC, 2009)

Robustness Testing on Composed Timed Systems. - Hacène Fouchal; Antoine Rollet; Abbas Tarhini (SEDE, 2009)

Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. - Fares Saad-Khorchef; Ismail Berrada; Antoine Rollet; Richard Castanet (IICS, 2010)

Robustness testing of composed real-time systems. - Hacène Fouchal; Antoine Rollet; Abbas Tarhini (J. Comput. Methods Sci. Eng., 2010)

Test Selection for Data-Flow Reactive Systems Based on Observations. - Omer Nguena-Timo; Antoine Rollet (ICST Workshops, 2011)

Automatic Web Service Testing from WSDL Descriptions. - Sébastien Salva; Antoine Rollet (IICS, 2011)

Runtime Enforcement of Timed Properties. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Landry Nguena-Timo (RV, 2012)

A pragmatic approach for testing stateless and stateful Web Service Robustness. - Sébastien Salva; Antoine Rollet (Stud. Inform. Univ., 2012)

Remote Testing of Timed Specifications. - Alexandre David; Kim G. Larsen; Marius Mikucionis; Omer Nguena-Timo; Antoine Rollet (ICTSS, 2013)

Runtime enforcement of timed properties revisited. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Nguena-Timo (Formal Methods Syst. Des., 2014)

Constraint-based BMC: a backjumping strategy. - Hélène Collavizza; Nguyen Le Vinh; Olivier Ponsini; Michel Rueher; Antoine Rollet (Int. J. Softw. Tools Technol. Transf., 2014)

Enforcement of (Timed) Properties with Uncontrollable Events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Srinivas Pinisetty; Thierry Jéron; Hervé Marchand (ICTAC, 2015)

GREP: Games for the Runtime Enforcement of Properties. - Matthieu Renard; Antoine Rollet; Yliès Falcone (ICTSS, 2017)

Runtime enforcement using Büchi games. - Matthieu Renard; Antoine Rollet; Yliès Falcone (SPIN, 2017)

Voyage (dans le temps) autour de la vérification, du test, et au delà. ((Time) travel across verification, testing, and beyond). - Antoine Rollet (2018)

Runtime Failure Prevention and Reaction. - Yliès Falcone; Leonardo Mariani; Antoine Rollet; Saikat Saha (Lectures on Runtime Verification, 2018)

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. - Omer Nguena Timo; Dimitri Prestat; Antoine Rollet (ICTSS, 2019)

Optimal enforcement of (timed) properties with uncontrollable events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Thierry Jéron; Hervé Marchand (Math. Struct. Comput. Sci., 2019)

Runtime enforcement of timed properties using games. - Matthieu Renard; Antoine Rollet; Yliès Falcone (Formal Aspects Comput., 2020)

Bounded-Memory Runtime Enforcement. - Saumya Shankar; Antoine Rollet; Srinivas Pinisetty; Yliès Falcone (SPIN, 2022)

On factors that impact the relationship between code coverage and test suite effectiveness: a survey. - Maryam Barani; Yvan Labiche; Antoine Rollet (ICSTW, 2023)

Guiding Symbolic Execution with A-Star. - Theo De Castro Pinto; Antoine Rollet; Grégoire Sutre; Ireneusz Tobor (SEFM, 2023)

Bounded-memory runtime enforcement with probabilistic and performance analysis. - Saumya Shankar; Ankit Pradhan; Srinivas Pinisetty; Antoine Rollet; Yliès Falcone (Formal Methods Syst. Des., 2024)