Antoine Rollet

33 papers B 4C 7Misc 1Journal 8Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
An Efficient and Versatile Approach to Shortest Path Problems in Interprocedural Programs.
SPIN
Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre
2024 J jnl
Bounded-memory runtime enforcement with probabilistic and performance analysis.
Formal Methods Syst. Des.
Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone
2023 B conf
Guiding Symbolic Execution with A-Star.
SEFM
Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor
2023 — conf
On factors that impact the relationship between code coverage and test suite effectiveness: a survey.
ICSTW
Maryam Barani, Yvan Labiche, Antoine Rollet
2022 — conf
Bounded-Memory Runtime Enforcement.
SPIN
Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone
2020 J jnl
Runtime enforcement of timed properties using games.
Formal Aspects Comput.
Matthieu Renard, Antoine Rollet, Yliès Falcone
2019 C conf
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts.
ICTSS
Omer Nguena Timo, Dimitri Prestat, Antoine Rollet
2019 J jnl
Optimal enforcement of (timed) properties with uncontrollable events.
Math. Struct. Comput. Sci.
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
2018 — ch.
Runtime Failure Prevention and Reaction.
Lectures on Runtime Verification
Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha
2018 — book
Voyage (dans le temps) autour de la vérification, du test, et au delà. ((Time) travel across verification, testing, and beyond).
Antoine Rollet
2017 C conf
GREP: Games for the Runtime Enforcement of Properties.
ICTSS
Matthieu Renard, Antoine Rollet, Yliès Falcone
2017 — conf
Runtime enforcement using Büchi games.
SPIN
Matthieu Renard, Antoine Rollet, Yliès Falcone
2015 C conf
Enforcement of (Timed) Properties with Uncontrollable Events.
ICTAC
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
2014 J jnl
Constraint-based BMC: a backjumping strategy.
Int. J. Softw. Tools Technol. Transf.
Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet
2014 J jnl
Runtime enforcement of timed properties revisited.
Formal Methods Syst. Des.
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
2013 C conf
Remote Testing of Timed Specifications.
ICTSS
Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet
2012 J jnl
A pragmatic approach for testing stateless and stateful Web Service Robustness.
Stud. Inform. Univ.
Sébastien Salva, Antoine Rollet
2012 B conf
Runtime Enforcement of Timed Properties.
RV
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
2011 — conf
Automatic Web Service Testing from WSDL Descriptions.
IICS
Sébastien Salva, Antoine Rollet
2011 — conf
Test Selection for Data-Flow Reactive Systems Based on Observations.
ICST Workshops
Omer Nguena-Timo, Antoine Rollet
2010 — conf
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols.
IICS
Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet
2010 J jnl
Robustness testing of composed real-time systems.
J. Comput. Methods Sci. Eng.
Hacène Fouchal, Antoine Rollet, Abbas Tarhini
2009 — conf
Robustness Testing on Composed Timed Systems.
SEDE
Hacène Fouchal, Antoine Rollet, Abbas Tarhini
2009 C conf
Testing robustness of communicating systems using ioco-based approach.
ISCC
Antoine Rollet, Sébastien Salva
2008 J jnl
Testabilité des services web.
Ingénierie des Systèmes d Inf.
Sébastien Salva, Antoine Rollet
2007 C conf
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.
SERA
Antoine Rollet, Fares Saad-Khorchef
2007 Misc conf
A framework and a tool for robustness testing of communicating software.
SAC
Fares Saad-Khorchef, Antoine Rollet, Richard Castanet
2005 C conf
A pragmatic approach for testing robustness on real-time component based systems.
AICCSA
Abbas Tarhini, Antoine Rollet, Hacène Fouchal
2005 — conf
Integrated Tool for Testing Timed Systems.
ISSADS
Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet
2005 B conf
Robustness of Composed Timed Systems.
SOFSEM
Hacène Fouchal, Antoine Rollet, Abbas Tarhini
2004 — conf
Experimental Test Generation for Real-Time Systems.
IASSE
Hacène Fouchal, Cyril Rabat, Antoine Rollet, Abbas Tarhini
2003 B conf
A Simple Testing Technique for Embedded Systems.
OPODIS
Hacène Fouchal, Antoine Rollet
2003 — conf
Testing Protocol Robustness.
IICS
Antoine Rollet, Hacène Fouchal