On Decentralized Monitoring

von Falcone, Yliès
Veröffentlicht in VECoS (15. : 2021 : Online) Verification and evaluation of computer and communication systems (2022)

Sound Concurrent Traces for Online Monitoring

von Soueidi, Chukri
Veröffentlicht in SPIN (29. : 2023 : Paris) Model checking software (2023)

Runtime Enforcement with Reordering, Healing, and Suppression

von Falcone, Yliès
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

DECENT: A Benchmark for Decentralized Enforcement

von Gallay, Florian
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Probabilistic Model Checking of BPMN Processes at Runtime

von Falcone, Yliès
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)

Runtime Enforcement for IEC 61499 Applications

von Falcone, Yliès
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

Lectures on runtime verification : introductory and advanced topics

Veröffentlicht 2018

Opportunistic Monitoring of Multithreaded Programs

von Soueidi, Chukri
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)

Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings

Veröffentlicht 2016

Bounded-Memory Runtime Enforcement

von Shankar, Saumya
Veröffentlicht in SPIN (28. : 2022 : Online) Model checking software (2022)

Runtime Verification of Kotlin Coroutines

von Furian, Denis
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Monitoring Distributed Component-Based Systems

von Falcone, Ylies
Veröffentlicht in FACS (17. : 2021 : Online) Formal Aspects of Component Software (2021)

Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Veröffentlicht 2021

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes

von Durán, Francisco
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)