Reference author: Klaus 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