| 2023 | ICST | On factors that impact the relationship between code coverage and test suite effectiveness: a survey. | Maryam Barani, Yvan Labiche, Antoine Rollet |
| 2023 | SEFM | Guiding Symbolic Execution with A-Star. | Theo De Castro Pinto, Antoine Rollet, Grgoire Sutre, Ireneusz Tobor |
| 2015 | ICTAC | Enforcement of (Timed) Properties with Uncontrollable Events. | Matthieu Renard, Ylis Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jron, Herv Marchand |
| 2012 | RV | Runtime Enforcement of Timed Properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand, Antoine Rollet, Omer Landry Nguena-Timo |
| 2011 | ICST | Test Selection for Data-Flow Reactive Systems Based on Observations. | Omer Nguena-Timo, Antoine Rollet |
| 2009 | ISCC | Testing robustness of communicating systems using ioco-based approach. | Antoine Rollet, Sbastien Salva |
| 2007 | SAC | A framework and a tool for robustness testing of communicating software. | Fares Saad-Khorchef, Antoine Rollet, Richard Castanet |
| 2007 | SERA | A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. | Antoine Rollet, Fares Saad-Khorchef |
| 2005 | AICCSA | A pragmatic approach for testing robustness on real-time component based systems. | Abbas Tarhini, Antoine Rollet, Hacne Fouchal |
| 2005 | SOFSEM | Robustness of Composed Timed Systems. | Hacne Fouchal, Antoine Rollet, Abbas Tarhini |
| 2003 | OPODIS | A Simple Testing Technique for Embedded Systems. | Hacne Fouchal, Antoine Rollet |