3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.FL2020
Information-Flow Interfaces
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger +2
Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are const…
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,…