Timothy G. Griffin

45 papers A* 3A 4B 11C 3Misc 2Journal 10Unranked 11

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Formally Verified Convergence of Policy-Rich DBF Routing Protocols. IEEE/ACM Trans. Netw. Matthew L. Daggitt, Timothy G. Griffin
2022	J	`jnl`	Dynamic asynchronous iterations. J. Parallel Distributed Comput. Matthew L. Daggitt, Timothy G. Griffin
2021	J	`jnl`	Formally Verified Convergence of Policy-Rich DBF Routing Protocols. CoRR Matthew L. Daggitt, Timothy G. Griffin
2020	J	`jnl`	A Relaxation of Üresin and Dubois' Asynchronous Fixed-Point Theory in Agda. J. Autom. Reason. Matthew L. Daggitt, Ran Zmigrod, Timothy G. Griffin
2020	J	`jnl`	Dynamic Asynchronous Iterations. CoRR Matthew L. Daggitt, Timothy G. Griffin
2018	B	`conf`	An Agda Formalization of Üresin and Dubois' Asynchronous Fixed-Point Theory. ITP Ran Zmigrod, Matthew L. Daggitt, Timothy G. Griffin
2018	A*	`conf`	Asynchronous convergence of policy-rich distributed bellman-ford routing protocols. SIGCOMM Matthew L. Daggitt, Alexander J. T. Gurney, Timothy G. Griffin
2018	B	`conf`	Rate of Convergence of Increasing Path-Vector Routing Protocols. ICNP Matthew L. Daggitt, Timothy G. Griffin
2015	J	`jnl`	Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. Wolfram Kahl, Timothy G. Griffin, Peter Höfner
2013	B	`conf`	On the forwarding paths produced by Internet routing algorithms. ICNP Seweryn Dynerowicz, Timothy G. Griffin
2012	B	`conf`	Detecting the unintended in BGP policies. ICNP Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Iain Phillips, Cristel Pelsser
2012	B	`conf`	Detecting unsafe BGP policies in a flexible world. ICNP Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Cristel Pelsser, Alexander J. T. Gurney, Iain Phillips
2012	B	`conf`	Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models. ICNP Debbie Perouli, Stefano Vissicchio, Alexander J. T. Gurney, Olaf Maennel, Timothy G. Griffin, Iain Phillips, Sonia Fahmy, Cristel Pelsser
2012	C	`ed.`	Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings RAMiCS Wolfram Kahl, Timothy G. Griffin
2011	—	`conf`	A Domain-Specific Language for the Specification of Path Algebras. ATE Vilius Naudziunas, Timothy G. Griffin
2011	—	`conf`	Do Formal Methodists have Bell-Shaped Heads? ATE Timothy G. Griffin
2011	A	`conf`	On the interaction of multiple routing algorithms. CoNEXT M. Abdul Alim, Timothy G. Griffin
2011	C	`conf`	Pathfinding through Congruences. RAMiCS Alexander J. T. Gurney, Timothy G. Griffin
2010	—	`conf`	Hybrid link-state, path-vector routing. AINTEC M. Abdul Alim, Timothy G. Griffin
2010	B	`conf`	Neighbor-specific BGP: An algebraic exploration. ICNP Alexander J. T. Gurney, Timothy G. Griffin
2010	A	`ed.`	Proceedings of the 2010 ACM Conference on Emerging Networking Experiments and Technology, CoNEXT 2010, Philadelphia, PA, USA, November 30 - December 03, 2010 CoNEXT Jaudelice Cavalcante de Oliveira, Maximilian Ott, Timothy G. Griffin, Muriel Médard
2010	J	`jnl`	Rate Limiting in an Event-Driven BGP Speaker. IEEE J. Sel. Areas Commun. E. D. Harris, Timothy G. Griffin
2010	Misc	`conf`	The Stratified Shortest-Paths Problem (invited paper). COMSNETS Timothy G. Griffin
2009	—	`conf`	A Model of Internet Routing Using Semi-modules. RelMiCS John N. Billings, Timothy G. Griffin
2009	—	`conf`	A model of configuration languages for routing protocols. PRESTO Philip J. Taylor, Timothy G. Griffin
2009	B	`ed.`	Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009. ICNP 2009, Princeton, NJ, USA, 13-16 October 2009 ICNP Henning Schulzrinne, K. K. Ramakrishnan, Timothy G. Griffin, Srikanth V. Krishnamurthy
2008	J	`jnl`	Impact of hot-potato routing changes in IP networks. IEEE/ACM Trans. Netw. Renata Teixeira, Aman Shaikh, Timothy G. Griffin, Jennifer Rexford
2008	—	`conf`	Increasing Bisemigroups and Algebraic Routing. RelMiCS Timothy G. Griffin, Alexander J. T. Gurney
2007	C	`conf`	Embeddable Overlay Networks. ISCC Eng Keong Lua, Timothy G. Griffin
2007	B	`conf`	Lexicographic products in metarouting. ICNP Alexander J. T. Gurney, Timothy G. Griffin
2007	J	`jnl`	TIE breaking: tunable interdomain egress selection. IEEE/ACM Trans. Netw. Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford
2006	—	`conf`	Implementation Analysis of MSP. ICN/ICONS/MCL Ana R. Cavalli, Dario Vieira, Timothy G. Griffin
2006	—	`conf`	MSP: A Novel Session Maintenance Protocol. ICON Ana R. Cavalli, Timothy G. Griffin, Dario Vieira
2006	Misc	`conf`	Metarouting and Network Optimization. CISS Alexander J. T. Gurney, Timothy G. Griffin
2006	A*	`conf`	Towards a Unified Theory of Policy-Based Routing. INFOCOM Chi-Kin Chau, Richard J. Gibbens, Timothy G. Griffin
2005	—	`conf`	A Comparison between Two Maintenance Session Protocols. AICT/SAPIR/ELETE Ana R. Cavalli, Timothy G. Griffin, Dario Vieira
2005	J	`jnl`	Guest editorial - Interdomain routing and the border gateway protocol. IEEE Netw. Olivier Bonaventure, Anja Feldmann, Lixin Gao, Timothy G. Griffin, Z. Morley Mao
2005	B	`conf`	Internet Routing Policies and Round-Trip-Times. PAM Han Zheng, Eng Keong Lua, Marcelo Pias, Timothy G. Griffin
2005	A*	`conf`	Metarouting. SIGCOMM Timothy G. Griffin, João L. Sobrinho
2005	A	`conf`	On the Accuracy of Embeddings for Internet Coordinate Systems. Internet Measurement Conference Eng Keong Lua, Timothy G. Griffin, Marcelo Pias, Han Zheng, Jon Crowcroft
2005	A	`conf`	TIE breaking: tunable interdomain egress selection. CoNEXT Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford
2005	—	`conf`	What can we unlearn from BGP? DIN@MobiCom Timothy G. Griffin
2004	—	`conf`	IP forwarding anomalies and improving their detection using multiple data sources. NetT@SIGCOMM Matthew Roughan, Timothy G. Griffin, Z. Morley Mao, Albert G. Greenberg, Brian Freeman
2001	B	`conf`	An Experimental Analysis of BGP Convergence Time. ICNP Timothy G. Griffin, Brian J. Premore
1989	—	`—`	Notational Definition and Top-Down Refinement for Interactive Proof Development Systems. Timothy G. Griffin