Tim Alberdingk Thijm

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

Collaborative distances:

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

2026

CB-VER: A Stable Foundation for Modular Control Plane Verification.

Dexin Zhang, Timothy Alberdingk Thijm, David Walker, Aarti Gupta

CoRR, April, 2026

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

2022

Kirigami, the Verifiable Art of Network Cutting.

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

Proceedings of the 30th IEEE International Conference on Network Protocols, 2022

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