Timothy Griffin

Publication Activity (10 Years)

Years Active: 1988-2004
Publications (10 Years): 0

Publications

Matthew Roughan, Timothy Griffin, Zhuoqing Morley Mao, Albert G. Greenberg, Brian Freeman
Combining routing and traffic data for detection of IP forwarding anomalies. SIGMETRICS (2004)
Renata Teixeira, Aman Shaikh, Timothy Griffin, Jennifer Rexford
Dynamics of hot-potato routing in IP networks. SIGMETRICS (2004)
Suman Banerjee, Timothy Griffin, Marcelo Pias
The Interdomain Connectivity of PlanetLab Nodes. PAM (2004)
Renata Teixeira, Aman Shaikh, Timothy Griffin, Geoffrey M. Voelker
Network sensitivity to hot-potato disruptions. SIGCOMM (2004)
Randy Bush, Timothy Griffin
Integrity for Virtual Private Routed Networks. INFOCOM (2003)
Geoffrey Goodell, William Aiello, Timothy Griffin, John Ioannidis, Patrick D. McDaniel, Aviel D. Rubin
Working around BGP: An Incremental Approach to Improving Security and Accuracy in Interdomain Routing. NDSS (2003)
Timothy Griffin, Aaron D. Jaggard, Vijay Ramachandran
Design principles of policy languages for path vector protocols. SIGCOMM (2003)
Zhuoqing Morley Mao, Randy Bush, Timothy Griffin, Matthew Roughan
BGP beacons. Internet Measurement Conference (2003)
Timothy Griffin, F. Bruce Shepherd, Gordon T. Wilfong
The stable paths problem and interdomain routing. IEEE/ACM Trans. Netw. 10 (2) (2002)
Timothy Griffin, Gordon T. Wilfong
Analysis of the MED Oscillation Problem in BGP. ICNP (2002)
Timothy Griffin, Gordon T. Wilfong
On the correctness of IBGP configuration. SIGCOMM (2002)
Lixin Gao, Timothy Griffin, Jennifer Rexford
Inherently Safe Backup Routing with BGP. INFOCOM (2001)
Timothy Griffin, Gordon T. Wilfong
A Safe Path Vector Protocol. INFOCOM (2000)
Timothy Griffin, F. Bruce Shepherd, Gordon T. Wilfong
Policy Disputes in Path-Vector Protocols. ICNP (1999)
Timothy Griffin, Gordon T. Wilfong
An Analysis of BGP Convergence Properties. SIGCOMM (1999)
Timothy Griffin, Bharat Kumar
Algebraic Change Propagation for Semijoin and Outerjoin Queries. SIGMOD Rec. 27 (3) (1998)
Michael Benedikt, Timothy Griffin, Leonid Libkin
Verifiable Properties of Database Transactions. Inf. Comput. 147 (1) (1998)
Timothy Griffin, Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Gang Zhou
A Framework For Using Redundant Data to Optimize Read-Intensive Database Applications. RTDB (1997)
Timothy Griffin, Richard Hull
A Framework for Implementing Hypothetical Queries. SIGMOD Conference (1997)
Timothy Griffin, Leonid Libkin, Howard Trickey
An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions. IEEE Trans. Knowl. Data Eng. 9 (3) (1997)
Michael Benedikt, Timothy Griffin, Leonid Libkin
Verifiable Properties of Database Transactions. PODS (1996)
Latha S. Colby, Timothy Griffin
An Algebraic Approach to Supporting Multiple Deferred Views. VIEWS (1996)
Latha S. Colby, Timothy Griffin, Leonid Libkin, Inderpal Singh Mumick, Howard Trickey
Algorithms for Deferred View Maintenance. SIGMOD Conference (1996)
Timothy Griffin, Leonid Libkin
Incremental Maintenance of Views with Duplicates. SIGMOD Conference (1995)
Timothy Griffin, Howard Trickey
Integrity Maintenance in A Telecommunications Switch. IEEE Data Eng. Bull. 17 (2) (1994)
Timothy Griffin
A Formulae-as-Types Notion of Control. POPL (1990)
Timothy Griffin
EFS - An Interactive Environment for Formal Systems. CADE (1988)
Timothy Griffin
Notational definition-a formal account LICS (1988)