Reference author: Klaus Havelund

First name
Klaus
Last name
Havelund
Kauffman, S. ., Havelund, K. ., & Fischmeister, S. . (2021). What Can We Monitor Over Unreliable Channels?. International Journal on Software Tools for Technology Transfer, 23, 579-600. https://doi.org/10.1007/s10009-021-00625-z
Kauffman, S. ., Havelund, K. ., & Fischmeister, S. . (2019). Monitorability Over Unreliable Channels. International Conference on Runtime Verification (RV), 256 to 272. Porto, Portugal. https://doi.org/10.1007/978-3-030-32079-9_15
Kauffman, S. ., Havelund, K. ., Joshi, R. ., & Fischmeister, S. . (2018). Inferring Event Stream Abstractions. Formal Methods in System Design, 29. https://doi.org/10.1007/s10703-018-0317-z