( en | de | ru )

 

Disambiguierung von "Falcone, Yliès"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime Enforcement of Timed Properties.

, , , , , und . RV, Volume 7687 von Lecture Notes in Computer Science, Seite 229-244. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Giovanni Falcone

Giovanni Falcone

Andrés Falcone

Franco Harald Falcone

Rainer Andrea Falcone

 

Weitere Publikationen von Autoren mit dem selben Namen

Enforcement and validation (at runtime) of various notions of opacity., und . Discrete Event Dynamic Systems, 25 (4): 531-570 (2015)Monitoring decentralized specifications., und . ISSTA, Seite 125-135. ACM, (2017)Probabilistic Analysis of Industrial IoT Applications., , und . IOT, Seite 41-48. ACM, (2022)Leveraging Runtime Verification for the Monitoring of Digital Twins., , und . FMDT@FM, Volume 3507 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)TiPEX: A Tool Chain for Timed Property Enforcement During eXecution., , , und . RV, Volume 9333 von Lecture Notes in Computer Science, Seite 306-320. Springer, (2015)Decentralised LTL Monitoring., und . FM, Volume 7436 von Lecture Notes in Computer Science, Seite 85-100. Springer, (2012)Runtime Enforcement with Reordering, Healing, and Suppression., und . SEFM, Volume 13085 von Lecture Notes in Computer Science, Seite 47-65. Springer, (2021)DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes., , und . AISoLA, Volume 14380 von Lecture Notes in Computer Science, Seite 77-93. Springer, (2023)Probabilistic Runtime Enforcement of Executable BPMN Processes., , und . FASE, Volume 14573 von Lecture Notes in Computer Science, Seite 56-76. Springer, (2024)Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts., , , und . ICST, Seite 341-352. IEEE, (2024)