Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Matthieu Renard"'
Publikováno v:
Expert Systems with Applications. 211:118704
Blockchain technologies, also known as Distributed Ledger Technologies (DLT), are increasingly being explored in many applications, especially in the presence of (potential) dis-/mis-/un-trust among organizations and individuals. Today, there exists
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::101623db044a65b16e09cffe54785658
https://doi.org/10.1016/j.eswa.2022.118704
https://doi.org/10.1016/j.eswa.2022.118704
Publikováno v:
Formal Aspects of Computing
Formal Aspects of Computing, Springer Verlag, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩
Formal Aspects of Computing, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩
Formal Aspects of Computing, Springer Verlag, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩
Formal Aspects of Computing, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩
This paper deals with runtime enforcement of timed properties with uncontrollable events. Runtime enforcement consists in defining and using an enforcement mechanism that modifies the executions of a running system to ensure their correctness with re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a15aa1e47c4236b3eb2bb40516b42288
https://hal.archives-ouvertes.fr/hal-02920384
https://hal.archives-ouvertes.fr/hal-02920384
Publikováno v:
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
Mathematical Structures in Computer Science, 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
Mathematical Structures in Computer Science, 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
International audience; This paper deals with runtime enforcement of untimed and timed properties with uncontrollable events. Runtime enforcement consists in defining and using mechanisms that modify the executions of a running system to ensure their
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1737feda36b8b4d0506bdfff0164f761
https://hal.archives-ouvertes.fr/hal-01262444v4/document
https://hal.archives-ouvertes.fr/hal-01262444v4/document
Publikováno v:
Lecture Notes in Computer Science
29th IFIP International Conference on Testing Software and Systems (ICTSS)
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Testing Software and Systems ISBN: 9783319675480
ICTSS
29th IFIP International Conference on Testing Software and Systems (ICTSS)
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Testing Software and Systems ISBN: 9783319675480
ICTSS
Part 5: Testing Timed and Distributed Systems; International audience; We present GREP, a tool for the runtime enforcement of (timed) properties. GREP takes an execution sequence as input (stdin), and modifies it (stdout) as necessary to enforce the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbba609eeb1f233d83fac43abe01e9cf
https://hal.inria.fr/hal-01678960/document
https://hal.inria.fr/hal-01678960/document
Publikováno v:
SPIN
Model Checking Software-24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017
Model Checking Software-24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States
Model Checking Software-24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017
Model Checking Software-24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States
International audience; We leverage Büchi games for the runtime enforcement of regular properties with uncontrollable events. Runtime enforcement consists in modifying the execution of a running system to have it satisfy a given regular property, mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc331634b1755a2d64466c8e01c45a35
https://doi.org/10.1145/3092282.3092296
https://doi.org/10.1145/3092282.3092296
Autor:
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Antoine Rollet, Hervé Marchand, Matthieu Renard
Publikováno v:
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
Theoretical Aspects of Computing-ICTAC 2015 ISBN: 9783319251493
ICTAC
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
Theoretical Aspects of Computing-ICTAC 2015 ISBN: 9783319251493
ICTAC
International audience; This paper deals with runtime enforcement of untimed and timed properties with uncontrollable events. Runtime enforcement consists in modifying the executions of a running system to ensure their correctness with respect to a d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b74693101773fa010f22f6359352d228
https://inria.hal.science/hal-01185238v3/document
https://inria.hal.science/hal-01185238v3/document