Journal Articles Formal Aspects of Computing Year : 2020

Runtime enforcement of timed properties using games

Matthieu Renard
  • Function : Author
  • PersonId : 968926
Laboratoire Bordelais de Recherche en Informatique
Antoine Rollet
  • Function : Author
  • PersonId : 836429
Laboratoire Bordelais de Recherche en Informatique
Yliès Falcone
Compiler Optimization and Run-time Systems
CV

Domains

Networking and Internet Architecture [cs.NI]
Fichier principal
Vignette du fichier
FAOC_Renard_Rollet_Falcone.pdf (4.29 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Antoine Rollet  : Connect in order to contact the contributor

https://hal.science/hal-02920384

Submitted on : Wednesday, February 17, 2021-10:32:58 AM

Last modification on : Wednesday, December 18, 2024-10:08:07 AM

Long-term archiving on : Tuesday, May 18, 2021-6:29:59 PM

Download

Dates and versions

hal-02920384 , version 1 (17-02-2021)

Identifiers

Cite

Matthieu Renard, Antoine Rollet, Yliès Falcone. Runtime enforcement of timed properties using games. Formal Aspects of Computing, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩. ⟨hal-02920384⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG UNIV-BORDEAUX LIG_SRCPR INRIA2 LIG-SRCPR-CORSE LIG_SIDCH
119 View
159 Download

Altmetric

Share

More