Jonas Sand Madsen

According to our database, Jonas Sand Madsen authored at least 2 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures.

Ingo van Duijn, Peter Gjøl Jensen, Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen

IEEE/ACM Trans. Netw., 2022

2018

P-Rex: fast verification of MPLS networks with multiple link failures.

Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen

Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies, 2018