Troels Beck Krøgh

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 2

Top Topics

Multicast Routing

Network Topology

Optical Networks

Top Venues

IEEE/ACM Trans. Netw.

Publications

Ingo van Duijn, Peter Gjøl Jensen, Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen
Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures. IEEE/ACM Trans. Netw. 30 (2) (2022)
Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen
P-Rex: fast verification of MPLS networks with multiple link failures. CoNEXT (2018)