Antoine Rollet

Statistics

Publications

Citations

H-Index

Active since

2007

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

Institut Polytechnique de Bordeaux

Centre National de la Recherche Scientifique

Laboratoire d'Informatique de Grenoble

Université de Bordeaux

Antoine Rollet is an author at Laboratoire Bordelais de Recherche en Informatique specializing in computer science, formal methods, and software analysis.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationProgram AnalysisReal-time SystemsSystems EngineeringFormal Specification

Publications per year

2007–2017

Publications

Runtime enforcement of timed properties revisited

Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron et al. · Formal Methods in System Design · 2014 · 47 citations · Full text

Hardware Security, Engineering, Runtime Verification +11

A framework and a tool for robustness testing of communicating software

Fares Saad-Khorchef, Antoine Rollet, Richard Castanet · 2007 · 24 citations

Software Maintenance, Engineering, Verification +21

Optimal enforcement of (timed) properties with uncontrollable events

Matthieu Renard, Ylìès Falcone, Antoine Rollet et al. · Mathematical Structures in Computer Science · 2017 · 17 citations · Full text

Engineering, Verification, Runtime Enforcement +20

1–3 of 3