( en | de | ru )

 

Disambiguierung von "Falcone, Yliès"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimal enforcement of (timed) properties with uncontrollable events.

, , , , und . Math. Struct. Comput. Sci., 29 (1): 169-214 (2019)

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)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)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)Runtime Failure Prevention and Reaction., , , und . Lectures on Runtime Verification, Volume 10457 von Lecture Notes in Computer Science, Springer, (2018)Decentralised LTL Monitoring., und . FM, Volume 7436 von Lecture Notes in Computer Science, Seite 85-100. Springer, (2012)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)Probabilistic Analysis of Industrial IoT Applications., , und . IOT, Seite 41-48. ACM, (2022)DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes., , und . AISoLA, Volume 14380 von Lecture Notes in Computer Science, Seite 77-93. Springer, (2023)