Timothy G. Griffin

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 8

Top Topics

Packet Delivery

Mobile Ad Hoc Networks

Energy Efficiency

Top Venues

Publications

Matthew L. Daggitt, Timothy G. Griffin
Formally Verified Convergence of Policy-Rich DBF Routing Protocols. IEEE/ACM Trans. Netw. 32 (2) (2024)
Matthew L. Daggitt, Timothy G. Griffin
Dynamic asynchronous iterations. J. Parallel Distributed Comput. 164 (2022)
Matthew L. Daggitt, Timothy G. Griffin
Formally Verified Convergence of Policy-Rich DBF Routing Protocols. CoRR (2021)
Matthew L. Daggitt, Ran Zmigrod, Timothy G. Griffin
A Relaxation of Üresin and Dubois' Asynchronous Fixed-Point Theory in Agda. J. Autom. Reason. 64 (5) (2020)
Matthew L. Daggitt, Timothy G. Griffin
Dynamic Asynchronous Iterations. CoRR (2020)
Ran Zmigrod, Matthew L. Daggitt, Timothy G. Griffin
An Agda Formalization of Üresin and Dubois' Asynchronous Fixed-Point Theory. ITP (2018)
Matthew L. Daggitt, Alexander J. T. Gurney, Timothy G. Griffin
Asynchronous convergence of policy-rich distributed bellman-ford routing protocols. SIGCOMM (2018)
Matthew L. Daggitt, Timothy G. Griffin
Rate of Convergence of Increasing Path-Vector Routing Protocols. ICNP (2018)
Wolfram Kahl, Timothy G. Griffin, Peter Höfner
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 84 (3) (2015)
Seweryn Dynerowicz, Timothy G. Griffin
On the forwarding paths produced by Internet routing algorithms. ICNP (2013)
Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Iain Phillips, Cristel Pelsser
Detecting the unintended in BGP policies. ICNP (2012)
Debbie Perouli, Stefano Vissicchio, Alexander J. T. Gurney, Olaf Maennel, Timothy G. Griffin, Iain Phillips, Sonia Fahmy, Cristel Pelsser
Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models. ICNP (2012)
Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Cristel Pelsser, Alexander J. T. Gurney, Iain Phillips
Detecting unsafe BGP policies in a flexible world. ICNP (2012)
Timothy G. Griffin
Do Formal Methodists have Bell-Shaped Heads? ATE (2011)
Alexander J. T. Gurney, Timothy G. Griffin
Pathfinding through Congruences. RAMiCS (2011)
Vilius Naudziunas, Timothy G. Griffin
A Domain-Specific Language for the Specification of Path Algebras. ATE (2011)
M. Abdul Alim, Timothy G. Griffin
On the interaction of multiple routing algorithms. CoNEXT (2011)
E. D. Harris, Timothy G. Griffin
Rate Limiting in an Event-Driven BGP Speaker. IEEE J. Sel. Areas Commun. 28 (8) (2010)
Alexander J. T. Gurney, Timothy G. Griffin
Neighbor-specific BGP: An algebraic exploration. ICNP (2010)
M. Abdul Alim, Timothy G. Griffin
Hybrid link-state, path-vector routing. AINTEC (2010)
Philip J. Taylor, Timothy G. Griffin
A model of configuration languages for routing protocols. PRESTO (2009)
John N. Billings, Timothy G. Griffin
A Model of Internet Routing Using Semi-modules. RelMiCS (2009)
Renata Teixeira, Aman Shaikh, Timothy G. Griffin, Jennifer Rexford
Impact of hot-potato routing changes in IP networks. IEEE/ACM Trans. Netw. 16 (6) (2008)
Timothy G. Griffin, Alexander J. T. Gurney
Increasing Bisemigroups and Algebraic Routing. RelMiCS (2008)
Eng Keong Lua, Timothy G. Griffin
Embeddable Overlay Networks. ISCC (2007)
Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford
TIE breaking: tunable interdomain egress selection. IEEE/ACM Trans. Netw. 15 (4) (2007)
Alexander J. T. Gurney, Timothy G. Griffin
Lexicographic products in metarouting. ICNP (2007)
Alexander J. T. Gurney, Timothy G. Griffin
Metarouting and Network Optimization. CISS (2006)
Ana R. Cavalli, Timothy G. Griffin, Dario Vieira
MSP: A Novel Session Maintenance Protocol. ICON (2006)
Ana R. Cavalli, Dario Vieira, Timothy G. Griffin
Implementation Analysis of MSP. ICN/ICONS/MCL (2006)
Chi-Kin Chau, Richard J. Gibbens, Timothy G. Griffin
Towards a Unified Theory of Policy-Based Routing. INFOCOM (2006)
Eng Keong Lua, Timothy G. Griffin, Marcelo Pias, Han Zheng, Jon Crowcroft
On the Accuracy of Embeddings for Internet Coordinate Systems. Internet Measurement Conference (2005)
Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford
TIE breaking: tunable interdomain egress selection. CoNEXT (2005)
Olivier Bonaventure, Anja Feldmann, Lixin Gao, Timothy G. Griffin, Z. Morley Mao
Guest editorial - Interdomain routing and the border gateway protocol. IEEE Netw. 19 (6) (2005)
Ana R. Cavalli, Timothy G. Griffin, Dario Vieira
A Comparison between Two Maintenance Session Protocols. AICT/SAPIR/ELETE (2005)
Han Zheng, Eng Keong Lua, Marcelo Pias, Timothy G. Griffin
Internet Routing Policies and Round-Trip-Times. PAM (2005)
Timothy G. Griffin, João L. Sobrinho
Metarouting. SIGCOMM (2005)
Timothy G. Griffin
What can we unlearn from BGP? DIN@MobiCom (2005)
Matthew Roughan, Timothy G. Griffin, Z. Morley Mao, Albert G. Greenberg, Brian Freeman
IP forwarding anomalies and improving their detection using multiple data sources. NetT@SIGCOMM (2004)
Timothy G. Griffin, Brian J. Premore
An Experimental Analysis of BGP Convergence Time. ICNP (2001)