48 citations · 172 across the 22 of their papers we have counts for
1 paper · 1 filter
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers +1
Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior with respect to a formal specification of systems at runtime. In this paper, we are…