Measurement-based Online Verification of Timing Properties in Distributed Systems

Günter Ehmen, Björn Koopmann, Yosab Bebawy, Philipp Ittershagen. Measurement-based Online Verification of Timing Properties in Distributed Systems. In 2020 International Conference on Omni-layer Intelligent Systems, COINS 2020, Barcelona, Spain, August 31 - September 2, 2020. pages 1-6, IEEE, 2020. [doi]

Authors

Günter Ehmen

This author has not been identified. Look up 'Günter Ehmen' in Google

Björn Koopmann

This author has not been identified. Look up 'Björn Koopmann' in Google

Yosab Bebawy

This author has not been identified. Look up 'Yosab Bebawy' in Google

Philipp Ittershagen

This author has not been identified. Look up 'Philipp Ittershagen' in Google