2019 20th IEEE International Conference on Mobile Data Management (MDM) MDM Mobile Data Management (MDM), 2019 20th IEEE International Conference on. :349-350 Jun, 2019
Schlichtkrull, A, Schou, M K, Srba, J & Traytel, D 2022, Differential Testing of Pushdown Reachability with a Formally Verified Oracle . in A Griggio & N Rungta (eds), Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 . vol. 3, TU Wien Academic Press, Conference Series: Formal Methods in Computer-Aided Design, pp. 369-379, Formal Methods in Computer-Aided Design 2022, Trento, Italy, 17/10/2022 . https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_44
Jensen, P G, Schmid, S, Schou, M K, Srba, J, Vanerio, J & Duijn, I V 2021, Faster Pushdown Reachability Analysis with Applications in Network Verification . in Z Hou & V Ganesh (eds), Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12971 LNCS, pp. 170-186, 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, Virtual, Online, 18/10/2021 . https://doi.org/10.1007/978-3-030-88885-5_12