Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Timothy G.
    Last name: Griffin
    DBLP: g/TimothyGGriffin
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 54 of 54  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Seweryn Dynerowicz, Timothy G. Griffin.
    On the forwarding paths produced by Internet routing algorithms.
    2013 21st IEEE International Conference on Network Protocols, ICNP 2013, Göttingen, Germany, October 7-10, 2013 2013 (0) 2013
    Conference paper
    Debbie Perouli, Stefano Vissicchio, Alexander J. T. Gurney, Olaf Maennel, Timothy G. Griffin, Iain C. C. Phillips, Sonia Fahmy, Cristel Pelsser.
    Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models.
    20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012 2012 (0) 2012
    Conference paper
    Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Iain C. C. Phillips, Cristel Pelsser.
    Detecting the unintended in BGP policies.
    20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012 2012 (0) 2012
    Conference paper
    Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Cristel Pelsser, Alexander J. T. Gurney, Iain C. C. Phillips.
    Detecting unsafe BGP policies in a flexible world.
    20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012 2012 (0) 2012
    Conference paper
    Alexander J. T. Gurney, Timothy G. Griffin.
    Pathfinding through Congruences.
    Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Timothy G. Griffin.
    Do Formal Methodists have Bell-Shaped Heads?
    Proceedings of the First Workshop on Automated Theory Engineering, Wroc┼?aw, Poland, July 31, 2011 2011 (0) 2011
    Conference paper
    Vilius Naudziunas, Timothy G. Griffin.
    A Domain-Specific Language for the Specification of Path Algebras.
    Proceedings of the First Workshop on Automated Theory Engineering, Wroc┼?aw, Poland, July 31, 2011 2011 (0) 2011
    Conference paper
    M. Abdul Alim, Timothy G. Griffin.
    On the interaction of multiple routing algorithms.
    Proceedings of the 2011 Conference on Emerging Networking Experiments and Technologies, Co-NEXT '11, Tokyo, Japan, December 6-9, 2011 2011 (0) 2011
    Journal article
    E. D. Harris, Timothy G. Griffin.
    Rate Limiting in an Event-Driven BGP Speaker.
    IEEE Journal on Selected Areas in Communications 2010, Volume 28 (0) 2010
    Conference paper
    Alexander J. T. Gurney, Timothy G. Griffin.
    Neighbor-specific BGP: An algebraic exploration.
    Proceedings of the 18th annual IEEE International Conference on Network Protocols, ICNP 2010, Kyoto, Japan, 5-8 October, 2010 2010 (0) 2010
    Conference paper
    M. Abdul Alim, Timothy G. Griffin.
    Hybrid link-state, path-vector routing.
    AINTEC '10, Asian Internet Engineering Conference, Bangkok, Thailand, November 17-19, 2010, Proceedings 2010 (0) 2010
    Conference paper
    John N. Billings, Timothy G. Griffin.
    A Model of Internet Routing Using Semi-modules.
    Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed 2009 (0) 2009
    Conference paper
    Philip J. Taylor, Timothy G. Griffin.
    A model of configuration languages for routing protocols.
    Proceedings of the ACM SIGCOMM 2009 Workshop on Programmable Routers for Extensible Services of Tomorrow, PRESTO 2009, Barcelona, Spain, August 21, 2009 2009 (0) 2009
    Conference paper
    Timothy G. Griffin, Alexander J. T. Gurney.
    Increasing Bisemigroups and Algebraic Routing.
    Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. P 2008 (0) 2008
    Conference paper
    Renata Teixeira, Aman Shaikh, Timothy G. Griffin, Jennifer Rexford.
    Impact of hot-potato routing changes in IP networks.
    IEEE/ACM Trans. Netw. 2008, Volume 16 (0) 2008
    Conference paper
    Alexander J. T. Gurney, Timothy G. Griffin.
    Lexicographic products in metarouting.
    Proceedings of the IEEE International Conference on Network Protocols, ICNP 2007, October 16-19, 2007, Beijing, China 2007 (0) 2007
    Conference paper
    Eng Keong Lua, Timothy G. Griffin.
    Embeddable Overlay Networks.
    Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), July 1-4, Aveiro, Portugal 2007 (0) 2007
    Conference paper
    Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford.
    TIE breaking: tunable interdomain egress selection.
    IEEE/ACM Trans. Netw. 2007, Volume 15 (0) 2007
    Conference paper
    Ana R. Cavalli, Dario Vieira, Timothy G. Griffin.
    Implementation Analysis of MSP.
    Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius 2006 (0) 2006
    Conference paper
    Chi-Kin Chau, Richard Gibbens, Timothy G. Griffin.
    Towards a Unified Theory of Policy-Based Routing.
    INFOCOM 2006. 25th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 23-29 April 2006, Barcelona, Catalunya, Spain 2006 (0) 2006
    Conference paper
    Ana R. Cavalli, Timothy G. Griffin, Dario Vieira.
    A Comparison between Two Maintenance Session Protocols.
    Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 17-22 July 2005, Lisbon, Portugal 2005 (0) 2005
    Conference paper
    Eng Keong Lua, Timothy G. Griffin, Marcelo Pias, Han Zheng, Jon Crowcroft.
    On the Accuracy of Embeddings for Internet Coordinate Systems.
    Proceedings of the 5th Conference on Internet Measurement 2005, Berkeley, California, USA, October 19-21, 2005 2005 (0) 2005
    Conference paper
    Han Zheng, Eng Keong Lua, Marcelo Pias, Timothy G. Griffin.
    Internet Routing Policies and Round-Trip-Times.
    Passive and Active Network Measurement, 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Timothy G. Griffin, João L. Sobrinho.
    Metarouting.
    Proceedings of the ACM SIGCOMM 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Philadelphia, Pennsylvania, USA, August 22-26, 2005 2005 (0) 2005
    Conference paper
    Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford.
    TIE breaking: tunable interdomain egress selection.
    Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005 2005 (0) 2005
    Conference paper
    Suman Banerjee, Timothy G. Griffin, Marcelo Pias.
    The Interdomain Connectivity of PlanetLab Nodes.
    Passive and Active Network Measurement, 5th International Workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Renata Teixeira, Aman Shaikh, Timothy G. Griffin, Geoffrey M. Voelker.
    Network sensitivity to hot-potato disruptions.
    Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30 - September 3, 2004, Portland, Oregon, USA 2004 (0) 2004
    Conference paper
    Matthew Roughan, Timothy G. Griffin, Zhuoqing Morley Mao, Albert G. Greenberg, Brian Freeman.
    Combining routing and traffic data for detection of IP forwarding anomalies.
    Proceedings of the International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 2004, June 10-14, 2004, New York, NY, USA 2004 (0) 2004
    Conference paper
    Renata Teixeira, Aman Shaikh, Timothy G. Griffin, Jennifer Rexford.
    Dynamics of hot-potato routing in IP networks.
    Proceedings of the International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 2004, June 10-14, 2004, New York, NY, USA 2004 (0) 2004
    Conference paper
    Zhuoqing Morley Mao, Randy Bush, Timothy G. Griffin, Matthew Roughan.
    BGP beacons.
    Proceedings of the 3rd ACM SIGCOMM Conference on Internet Measurement 2003, Miami Beach, FL, USA, October 27-29, 2003 2003 (0) 2003
    Conference paper
    Randy Bush, Timothy G. Griffin.
    Integrity for Virtual Private Routed Networks.
    INFOCOM 2003 (0) 2003
    Conference paper
    Geoffrey Goodell, William Aiello, Timothy G. Griffin, John Ioannidis, Patrick Drew McDaniel, Aviel D. Rubin.
    Working around BGP: An Incremental Approach to Improving Security and Accuracy in Interdomain Routing.
    Proceedings of the Network and Distributed System Security Symposium, NDSS 2003, San Diego, California, USA 2003 (0) 2003
    Conference paper
    Timothy G. Griffin, Aaron D. Jaggard, Vijay Ramachandran.
    Design principles of policy languages for path vector protocols.
    Proceedings of the ACM SIGCOMM 2003 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 25-29, 2003, Karlsruhe, Germany 2003 (0) 2003
    Conference paper
    Timothy G. Griffin, Gordon T. Wilfong.
    Analysis of the MED Oscillation Problem in BGP.
    10th IEEE International Conference on Network Protocols (ICNP 2002), 12-15 November 2002, Paris, France, Proceedings 2002 (0) 2002
    Conference paper
    Timothy G. Griffin, Gordon T. Wilfong.
    On the correctness of IBGP configuration.
    Proceedings of the ACM SIGCOMM 2002 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 19-23, 2002, Pittsburgh, PA, USA 2002 (0) 2002
    Conference paper
    Timothy G. Griffin, F. Bruce Shepherd, Gordon T. Wilfong.
    The stable paths problem and interdomain routing.
    IEEE/ACM Trans. Netw. 2002, Volume 10 (0) 2002
    Conference paper
    Timothy G. Griffin, Brian J. Premore.
    An Experimental Analysis of BGP Convergence Time.
    9th International Conference on Network Protocols (ICNP 2001), 11-14 November 2001, Riverside, CA, USA 2001 (0) 2001
    Conference paper
    Lixin Gao, Timothy G. Griffin, Jennifer Rexford.
    Inherently Safe Backup Routing with BGP.
    INFOCOM 2001 (0) 2001
    Conference paper
    Timothy G. Griffin, Gordon T. Wilfong.
    A Safe Path Vector Protocol.
    INFOCOM 2000 (0) 2000
    Conference paper
    Timothy G. Griffin, F. Bruce Shepherd, Gordon T. Wilfong.
    Policy Disputes in Path-Vector Protocols.
    ICNP 1999 (0) 1999
    Conference paper
    Timothy G. Griffin, Gordon T. Wilfong.
    An Analysis of BGP Convergence Properties.
    SIGCOMM 1999 (0) 1999
    Conference paper
    Michael Benedikt, Timothy G. Griffin, Leonid Libkin.
    Verifiable Properties of Database Transactions.
    Inf. Comput. 1998, Volume 147 (0) 1998
    Conference paper
    Timothy G. Griffin, Bharat Kumar.
    Algebraic Change Propagation for Semijoin and Outerjoin Queries.
    SIGMOD Record 1998, Volume 27 (0) 1998
    Conference paper
    Timothy G. Griffin, Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Gang Zhou.
    A Framework For Using Redundant Data to Optimize Read-Intensive Database Applications.
    RTDB 1997 (0) 1997
    Conference paper
    Timothy G. Griffin, Richard Hull.
    A Framework for Implementing Hypothetical Queries.
    SIGMOD 1997, Proceedings ACM SIGMOD International Conference on Management of Data, May 13-15, 1997, Tucson, Arizona, USA. 1997 (0) 1997
    Conference paper
    Timothy G. Griffin, Leonid Libkin, Howard Trickey.
    An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions.
    IEEE Trans. Knowl. Data Eng. 1997, Volume 9 (0) 1997
    Conference paper
    Michael Benedikt, Timothy G. Griffin, Leonid Libkin.
    Verifiable Properties of Database Transactions.
    Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, 1996, Montreal, Canada 1996 (0) 1996
    Conference paper
    Latha S. Colby, Timothy G. Griffin, Leonid Libkin, Inderpal Singh Mumick, Howard Trickey.
    Algorithms for Deferred View Maintenance.
    Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, Montreal, Quebec, Canada, June 4-6, 1996. 1996 (0) 1996
    Conference paper
    Latha S. Colby, Timothy G. Griffin.
    An Algebraic Approach to Supporting Multiple Deferred Views.
    VIEWS 1996 (0) 1996
    Conference paper
    Timothy G. Griffin, Leonid Libkin.
    Incremental Maintenance of Views with Duplicates.
    Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, May 22-25, 1995. 1995 (0) 1995
    Conference paper
    Timothy G. Griffin, Howard Trickey.
    Integrity Maintenance in A Telecommunications Switch.
    IEEE Data Eng. Bull. 1994, Volume 17 (0) 1994
    Conference paper
    Timothy G. Griffin.
    A Formulae-as-Types Notion of Control.
    POPL 1990 (0) 1990
    Conference paper
    Timothy G. Griffin.
    EFS - An Interactive Environment for Formal Systems.
    9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings 1988 (0) 1988
    Conference paper
    Timothy G. Griffin.
    Notational definition-a formal account
    Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK 1988 (0) 1988
    Show item 1 to 54 of 54  

    Your query returned 54 matches in the database.