Daniel J. Dougherty

CoRR, 2023

2021

Model Finding for Exploration.

[BibT_eX]

[DOI]

Proceedings of the Protocols, Strands, and Logic, 2021

2018

Homomorphisms and Minimality for Enrich-by-Need Security Analysis.

[BibT_eX]

[DOI]

John D. Ramsdell

CoRR, 2018

Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.

[BibT_eX]

[DOI]

John D. Ramsdell

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

The power of "why" and "why not": enriching scenario exploration with provenance.

[BibT_eX]

[DOI]

Tim Nelson

Natasha Danas

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

User Studies of Principled Model Finder Output.

[BibT_eX]

[DOI]

Natasha Danas

Tim Nelson

Lane Harrison

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

CAESAR: Context-Aware Event Stream Analytics for Urban Transportation Services.

[BibT_eX]

[DOI]

Olga Poppe

Chuan Lei

Pitchaya Wiratchotisatian

MaryAnn Van Valkenburg

Sarun Paisarnsrisomsuk

Proceedings of the 20th International Conference on Extending Database Technology, 2017

2016

Context-Aware Event Stream Analytics.

[BibT_eX]

[DOI]

Olga Poppe

Chuan Lei

Proceedings of the 19th International Conference on Extending Database Technology, 2016

A Realizability Interpretation for Intersection and Union Types.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Exploring Theories with a Model-Finding Assistant.

[BibT_eX]

[DOI]

Salman Saghafi

Ryan Danas

Proceedings of the Automated Deduction - CADE-25, 2015

2014

A Hybrid Analysis for Security Protocols with State.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Decidability for Lightweight Diffie-Hellman Protocols.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

Razor: Provenance and Exploration in Model-Finding.

[BibT_eX]

[DOI]

Salman Saghafi

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

2013

A balance of power: expressive, analyzable controller programming.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Aluminum: principled scenario exploration through minimality.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Symbolic Protocol Analysis for Diffie-Hellman

[BibT_eX]

[DOI]

CoRR, 2012

An Algebra for Symbolic Diffie-Hellman Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Realtime healthcare services via nested complex event processing technology.

[BibT_eX]

[DOI]

Medhabi Ray

Dazhi Zhang

Proceedings of the 15th International Conference on Extending Database Technology, 2012

Toward a More Complete Alloy.

[BibT_eX]

[DOI]

Timothy Nelson

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Optimizing complex sequence pattern extraction using caching.

[BibT_eX]

[DOI]

Medhabi Ray

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

High-performance nested CEP query processing over event streams.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Data Engineering, 2011

2010

Embracing policy engineering.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Logic and Computation in a Lambda Calculus with Intersection and Union Types.

[BibT_eX]

[DOI]

Luigi Liquori

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

The Margrave Tool for Firewall Analysis.

[BibT_eX]

[DOI]

Proceedings of the Uncovering the Secrets of System Administration: Proceedings of the 24th Large Installation System Administration Conference, 2010

Processing nested complex sequence pattern queries over event streams.

[BibT_eX]

[DOI]

Medhabi Ray

Proceedings of the 7th Workshop on Data Management for Sensor Networks, 2010

NEEL: The Nested Complex Event Language for Real-Time Event Analytics.

[BibT_eX]

[DOI]

Proceedings of the Enabling Real-Time Business Intelligence - 4th International Workshop, 2010

2009

An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

[BibT_eX]

[DOI]

Theophilos Giannakopoulos

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

Extensional and Intensional Strategies

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009

Towards an Operational Semantics for Alloy.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Multi-Join Continuous Query Optimization: Covering the Spectrum of Linear, Acyclic, and Cyclic Queries.

[BibT_eX]

[DOI]

Venkatesh Raghavan

Yali Zhu

Proceedings of the Dataspace: The Final Frontier, 2009

2008

Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage.

[BibT_eX]

[DOI]

Silvia Ghilezan

Theor. Comput. Sci., 2008

Preface.

[BibT_eX]

[DOI]

Santiago Escobar

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

Alchemy: transmuting base alloy specifications into implementations.

[BibT_eX]

[DOI]

Daniel Yoo

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

2007

Modular Access Control Via Strategic Rewriting.

[BibT_eX]

[DOI]

Anderson Santana de Oliveira

Claude Kirchner

Hélène Kirchner

Proceedings of the Computer Security, 2007

Obligations and Their Interaction with Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2007

2006

Normal forms for binary relations.

[BibT_eX]

[DOI]

Claudio Gutierrez

Theor. Comput. Sci., 2006

Join minimization in XML-to-SQL translation: an algebraic approach.

[BibT_eX]

[DOI]

Murali Mani

Song Wang

SIGMOD Rec., 2006

Addressed term rewriting systems: application to a typed object calculus.

[BibT_eX]

[DOI]

Luigi Liquori

Math. Struct. Comput. Sci., 2006

Specifying and Reasoning About Dynamic Access-Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Strong Normalization of the Dual Classical Sequent Calculus.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

2004

The complexity of the certification of properties of Stable Marriage.

[BibT_eX]

[DOI]

Stanley M. Selkow

Inf. Process. Lett., 2004

Intersection types for explicit substitutions.

[BibT_eX]

[DOI]

Stéphane Lengrand

Mariangiola Dezani-Ciancaglini

Steffen van Bakel

Inf. Comput., 2004

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

Intersection and Union Types in the lambda-my-my/tilde-calculus.

[BibT_eX]

[DOI]

Silvia Ghilezan

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

Characterizing strong normalization in a language with control operators.

[BibT_eX]

[DOI]

Silvia Ghilezan

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Reductions, Intersection Types, and Explicit Substitutions.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2003

2002

A Decidable Variant of Higher Order Matching.

[BibT_eX]

[DOI]

Tomasz Wierzbicki

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

An Improved System of Intersection Types for Explicit Substitutions.

[BibT_eX]

[DOI]

Stéphane Lengrand

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2000

Equality between Functionals in the Presence of Coproducts.

[BibT_eX]

[DOI]

Ramesh Subrahmanyam

Inf. Comput., 2000

Normal Forms and Reduction for Theories of Binary Relations.

[BibT_eX]

[DOI]

Claudio Gutierrez

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000

1998

Equational Unification, Word Unification, and 2nd-Order Equational Unification.

[BibT_eX]

[DOI]

Friedrich Otto

Paliath Narendran

Theor. Comput. Sci., 1998

1995

A Combinatory Logic Approach to Higher-Order E-Unification.

[BibT_eX]

[DOI]

Patricia Johann

Theor. Comput. Sci., 1995

Some Independent Results for Equational Unification.

[BibT_eX]

[DOI]

Friedrich Otto

Paliath Narendran

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1993

Higher-Order Unification via Combinators.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Closed Categories and Categorial Grammar.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1993

Some Lambda Calculi with Categorial Sums and Products.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1992

Adding Algebraic Rewriting to the Untyped Lambda Calculus

[BibT_eX]

[DOI]

Inf. Comput., December, 1992

An Improved General E-Unification Method.

[BibT_eX]

[DOI]

Patricia Johann

J. Symb. Comput., 1992

A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract).

[BibT_eX]

[DOI]

Patricia Johann

Proceedings of the Automated Deduction, 1992

1991

Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1987

Decomposition of infinite matrices.

[BibT_eX]

[DOI]

J. Comb. Theory A, 1987

1986

Gentzen systems, resolution, and literal trees.

[BibT_eX]

[DOI]