Timothy Griffin

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