2017 6th International Workshop on Software Mining (SoftwareMining) Software Mining (SoftwareMining), 2017 6th International Workshop on. :1-8 Nov, 2017
2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) Embedded and Real-Time Computing Systems and Applications (RTCSA), 2016 IEEE 22nd International Conference on. :188-194 Aug, 2016
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016. :1556-1561 Mar, 2016
Dams, D, Havelund, K & Kauffman, S 2022, Runtime Verification as Documentation . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 . Springer, Lecture Notes in Computer Science, vol. 13702, pp. 157-173, 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 22/10/2022 . https://doi.org/10.1007/978-3-031-19756-7_9