Amy P. Felty

According to our database, Amy P. Felty authored at least 82 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A certified access control policy language: TEpla.

Amir Eaman, Amy P. Felty

Innov. Syst. Softw. Eng., March, 2024

2022

Preface to Special Issue: LSFA 2019 and 2020.

Amy P. Felty, Giselle Reis

Math. Struct. Comput. Sci., October, 2022

On the use of formal methods to model and verify neuronal archetypes.

Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont

Frontiers Comput. Sci., 2022

Modelling and Verifying Properties of Biological Neural Networks (Invited Talk).

Amy P. Felty

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

A focused linear logical framework and its application to metatheory of object logics.

Amy P. Felty, Carlos Olarte, Bruno Xavier

Math. Struct. Comput. Sci., 2021

2020

Computational Logic for Biomedicine and Neurosciences.

Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte

CoRR, 2020

Formal Verification of a Certified Policy Language.

Amir Eaman, Amy P. Felty

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

Resolving XACML Rule Conflicts using Artificial Intelligence.

Bernard Stepien, Amy P. Felty

Proceedings of the ICISS 2020: The 3rd International Conference on Information Science and System, 2020

Towards Formal Verification of Program Obfuscation.

Weiyun Lu, Bahman Sistany, Amy P. Felty, Philip J. Scott

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2019

Women in Logic 2018 workshop report.

Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin

ACM SIGLOG News, 2019

A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday.

David Baelde, Amy P. Felty, Gopalan Nadathur, Alexis Saurin

Math. Struct. Comput. Sci., 2019

Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic.

Mohamed Yousri Mahmoud, Amy P. Felty

J. Autom. Reason., 2019

A Linear Logical Framework in Hybrid (Invited Talk).

Amy P. Felty

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Preface.

Amy P. Felty, João Marcos

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

2018

Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions.

Amy P. Felty, Alberto Momigliano, Brigitte Pientka

Math. Struct. Comput. Sci., 2018

A Logical Framework for Modelling Breast Cancer Progression.

Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte

Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

2017

Preface: Selected Extended Papers of CADE 2015.

Amy P. Felty, Aart Middeldorp

J. Autom. Reason., 2017

Formalizing Abstract Computability: Turing Categories in Coq.

Polina Vinogradova, Amy P. Felty, Philip J. Scott

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Formal Meta-level Analysis Framework for Quantum Programming Languages.

Mohamed Yousri Mahmoud, Amy P. Felty

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

A Certified Core Policy Language.

Bahman Sistany, Amy P. Felty

Proceedings of the 15th Annual Conference on Privacy, Security and Trust, 2017

Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution.

Amir Eaman, Bahman Sistany, Amy P. Felty

Proceedings of the E-Technologies: Embracing the Internet of Things, 2017

2016

The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid.

Chelsea Battell, Amy P. Felty

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2016

A verified algorithm for detecting conflicts in XACML access control rules.

Michel St-Martin, Amy P. Felty

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

Using Expert Systems to Statically Detect "Dynamic" Conflicts in XACML.

Bernard Stepien, Amy P. Felty

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey.

Amy P. Felty, Alberto Momigliano, Brigitte Pientka

J. Autom. Reason., 2015

An Open Challenge Problem Repository for Systems Supporting Binders.

Amy P. Felty, Alberto Momigliano, Brigitte Pientka

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks.

Amy P. Felty, Alberto Momigliano, Brigitte Pientka

CoRR, 2015

2014

A Logical Framework for Systems Biology.

Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty

Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

A non-technical XACML target editor for dynamic access control systems.

Bernard Stepien, Amy P. Felty, Stan Matwin

Proceedings of the 2014 International Conference on Collaboration Technologies and Systems, 2014

Challenges of Composing XACML Policies.

Bernard Stepien, Amy P. Felty, Stan Matwin

Proceedings of the Ninth International Conference on Availability, 2014

2013

Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs.

Nada Habli, Amy P. Felty

Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013

2012

Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax.

Amy P. Felty, Alberto Momigliano

J. Autom. Reason., 2012

An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption.

Bernard Stepien, Stan Matwin, Amy P. Felty

Proceedings of the Seventh International Conference on Availability, 2012

2011

An Improved Implementation and Abstract Interface for Hybrid

Alan J. Martin, Amy P. Felty

Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2011

An implementation of a verification condition generator for foundational proof-carrying code.

Jiangong Weng, Amy P. Felty

Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011

Advantages of a non-technical XACML notation in role-based models.

Bernard Stepien, Stan Matwin, Amy P. Felty

Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011

2010

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison.

Amy P. Felty, Brigitte Pientka

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle.

Amy P. Felty

Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, 2010

Strategies for Reducing Risks of Inconsistencies in Access Control Policies.

Bernard Stepien, Stan Matwin, Amy P. Felty

Proceedings of the ARES 2010, 2010

2009

Reasoning with hypothetical judgments and open terms in hybrid.

Amy P. Felty, Alberto Momigliano

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

A Non-technical User-Oriented Display Notation for XACML Conditions.

Bernard Stepien, Amy P. Felty, Stan Matwin

Proceedings of the E-Technologies: Innovation in an Open World, 2009

2008

Genetic programming with polymorphic types and higher-order functions.

Franck Binard, Amy P. Felty

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

2007

Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code.

Amy P. Felty

Fundam. Informaticae, 2007

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax.

Alberto Momigliano, Alan J. Martin, Amy P. Felty

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007

An abstraction-based genetic programming system.

Franck Binard, Amy P. Felty

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Formal correctness of conflict detection for firewalls.

Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

2006

Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq.

Venanzio Capretta, Amy P. Felty

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

2005

Privacy in Data Mining Using Formal Methods.

Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract.

Amy P. Felty

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.

Amy P. Felty

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Privacy-Sensitive Information Flow with JML.

Guillaume Dufay, Amy P. Felty, Stan Matwin

Proceedings of the Automated Deduction, 2005

2004

Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf.

Andrew W. Appel, Amy P. Felty

Theory Pract. Log. Program., 2004

Dependent types ensure partial correctness of theorem provers.

Andrew W. Appel, Amy P. Felty

J. Funct. Program., 2004

2003

Feature specification and automated conflict detection.

Amy P. Felty, Kedar S. Namjoshi

ACM Trans. Softw. Eng. Methodol., 2003

Preface.

Amy P. Felty

J. Autom. Reason., 2003

2002

Two-Level Meta-reasoning in Coq.

Amy P. Felty

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Privacy-Oriented Data Mining by Proof Checking.

Amy P. Felty, Stan Matwin

Proceedings of the Principles of Data Mining and Knowledge Discovery, 2002

2001

Current Trends in Logical Frameworks and Metalanguages.

David A. Basin, Amy P. Felty

J. Autom. Reason., 2001

2000

The calculus of constructions as a framework for proof search with set variable instantiation.

Amy P. Felty

Theor. Comput. Sci., 2000

A Semantic Model of Types and Machine Instructions for Proof-Carrying Code.

Andrew W. Appel, Amy P. Felty

Proceedings of the POPL 2000, 2000

Feature Specification and Automatic Conflict Detection.

Amy P. Felty, Kedar S. Namjoshi

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1999

Cache Coherency in SCI: Specification and a Sketch of Correctness.

Amy P. Felty, Frank A. Stomp

Formal Aspects Comput., 1999

Lightweight Lemmas in lambda-Prolog.

Andrew W. Appel, Amy P. Felty

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems.

Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury

Proceedings of the Automated Deduction, 1999

1998

Protocol Verification in Nuprl.

Amy P. Felty, Douglas J. Howe, Frank A. Stomp

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Interactive Theorem Proving with Temporal Logic.

Amy P. Felty, Laurent Théry

J. Symb. Comput., 1997

Hybrid Interactive Theorem Proving Using Nuprl and HOL.

Amy P. Felty, Douglas J. Howe

Proceedings of the Automated Deduction, 1997

1996

Proof Search with Set Variable Instantiation in the Calculus of Constructions.

Amy P. Felty

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Higher-Order Abstract Syntax in Coq.

Joëlle Despeyroux, Amy P. Felty, André Hirschowitz

Proceedings of the Typed Lambda Calculi and Applications, 1995

Formalizing Inductive Proofs of Network Algorithms.

Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp

Proceedings of the Algorithms, 1995

1994

Generalization and Reuse of Tactic Proofs.

Amy P. Felty, Douglas J. Howe

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables.

Amy P. Felty, Douglas J. Howe

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language.

Amy P. Felty

J. Autom. Reason., 1993

Definite Clause Grammars for Parsing Higher-Order Syntax.

Amy P. Felty

Proceedings of the Logic Programming, 1993

Encoding the Calculus of Constructions in a Higher-Order Logic

Amy P. Felty

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1991

A Logic Programming Approach to Implementing Higher-Order Term Rewriting.

Amy P. Felty

Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

1990

Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language.

Amy P. Felty, Dale Miller

Proceedings of the 10th International Conference on Automated Deduction, 1990

Tutorial on Lambda-Prolog.

Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs.

Amy P. Felty

Proceedings of the Extensions of Logic Programming, 1989

1988

Specifying Theorem Provers in a Higher-Order Logic Programming Language.

Amy P. Felty, Dale Miller

Proceedings of the 9th International Conference on Automated Deduction, 1988

Lambda-Prolog: An Extended Logic Programming Language.

Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov

Proceedings of the 9th International Conference on Automated Deduction, 1988

1986

An Integration of Resolution and Natural Deduction Theorem Proving.

Dale Miller, Amy P. Felty

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986