Amy P. Felty

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 25

Top Topics

Logical Framework

Top Venues

Math. Struct. Comput. Sci.

J. Autom. Reason.

Publications

Amir Eaman, Amy P. Felty
A certified access control policy language: TEpla. Innov. Syst. Softw. Eng. 20 (1) (2024)
Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont
On the use of formal methods to model and verify neuronal archetypes. Frontiers Comput. Sci. 16 (3) (2022)
Amy P. Felty
Modelling and Verifying Properties of Biological Neural Networks (Invited Talk). ITP (2022)
Amy P. Felty, Carlos Olarte, Bruno Xavier
A focused linear logical framework and its application to metatheory of object logics. Math. Struct. Comput. Sci. 31 (3) (2021)
Weiyun Lu, Bahman Sistany, Amy P. Felty, Philip J. Scott
Towards Formal Verification of Program Obfuscation. EuroS&P Workshops (2020)
Bernard Stepien, Amy P. Felty
Resolving XACML Rule Conflicts using Artificial Intelligence. ICISS (2020)
Amir Eaman, Amy P. Felty
Formal Verification of a Certified Policy Language. VECoS (2020)
Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte
Computational Logic for Biomedicine and Neurosciences. CoRR (2020)
Amy P. Felty
A Linear Logical Framework in Hybrid (Invited Talk). FSCD (2019)
Amy P. Felty
A linear logical framework in hybrid (invited talk). CPP (2019)
Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin
Women in Logic 2018 workshop report. ACM SIGLOG News 6 (1) (2019)
David Baelde, Amy P. Felty, Gopalan Nadathur, Alexis Saurin
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday. Math. Struct. Comput. Sci. 29 (8) (2019)
Amy P. Felty, João Marcos
Preface. LSFA (2019)
Mohamed Yousri Mahmoud, Amy P. Felty
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. J. Autom. Reason. 63 (4) (2019)
Amy P. Felty, Alberto Momigliano, Brigitte Pientka
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Math. Struct. Comput. Sci. 28 (9) (2018)
Mohamed Yousri Mahmoud, Amy P. Felty
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. CoRR (2018)
Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte
A Logical Framework for Modelling Breast Cancer Progression. MLCSB (2018)
Bahman Sistany, Amy P. Felty
A Certified Core Policy Language. PST (2017)
Amy P. Felty, Aart Middeldorp
Preface: Selected Extended Papers of CADE 2015. J. Autom. Reason. 58 (3) (2017)
Amir Eaman, Bahman Sistany, Amy P. Felty
Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution. MCETECH (2017)
Mohamed Yousri Mahmoud, Amy P. Felty
Formal Meta-level Analysis Framework for Quantum Programming Languages. LSFA (2017)
Polina Vinogradova, Amy P. Felty, Philip J. Scott
Formalizing Abstract Computability: Turing Categories in Coq. LSFA (2017)
Michel St-Martin, Amy P. Felty
A verified algorithm for detecting conflicts in XACML access control rules. CPP (2016)
Bernard Stepien, Amy P. Felty
Using Expert Systems to Statically Detect "Dynamic" Conflicts in XACML. ARES (2016)
Chelsea Battell, Amy P. Felty
The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. LFMTP (2016)
Amy P. Felty, Alberto Momigliano, Brigitte Pientka
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey. J. Autom. Reason. 55 (4) (2015)
Amy P. Felty, Alberto Momigliano, Brigitte Pientka
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks. CoRR (2015)
Amy P. Felty, Alberto Momigliano, Brigitte Pientka
An Open Challenge Problem Repository for Systems Supporting Binders. LFMTP (2015)
Bernard Stepien, Amy P. Felty, Stan Matwin
A non-technical XACML target editor for dynamic access control systems. CTS (2014)
Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty
A Logical Framework for Systems Biology. FMMB (2014)
Bernard Stepien, Amy P. Felty, Stan Matwin
Challenges of Composing XACML Policies. ARES (2014)
Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty
A Logical Framework for Systems Biology. CoRR (2014)
Nada Habli, Amy P. Felty
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs. PxTP@CADE (2013)
Bernard Stepien, Stan Matwin, Amy P. Felty
An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption. ARES (2012)
Amy P. Felty, Alberto Momigliano
Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. J. Autom. Reason. 48 (1) (2012)
Jiangong Weng, Amy P. Felty
An implementation of a verification condition generator for foundational proof-carrying code. PST (2011)
Alan J. Martin, Amy P. Felty
An Improved Implementation and Abstract Interface for Hybrid LFMTP (2011)
Bernard Stepien, Stan Matwin, Amy P. Felty
Advantages of a non-technical XACML notation in role-based models. PST (2011)
Amy P. Felty, Brigitte Pientka
Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison. ITP (2010)
Amy P. Felty
Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle. MSFP@ICFP (2010)
Bernard Stepien, Stan Matwin, Amy P. Felty
Strategies for Reducing Risks of Inconsistencies in Access Control Policies. ARES (2010)
Bernard Stepien, Amy P. Felty, Stan Matwin
A Non-technical User-Oriented Display Notation for XACML Conditions. MCETECH (2009)
Amy P. Felty, Alberto Momigliano
Reasoning with hypothetical judgments and open terms in hybrid. PPDP (2009)
Amy P. Felty, Alberto Momigliano
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax CoRR (2008)
Alberto Momigliano, Alan J. Martin, Amy P. Felty
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. Electron. Notes Theor. Comput. Sci. 196 (2008)
Franck Binard, Amy P. Felty
Genetic programming with polymorphic types and higher-order functions. GECCO (2008)
Franck Binard, Amy P. Felty
An abstraction-based genetic programming system. GECCO (Companion) (2007)
Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin
Formal correctness of conflict detection for firewalls. FMSE (2007)
Amy P. Felty
Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code. Fundam. Informaticae 77 (4) (2007)
Venanzio Capretta, Amy P. Felty
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. TYPES (2006)
Amy P. Felty
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract. TLCA (2005)
Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta
Privacy in Data Mining Using Formal Methods. TLCA (2005)
Guillaume Dufay, Amy P. Felty, Stan Matwin
Privacy-Sensitive Information Flow with JML. CADE (2005)
Amy P. Felty
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code. RTA (2005)
Andrew W. Appel, Amy P. Felty
Dependent types ensure partial correctness of theorem provers. J. Funct. Program. 14 (1) (2004)
Andrew W. Appel, Amy P. Felty
Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf. Theory Pract. Log. Program. 4 (1-2) (2004)
Andrew W. Appel, Amy P. Felty
Polymorphic lemmas and definitions in Lambda Prolog and Twelf CoRR (2004)
Amy P. Felty
Preface. J. Autom. Reason. 31 (3-4) (2003)
Amy P. Felty, Kedar S. Namjoshi
Feature specification and automated conflict detection. ACM Trans. Softw. Eng. Methodol. 12 (1) (2003)
Amy P. Felty
Two-Level Meta-reasoning in Coq. TPHOLs (2002)
Amy P. Felty, Stan Matwin
Privacy-Oriented Data Mining by Proof Checking. PKDD (2002)
David A. Basin, Amy P. Felty
Current Trends in Logical Frameworks and Metalanguages. J. Autom. Reason. 27 (1) (2001)
Amy P. Felty, Kedar S. Namjoshi
Feature Specification and Automatic Conflict Detection. FIW (2000)
Andrew W. Appel, Amy P. Felty
A Semantic Model of Types and Machine Instuctions for Proof-Carrying Code. POPL (2000)
Amy P. Felty
The calculus of constructions as a framework for proof search with set variable instantiation. Theor. Comput. Sci. 232 (1-2) (2000)
Andrew W. Appel, Amy P. Felty
Lightweight Lemmas in lambda-Prolog. ICLP (1999)
Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. CADE (1999)
Amy P. Felty, Frank A. Stomp
Cache Coherency in SCI: Specification and a Sketch of Correctness. Formal Aspects Comput. 11 (5) (1999)
Amy P. Felty, Douglas J. Howe, Frank A. Stomp
Protocol Verification in Nuprl. CAV (1998)
Amy P. Felty, Douglas J. Howe
Hybrid Interactive Theorem Proving Using Nuprl and HOL. CADE (1997)
Amy P. Felty, Laurent Théry
Interactive Theorem Proving with Temporal Logic. J. Symb. Comput. 23 (4) (1997)
Amy P. Felty
Proof Search with Set Variable Instantiation in the Calculus of Constructions. CADE (1996)
Joëlle Despeyroux, Amy P. Felty, André Hirschowitz
Higher-Order Abstract Syntax in Coq. TLCA (1995)
Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp
Formalizing Inductive Proofs of Network Algorithms. ASIAN (1995)
Amy P. Felty, Douglas J. Howe
Generalization and Reuse of Tactic Proofs. LPAR (1994)
Amy P. Felty, Douglas J. Howe
Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables. CADE (1994)
Amy P. Felty
Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language. J. Autom. Reason. 11 (1) (1993)
Amy P. Felty
Definite Clause Grammars for Parsing Higher-Order Syntax. ILPS (1993)
Amy P. Felty
Encoding the Calculus of Constructions in a Higher-Order Logic LICS (1993)
Amy P. Felty
A Logic Programming Approach to Implementing Higher-Order Term Rewriting. ELP (1991)
Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning
Tutorial on Lambda-Prolog. CADE (1990)
Amy P. Felty, Dale Miller
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. CADE (1990)
Amy P. Felty
A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. ELP (1989)
Amy P. Felty, Dale Miller
Specifying Theorem Provers in a Higher-Order Logic Programming Language. CADE (1988)
Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov
Lambda-Prolog: An Extended Logic Programming Language. CADE (1988)
Dale Miller, Amy P. Felty
An Integration of Resolution and Natural Deduction Theorem Proving. AAAI (1986)