![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Antoine Rollet
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Saumya Shankar
, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone:
Bounded-memory runtime enforcement with probabilistic and performance analysis. Formal Methods Syst. Des. 62(1): 141-180 (2024) - 2023
- [c22]Maryam Barani, Yvan Labiche, Antoine Rollet:
On factors that impact the relationship between code coverage and test suite effectiveness: a survey. ICSTW 2023: 381-388 - [c21]Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor:
Guiding Symbolic Execution with A-Star. SEFM 2023: 47-65 - 2022
- [c20]Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone:
Bounded-Memory Runtime Enforcement. SPIN 2022: 114-133 - 2020
- [j7]Matthieu Renard, Antoine Rollet
, Yliès Falcone:
Runtime enforcement of timed properties using games. Formal Aspects Comput. 32(2-3): 315-360 (2020)
2010 – 2019
- 2019
- [j6]Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron
, Hervé Marchand:
Optimal enforcement of (timed) properties with uncontrollable events. Math. Struct. Comput. Sci. 29(1): 169-214 (2019) - [c19]Omer Nguena Timo, Dimitri Prestat, Antoine Rollet:
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. ICTSS 2019: 104-120 - 2018
- [b1]Antoine Rollet:
Voyage (dans le temps) autour de la vérification, du test, et au delà. ((Time) travel across verification, testing, and beyond). University of Bordeaux, France, 2018 - [p1]Yliès Falcone
, Leonardo Mariani
, Antoine Rollet, Saikat Saha:
Runtime Failure Prevention and Reaction. Lectures on Runtime Verification 2018: 103-134 - 2017
- [c18]Matthieu Renard, Antoine Rollet, Yliès Falcone:
GREP: Games for the Runtime Enforcement of Properties. ICTSS 2017: 259-275 - [c17]Matthieu Renard, Antoine Rollet, Yliès Falcone:
Runtime enforcement using Büchi games. SPIN 2017: 70-79 - 2015
- [c16]Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty
, Thierry Jéron
, Hervé Marchand:
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC 2015: 542-560 - 2014
- [j5]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron
, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
:
Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45(3): 381-422 (2014) - [j4]Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet:
Constraint-based BMC: a backjumping strategy. Int. J. Softw. Tools Technol. Transf. 16(1): 103-121 (2014) - 2013
- [c15]Alexandre David, Kim G. Larsen
, Marius Mikucionis
, Omer Nguena-Timo
, Antoine Rollet:
Remote Testing of Timed Specifications. ICTSS 2013: 65-81 - 2012
- [j3]Sébastien Salva, Antoine Rollet:
A pragmatic approach for testing stateless and stateful Web Service Robustness. Stud. Inform. Univ. 10(2): 139-179 (2012) - [c14]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
:
Runtime Enforcement of Timed Properties. RV 2012: 229-244 - 2011
- [c13]Omer Nguena-Timo
, Antoine Rollet:
Test Selection for Data-Flow Reactive Systems Based on Observations. ICST Workshops 2011: 1-8 - [c12]Sébastien Salva, Antoine Rollet:
Automatic Web Service Testing from WSDL Descriptions. IICS 2011: 217-226 - 2010
- [j2]Hacène Fouchal
, Antoine Rollet, Abbas Tarhini
:
Robustness testing of composed real-time systems. J. Comput. Methods Sci. Eng. 10(3-6): 135-148 (2010) - [c11]Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet:
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. IICS 2010: 409-421
2000 – 2009
- 2009
- [c10]Antoine Rollet, Sébastien Salva:
Testing robustness of communicating systems using ioco-based approach. ISCC 2009: 67-72 - [c9]Hacène Fouchal, Antoine Rollet, Abbas Tarhini:
Robustness Testing on Composed Timed Systems. SEDE 2009: 161-167 - 2008
- [j1]Sébastien Salva, Antoine Rollet:
Testabilité des services web. Ingénierie des Systèmes d Inf. 13(3): 35-58 (2008) - 2007
- [c8]Fares Saad-Khorchef, Antoine Rollet, Richard Castanet:
A framework and a tool for robustness testing of communicating software. SAC 2007: 1461-1466 - [c7]Antoine Rollet, Fares Saad-Khorchef:
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. SERA 2007: 667-674 - 2005
- [c6]Abbas Tarhini
, Antoine Rollet, Hacène Fouchal
:
A pragmatic approach for testing robustness on real-time component based systems. AICCSA 2005: 143 - [c5]Hacène Fouchal
, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet:
Integrated Tool for Testing Timed Systems. ISSADS 2005: 153-166 - [c4]Hacène Fouchal
, Antoine Rollet, Abbas Tarhini
:
Robustness of Composed Timed Systems. SOFSEM 2005: 157-166 - 2004
- [c3]Hacène Fouchal, Cyril Rabat, Antoine Rollet, Abbas Tarhini:
Experimental Test Generation for Real-Time Systems. IASSE 2004: 284-289 - 2003
- [c2]Antoine Rollet, Hacène Fouchal
:
Testing Protocol Robustness. IICS 2003: 201-215 - [c1]Hacène Fouchal
, Antoine Rollet:
A Simple Testing Technique for Embedded Systems. OPODIS 2003: 159-170
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint