activity
20122025
most citedA Survey of Runtime Monitoring Instrumentation Techniques

57 citations · 176 across the 21 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2024

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification

Antonis Achilleos, Adrian Francalanza

This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 Ju…