Runtime enforcement of timed properties using games

Matthieu Renard; Antoine Rollet; Yliès Falcone

doi:10.1007/s00165-020-00515-2

Article Dans Une Revue Formal Aspects of Computing Année : 2020

Runtime enforcement of timed properties using games

(1) , (1) , (2)

1
2

Matthieu Renard

Fonction : Auteur
PersonId : 968926

Laboratoire Bordelais de Recherche en Informatique

Antoine Rollet

Fonction : Auteur
PersonId : 836429

Laboratoire Bordelais de Recherche en Informatique

Yliès Falcone

Fonction : Auteur
PersonId : 2827
IdHAL : ylies-falcone
ORCID : 0000-0002-0114-0641
IdRef : 139194975

Compiler Optimization and Run-time Systems

CV

Domaines

Réseaux et télécommunications [cs.NI]

Fichier principal

FAOC_Renard_Rollet_Falcone.pdf (4.29 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

Antoine Rollet : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02920384

Soumis le : mercredi 17 février 2021-10:32:58

Dernière modification le : jeudi 4 avril 2024-21:35:01

Archivage à long terme le : mardi 18 mai 2021-18:29:59

Dates et versions

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

Identifiants

HAL Id : hal-02920384 , version 1
DOI : 10.1007/s00165-020-00515-2

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_SRCPR INRIA2 LIG-SRCPR-CORSE LIG_SIDCH

107 Consultations

99 Téléchargements

Runtime enforcement of timed properties using games

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager