Tim Alberdingk Thijm

According to our database, Tim Alberdingk Thijm authored at least 7 papers between 2017 and 2024.

Collaborative distances:

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

2024

Kirigami, the Verifiable Art of Network Cutting.

Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker

IEEE/ACM Trans. Netw., June, 2024

Modular Control Plane Verification

Tim Alberdingk Thijm

PhD thesis, 2024

Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale.

James Larisch, Timothy Alberdingk Thijm, Suleman Ahmad, Peter Wu, Tom Arnfeld, Marwan Fayed

Proceedings of the ACM SIGCOMM 2024 Conference, 2024

2023

Modular Control Plane Verification via Temporal Invariants.

Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker

Proc. ACM Program. Lang., 2023

2021

A Matter of Trust: Verification of Security and Performance for Network Platform as a Service.

Tim Alberdingk Thijm, Gary Atkinson, Lalita Jagadeesan, Marina Thottan

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2017

Dagstuhl-15512-ArgQuality.

Henning Wachsmuth, Nona Naderi, Yufang Hou, Yonatan Bilu, Vinodkumar Prabhakaran, Tim Alberdingk Thijm, Graeme Hirst, Benno Stein

Dataset, April, 2017

Computational Argumentation Quality Assessment in Natural Language.

Henning Wachsmuth, Nona Naderi, Yufang Hou, Yonatan Bilu, Vinodkumar Prabhakaran, Tim Alberdingk Thijm, Graeme Hirst, Benno Stein

Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017