Daniel J. Dougherty

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 9

Top Topics

Context Aware Services

Security Protocols

Top Venues

Publications

Daniel J. Dougherty, Joshua D. Guttman
Molly: A Verified Compiler for Cryptoprotocol Roles. CoRR (2023)
Daniel J. Dougherty
Model Finding for Exploration. Protocols, Strands, and Logic (2021)
Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. IFM (2018)
Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
Homomorphisms and Minimality for Enrich-by-Need Security Analysis. CoRR (2018)
Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi
The power of "why" and "why not": enriching scenario exploration with provenance. ESEC/SIGSOFT FSE (2017)
Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty
User Studies of Principled Model Finder Output. SEFM (2017)
Olga Poppe, Chuan Lei, Elke A. Rundensteiner, Daniel J. Dougherty, Goutham Deva, Nicholas Fajardo, James Owens, Thomas Schweich, MaryAnn Van Valkenburg, Sarun Paisarnsrisomsuk, Pitchaya Wiratchotisatian, George Gettel, Robert Hollinger, Devin Roberts, Daniel Tocco
CAESAR: Context-Aware Event Stream Analytics for Urban Transportation Services. EDBT (2017)
Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze
A Realizability Interpretation for Intersection and Union Types. APLAS (2016)
Olga Poppe, Chuan Lei, Elke A. Rundensteiner, Daniel J. Dougherty
Context-Aware Event Stream Analytics. EDBT (2016)
Salman Saghafi, Ryan Danas, Daniel J. Dougherty
Exploring Theories with a Model-Finding Assistant. CADE (2015)
Daniel J. Dougherty, Joshua D. Guttman
Decidability for Lightweight Diffie-Hellman Protocols. CSF (2014)
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
A Hybrid Analysis for Security Protocols with State. IFM (2014)
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
A Hybrid Analysis for Security Protocols with State. CoRR (2014)
Salman Saghafi, Daniel J. Dougherty
Razor: Provenance and Exploration in Model-Finding. PAAR@IJCAR (2014)
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Aluminum: principled scenario exploration through minimality. ICSE (2013)
Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
A balance of power: expressive, analyzable controller programming. HotSDN (2013)
Daniel J. Dougherty, Joshua D. Guttman
An Algebra for Symbolic Diffie-Hellman Protocol Analysis. TGC (2012)
Mo Liu, Medhabi Ray, Dazhi Zhang, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari
Realtime healthcare services via nested complex event processing technology. EDBT (2012)
Daniel J. Dougherty, Joshua D. Guttman
Symbolic Protocol Analysis for Diffie-Hellman CoRR (2012)
Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Toward a More Complete Alloy. ABZ (2012)
Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta
High-performance nested CEP query processing over event streams. ICDE (2011)
Medhabi Ray, Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Abhay Mehta, Ismail Ari
Optimizing complex sequence pattern extraction using caching. ICDE Workshops (2011)
Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta
NEEL: The Nested Complex Event Language for Real-Time Event Analytics. BIRTE (2010)
Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
The Margrave Tool for Firewall Analysis. LISA (2010)
Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty
Embracing policy engineering. FoSER (2010)
Mo Liu, Medhabi Ray, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta
Processing nested complex sequence pattern queries over event streams. DMSN (2010)
Daniel J. Dougherty, Luigi Liquori
Logic and Computation in a Lambda Calculus with Intersection and Union Types. LPAR (Dakar) (2010)
Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Towards an Operational Semantics for Alloy. FM (2009)
Venkatesh Raghavan, Yali Zhu, Elke A. Rundensteiner, Daniel J. Dougherty
Multi-Join Continuous Query Optimization: Covering the Spectrum of Linear, Acyclic, and Cyclic Queries. BNCOD (2009)
Daniel J. Dougherty, Santiago Escobar
Preface. Electron. Notes Theor. Comput. Sci. 234 (2009)
Daniel J. Dougherty
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications RULE (2009)
Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
Extensional and Intensional Strategies WRS (2009)
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. Theor. Comput. Sci. 398 (1-3) (2008)
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo
Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE (2008)
Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Obligations and Their Interaction with Programs. ESORICS (2007)
Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
Modular Access Control Via Strategic Rewriting. ESORICS (2007)
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori
Addressed term rewriting systems: application to a typed object calculus. Math. Struct. Comput. Sci. 16 (4) (2006)
Daniel J. Dougherty, Claudio Gutiérrez
Normal forms for binary relations. Theor. Comput. Sci. 360 (1-3) (2006)
Murali Mani, Song Wang, Daniel J. Dougherty, Elke A. Rundensteiner
Join minimization in XML-to-SQL translation: an algebraic approach. SIGMOD Rec. 35 (1) (2006)
Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR (2006)
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
Intersection and Union Types in the lambda-my-my/tilde-calculus. Electron. Notes Theor. Comput. Sci. 136 (2005)
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec
Strong Normalization of the Dual Classical Sequent Calculus. LPAR (2005)
Daniel J. Dougherty, Stanley M. Selkow
The complexity of the certification of properties of Stable Marriage. Inf. Process. Lett. 92 (6) (2004)
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
Characterizing strong normalization in a language with control operators. PPDP (2004)
Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel
Intersection types for explicit substitutions. Inf. Comput. 189 (1) (2004)
Daniel J. Dougherty, Pierre Lescanne
Reductions, Intersection Types, and Explicit Substitutions. Math. Struct. Comput. Sci. 13 (1) (2003)
Daniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne
An Improved System of Intersection Types for Explicit Substitutions. IFIP TCS (2002)
Daniel J. Dougherty, Tomasz Wierzbicki
A Decidable Variant of Higher Order Matching. RTA (2002)
Daniel J. Dougherty, Pierre Lescanne
Reductions, Intersection Types, and Explicit Substitutions. TLCA (2001)
Daniel J. Dougherty, Claudio Gutiérrez
Normal Forms and Reduction for Theories of Binary Relations. RTA (2000)
Daniel J. Dougherty, Ramesh Subrahmanyam
Equality between Functionals in the Presence of Coproducts. Inf. Comput. 157 (1-2) (2000)
Friedrich Otto, Paliath Narendran, Daniel J. Dougherty
Equational Unification, Word Unification, and 2nd-Order Equational Unification. Theor. Comput. Sci. 198 (1-2) (1998)
Friedrich Otto, Paliath Narendran, Daniel J. Dougherty
Some Independent Results for Equational Unification. RTA (1995)
Daniel J. Dougherty, Ramesh Subrahmanyam
Equality between Functionals in the Presence of Coproducts LICS (1995)
Daniel J. Dougherty, Patricia Johann
A Combinatory Logic Approach to Higher-Order E-Unification. Theor. Comput. Sci. 139 (1&2) (1995)
Daniel J. Dougherty
Higher-Order Unification via Combinators. Theor. Comput. Sci. 114 (2) (1993)
Daniel J. Dougherty
Some Lambda Calculi with Categorial Sums and Products. RTA (1993)
Daniel J. Dougherty
Closed Categories and Categorial Grammar. Notre Dame J. Formal Log. 34 (1) (1993)
Daniel J. Dougherty, Patricia Johann
A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). CADE (1992)
Daniel J. Dougherty
Adding Algebraic Rewriting to the Untyped Lambda Calculus Inf. Comput. 101 (2) (1992)
Daniel J. Dougherty, Patricia Johann
An Improved General E-Unification Method. J. Symb. Comput. 14 (4) (1992)
Daniel J. Dougherty
Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract). RTA (1991)
Daniel J. Dougherty, Patricia Johann
An Improved General E-Unification Method. CADE (1990)
Daniel J. Dougherty
Decomposition of infinite matrices. J. Comb. Theory, Ser. A 45 (2) (1987)
Daniel J. Dougherty
Gentzen systems, resolution, and literal trees. Notre Dame J. Formal Log. 27 (4) (1986)