3 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 3 cited
Monitoring Event Frequencies
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl
The monitoring of event frequencies can be used to recognize behavioral anomalies, to identify trends, and to deduce or discard hypotheses about the underlying system. For example,…
cs.PL2017★ 3 cited
Faster Algorithms for Weighted Recursive State Machines
Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra +1
Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (…