| Kaki: Concurrent update synthesis for regular policies via petri games NS Johansen, LB Kær, AL Madsen, KØ Nielsen, J Srba, RG Tollund International Conference on Integrated Formal Methods, 249-267, 2022 | 5 | 2022 |
| Kaki: Efficient Concurrent Update Synthesis for SDN NS Johansen, LB Kær, AL Madsen, KØ Nielsen, J Srba, RG Tollund Formal Aspects of Computing 35 (3), 1-22, 2023 | | 2023 |
| FBR: Dynamic Memory-Aware Fast Rerouting NS Johansen, LB Kær, AL Madsen, KØ Nielsen, S Schmid, J Srba, ... 2022 IEEE 11th International Conference on Cloud Networking (CloudNet), 55-60, 2022 | | 2022 |
