Timothy G. Griffin

According to our database1, Timothy G. Griffin authored at least 61 papers between 1988 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Asynchronous convergence of policy-rich distributed bellman-ford routing protocols.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

An Agda Formalization of Üresin and Dubois' Asynchronous Fixed-Point Theory.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Rate of Convergence of Increasing Path-Vector Routing Protocols.
Proceedings of the 2018 IEEE 26th International Conference on Network Protocols, 2018

2015
Relational and algebraic methods in computer science.
J. Log. Algebr. Meth. Program., 2015

2013
On the forwarding paths produced by Internet routing algorithms.
Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

2012
Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models.
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Detecting the unintended in BGP policies.
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Detecting unsafe BGP policies in a flexible world.
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

2011
On the interaction of multiple routing algorithms.
Proceedings of the 2011 Conference on Emerging Networking Experiments and Technologies, 2011

A Domain-Specific Language for the Specification of Path Algebras.
Proceedings of the First Workshop on Automated Theory Engineering, 2011

Do Formal Methodists have Bell-Shaped Heads?
Proceedings of the First Workshop on Automated Theory Engineering, 2011

Pathfinding through Congruences.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010
Rate Limiting in an Event-Driven BGP Speaker.
IEEE Journal on Selected Areas in Communications, 2010

Neighbor-specific BGP: An algebraic exploration.
Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010

Hybrid link-state, path-vector routing.
Proceedings of the AINTEC '10, 2010

2009
A model of configuration languages for routing protocols.
Proceedings of the ACM SIGCOMM 2009 Workshop on Programmable Routers for Extensible Services of Tomorrow, 2009

A Model of Internet Routing Using Semi-modules.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
Impact of hot-potato routing changes in IP networks.
IEEE/ACM Trans. Netw., 2008

Increasing Bisemigroups and Algebraic Routing.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007
TIE breaking: tunable interdomain egress selection.
IEEE/ACM Trans. Netw., 2007

Embeddable Overlay Networks.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

Lexicographic products in metarouting.
Proceedings of the IEEE International Conference on Network Protocols, 2007

2006
Towards a Unified Theory of Policy-Based Routing.
Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

MSP: A Novel Session Maintenance Protocol.
Proceedings of the 14th IEEE International Conference on Networks, 2006

Implementation Analysis of MSP.
Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

2005
Guest editorial - Interdomain routing and the border gateway protocol.
IEEE Network, 2005

Metarouting.
Proceedings of the ACM SIGCOMM 2005 Conference on Applications, 2005

Internet Routing Policies and Round-Trip-Times.
Proceedings of the Passive and Active Network Measurement, 6th International Workshop, 2005

What can we unlearn from BGP?
Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, 2005

On the Accuracy of Embeddings for Internet Coordinate Systems.
Proceedings of the 5th Internet Measurement Conference, 2005

TIE breaking: tunable interdomain egress selection.
Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, 2005

A Comparison between Two Maintenance Session Protocols.
Proceedings of the Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 2005

2004
Dynamics of hot-potato routing in IP networks.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004

Combining routing and traffic data for detection of IP forwarding anomalies.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004

Network sensitivity to hot-potato disruptions.
Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004

The Interdomain Connectivity of PlanetLab Nodes.
Proceedings of the Passive and Active Network Measurement, 5th International Workshop, 2004

2003
Design principles of policy languages for path vector protocols.
Proceedings of the ACM SIGCOMM 2003 Conference on Applications, 2003

Working around BGP: An Incremental Approach to Improving Security and Accuracy in Interdomain Routing.
Proceedings of the Network and Distributed System Security Symposium, 2003

Integrity for Virtual Private Routed Networks.
Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003

BGP beacons.
Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, 2003

2002
The stable paths problem and interdomain routing.
IEEE/ACM Trans. Netw., 2002

On the correctness of IBGP configuration.
Proceedings of the ACM SIGCOMM 2002 Conference on Applications, 2002

Analysis of the MED Oscillation Problem in BGP.
Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001
Inherently Safe Backup Routing with BGP.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

An Experimental Analysis of BGP Convergence Time.
Proceedings of the 9th International Conference on Network Protocols (ICNP 2001), 2001

2000
A Safe Path Vector Protocol.
Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

1999
An Analysis of BGP Convergence Properties.
SIGCOMM, 1999

Policy Disputes in Path-Vector Protocols.
Proceedings of the Seventh Annual International Conference on Network Protocols, 1999

1998
Algebraic Change Propagation for Semijoin and Outerjoin Queries.
SIGMOD Record, 1998

Verifiable Properties of Database Transactions.
Inf. Comput., 1998

1997
An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions.
IEEE Trans. Knowl. Data Eng., 1997

A Framework for Implementing Hypothetical Queries.
Proceedings of the SIGMOD 1997, 1997

A Framework For Using Redundant Data to Optimize Read-Intensive Database Applications.
RTDB, 1997

1996
An Algebraic Approach to Supporting Multiple Deferred Views.
VIEWS, 1996

Algorithms for Deferred View Maintenance.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Verifiable Properties of Database Transactions.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

1995
Incremental Maintenance of Views with Duplicates.
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

1994
Integrity Maintenance in A Telecommunications Switch.
IEEE Data Eng. Bull., 1994

1990
A Formulae-as-Types Notion of Control.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

1988
Notational definition-a formal account
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

EFS - An Interactive Environment for Formal Systems.
Proceedings of the 9th International Conference on Automated Deduction, 1988


  Loading...