( en | de | ru )

 

Disambiguierung von "Falcone, Yliès"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monitoring decentralized specifications.

, und . ISSTA, Seite 125-135. ACM, (2017)

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

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)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)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)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)Preface to the special section on improving software quality through formal methods., und . Softw. Qual. J., 28 (2): 693-694 (2020)On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation., und . ACM Trans. Softw. Eng. Methodol., 29 (1): 1:1-1:57 (2020)DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes., , und . AISoLA, Volume 14380 von Lecture Notes in Computer Science, Seite 77-93. Springer, (2023)