( en | de | ru )

 

Disambiguierung von "Falcone, Yliès"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Expressiveness of some Runtime Validation Techniques.

, , und . HOWARD-60, Volume 42 von EPiC Series in Computing, EasyChair, (2014)

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)Runtime enforcement of timed properties revisited., , , , , und . Formal Methods Syst. Des., 45 (3): 381-422 (2014)Monitoring decentralized specifications., und . ISSTA, Seite 125-135. ACM, (2017)Decentralised LTL Monitoring., und . FM, Volume 7436 von Lecture Notes in Computer Science, Seite 85-100. Springer, (2012)Runtime Failure Prevention and Reaction., , , und . Lectures on Runtime Verification, Volume 10457 von Lecture Notes in Computer Science, Springer, (2018)A survey of challenges for runtime verification from advanced application domains (beyond software)., , , , , , , , , und 6 andere Autor(en). Formal Methods Syst. Des., 54 (3): 279-335 (2019)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)On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation., und . ACM Trans. Softw. Eng. Methodol., 29 (1): 1:1-1:57 (2020)Preface to the special section on improving software quality through formal methods., und . Softw. Qual. J., 28 (2): 693-694 (2020)Leveraging Runtime Verification for the Monitoring of Digital Twins., , und . FMDT@FM, Volume 3507 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)