Monitorability over Unreliable Channels

Sean Kauffman, Klaus Havelund, Sebastian Fischmeister. Monitorability over Unreliable Channels. In Bernd Finkbeiner, Leonardo Mariani, editors, Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Volume 11757 of Lecture Notes in Computer Science, pages 256-272, Springer, 2019. [doi]

Authors

Sean Kauffman

This author has not been identified. Look up 'Sean Kauffman' in Google

Klaus Havelund

This author has not been identified. It may be one of the following persons: Look up 'Klaus Havelund' in Google

Sebastian Fischmeister

This author has not been identified. Look up 'Sebastian Fischmeister' in Google