Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Marc Tom Thorgersen"'
Autor:
Ingo van Duijn, Peter Gjøl Jensen, Marc Tom Thorgersen, Jiri Srba, Troels Beck Krogh, Stefan Schmid, Jesper Stenbjerg Jensen, Jonas Sand Madsen
Publikováno v:
Duijn, I V, Jensen, P G, Jensen, J S, Krøgh, T B, Madsen, J S, Schmid, S, Srba, J & Thorgersen, M T 2022, ' Automata-Theoretic Approach to Verification of MPLS Networks under Link Failures ', I E E E-A C M Transactions on Networking, vol. 30, no. 2, pp. 766-781 . https://doi.org/10.1109/TNET.2021.3126572
Aalborg University
Aalborg University
Future communication networks are expected to be highly automated, disburdening human operators of their most complex tasks. While the first powerful and automated network analysis tools are emerging, existing tools provide only limited and inefficie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2567750961dd423574368b15df55c8b0
https://doi.org/10.1109/tnet.2021.3126572
https://doi.org/10.1109/tnet.2021.3126572
Autor:
Jiří Srba, Troels Beck Krogh, Jonas Sand Madsen, Stefan Schmid, Jesper Stenbjerg Jensen, Marc Tom Thorgersen
Publikováno v:
CoNEXT
Jensen, J S, Krøgh, T B, Madsen, J S, Schmid, S, Srba, J & Thorgersen, M T 2018, P-Rex: fast verification of MPLS networks with multiple link failures . in Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, Conference on Emerging Networking EXperiments and Technologies, pp. 217-227, 14th International Conference on emerging Networking EXperiments and Technologies, Heraklion, Greece, 04/12/2018 . https://doi.org/10.1145/3281411.3281432
Jensen, J S, Krøgh, T B, Madsen, J S, Schmid, S, Srba, J & Thorgersen, M T 2018, P-Rex: fast verification of MPLS networks with multiple link failures . in Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, Conference on Emerging Networking EXperiments and Technologies, pp. 217-227, 14th International Conference on emerging Networking EXperiments and Technologies, Heraklion, Greece, 04/12/2018 . https://doi.org/10.1145/3281411.3281432
Future communication networks are expected to be highly automated, disburdening human operators of their most complex tasks. However, while first powerful and automated network analysis tools are emerging, existing tools provide only limited (and ine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af64c90ce507ce8c55fc08114ce9cd7f
https://doi.org/10.1145/3281411.3281432
https://doi.org/10.1145/3281411.3281432