PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Falcone, Yliès"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime enforcement for component-based systems.

, , , und . SAC, Seite 1789-1796. ACM, (2015)

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.

Keine Personen gefunden für den Autorennamen Falcone, Yliès
Eine Person hinzufügen mit dem Namen Falcone, Yliès
 

Weitere Publikationen von Autoren mit dem selben Namen

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014., , , , , , , , , und 5 andere Autor(en). STTT, 21 (1): 31-70 (2019)From Global Choreographies to Provably Correct and Efficient Distributed Implementations., , , , und . CoRR, (2019)Runtime Enforcement for Component-Based Systems., , , und . CoRR, (2014)Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)., und . ISoLA (2), Volume 9953 von Lecture Notes in Computer Science, Seite 333-338. (2016)RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)., und . ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 3-8. Springer, (2018)Runtime Verification of Safety-Progress Properties., , und . RV, Volume 5779 von Lecture Notes in Computer Science, Seite 40-59. Springer, (2009)Bringing Runtime Verification Home., und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 222-240. Springer, (2018)Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections.. RV, Volume 11237 von Lecture Notes in Computer Science, Seite 27-32. Springer, (2018)You Should Better Enforce Than Verify.. RV, Volume 6418 von Lecture Notes in Computer Science, Seite 89-105. Springer, (2010)Formal analysis and offline monitoring of electronic exams., , und . Formal Methods in System Design, 51 (1): 117-153 (2017)