default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAmy P. Felty
Person information
- affiliation: University of Ottawa, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j21]Amir Eaman, Amy P. Felty:
A certified access control policy language: TEpla. Innov. Syst. Softw. Eng. 20(1): 49-64 (2024)- 2022
- [j20]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): 163404 (2022) - [j19]Amy P. Felty, Giselle Reis:
Preface to Special Issue: LSFA 2019 and 2020. Math. Struct. Comput. Sci. 32(9): 1117-1118 (2022) - [c60]Amy P. Felty:
Modelling and Verifying Properties of Biological Neural Networks (Invited Talk). ITP 2022: 1:1-1:2 - [e9]Amy P. Felty:
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel. LIPIcs 228, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-233-4 [contents] - 2021
- [j18]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): 312-340 (2021) - 2020
- [c59]Weiyun Lu, Bahman Sistany, Amy P. Felty, Philip J. Scott:
Towards Formal Verification of Program Obfuscation. EuroS&P Workshops 2020: 635-644 - [c58]Bernard Stepien, Amy P. Felty:
Resolving XACML Rule Conflicts using Artificial Intelligence. ICISS 2020: 121-127 - [c57]Amir Eaman, Amy P. Felty:
Formal Verification of a Certified Policy Language. VECoS 2020: 180-194 - [e8]Amy P. Felty, João Marcos:
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019. Electronic Notes in Theoretical Computer Science 348, Elsevier 2020 [contents] - [i6]Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte:
Computational Logic for Biomedicine and Neurosciences. CoRR abs/2007.07571 (2020)
2010 – 2019
- 2019
- [j17]Mohamed Yousri Mahmoud, Amy P. Felty:
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. J. Autom. Reason. 63(4): 967-1002 (2019) - [j16]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): 1007-1008 (2019) - [j15]Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin:
Women in Logic 2018 workshop report. ACM SIGLOG News 6(1): 41-42 (2019) - [c56]Amy P. Felty:
A linear logical framework in hybrid (invited talk). CPP 2019: 14 - [c55]Amy P. Felty, João Marcos:
Preface. LSFA 2019: 1-2 - [c54]Amy P. Felty:
A Linear Logical Framework in Hybrid (Invited Talk). FSCD 2019: 2:1-2:2 - 2018
- [j14]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): 1507-1540 (2018) - [c53]Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte:
A Logical Framework for Modelling Breast Cancer Progression. MLCSB 2018: 121-141 - [e7]June Andronick, Amy P. Felty:
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. ACM 2018, ISBN 978-1-4503-5586-5 [contents] - [i5]Mohamed Yousri Mahmoud, Amy P. Felty:
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. CoRR abs/1812.03624 (2018) - 2017
- [j13]Amy P. Felty, Aart Middeldorp:
Preface: Selected Extended Papers of CADE 2015. J. Autom. Reason. 58(3): 311-312 (2017) - [c52]Amir Eaman, Bahman Sistany, Amy P. Felty:
Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution. MCETECH 2017: 116-135 - [c51]Bahman Sistany, Amy P. Felty:
A Certified Core Policy Language. PST 2017: 391-393 - [c50]Mohamed Yousri Mahmoud, Amy P. Felty:
Formal Meta-level Analysis Framework for Quantum Programming Languages. LSFA 2017: 185-201 - [c49]Polina Vinogradova, Amy P. Felty, Philip J. Scott:
Formalizing Abstract Computability: Turing Categories in Coq. LSFA 2017: 203-218 - 2016
- [c48]Bernard Stepien, Amy P. Felty:
Using Expert Systems to Statically Detect "Dynamic" Conflicts in XACML. ARES 2016: 127-136 - [c47]Michel St-Martin, Amy P. Felty:
A verified algorithm for detecting conflicts in XACML access control rules. CPP 2016: 166-175 - [c46]Chelsea Battell, Amy P. Felty:
The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. LFMTP 2016: 3:1-3:10 - 2015
- [j12]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): 307-372 (2015) - [c45]Amy P. Felty, Alberto Momigliano, Brigitte Pientka:
An Open Challenge Problem Repository for Systems Supporting Binders. LFMTP 2015: 18-32 - [e6]Amy P. Felty, Aart Middeldorp:
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Lecture Notes in Computer Science 9195, Springer 2015, ISBN 978-3-319-21400-9 [contents] - [i4]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 abs/1503.06095 (2015) - 2014
- [c44]Bernard Stepien, Amy P. Felty, Stan Matwin:
Challenges of Composing XACML Policies. ARES 2014: 234-241 - [c43]Bernard Stepien, Amy P. Felty, Stan Matwin:
A non-technical XACML target editor for dynamic access control systems. CTS 2014: 150-157 - [c42]Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty:
A Logical Framework for Systems Biology. FMMB 2014: 136-155 - [e5]Amy P. Felty, Brigitte Pientka:
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014. ACM 2014, ISBN 978-1-4503-2817-3 [contents] - [i3]Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty:
A Logical Framework for Systems Biology. CoRR abs/1404.5439 (2014) - 2013
- [c41]Nada Habli, Amy P. Felty:
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs. PxTP@CADE 2013: 67-76 - 2012
- [j11]Amy P. Felty, Alberto Momigliano:
Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. J. Autom. Reason. 48(1): 43-105 (2012) - [c40]Bernard Stepien, Stan Matwin, Amy P. Felty:
An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption. ARES 2012: 161-167 - [e4]Lennart Beringer, Amy P. Felty:
Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Lecture Notes in Computer Science 7406, Springer 2012, ISBN 978-3-642-32346-1 [contents] - 2011
- [c39]Bernard Stepien, Stan Matwin, Amy P. Felty:
Advantages of a non-technical XACML notation in role-based models. PST 2011: 193-200 - [c38]Jiangong Weng, Amy P. Felty:
An implementation of a verification condition generator for foundational proof-carrying code. PST 2011: 238-245 - [c37]Alan J. Martin, Amy P. Felty:
An Improved Implementation and Abstract Interface for Hybrid. LFMTP 2011: 76-90 - 2010
- [c36]Bernard Stepien, Stan Matwin, Amy P. Felty:
Strategies for Reducing Risks of Inconsistencies in Access Control Policies. ARES 2010: 140-147 - [c35]Amy P. Felty:
Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle. MSFP@ICFP 2010: 1-2 - [c34]Amy P. Felty, Brigitte Pientka:
Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison. ITP 2010: 227-242
2000 – 2009
- 2009
- [c33]Bernard Stepien, Amy P. Felty, Stan Matwin:
A Non-technical User-Oriented Display Notation for XACML Conditions. MCETECH 2009: 53-64 - [c32]Amy P. Felty, Alberto Momigliano:
Reasoning with hypothetical judgments and open terms in hybrid. PPDP 2009: 83-92 - [e3]James Cheney, Amy P. Felty:
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009. ACM 2009, ISBN 978-1-60558-529-1 [contents] - 2008
- [c31]Franck Binard, Amy P. Felty:
Genetic programming with polymorphic types and higher-order functions. GECCO 2008: 1187-1194 - [i2]Amy P. Felty, Alberto Momigliano:
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. CoRR abs/0811.4367 (2008) - 2007
- [j10]Amy P. Felty:
Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code. Fundam. Informaticae 77(4): 303-330 (2007) - [c30]Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin:
Formal correctness of conflict detection for firewalls. FMSE 2007: 22-30 - [c29]Franck Binard, Amy P. Felty:
An abstraction-based genetic programming system. GECCO (Companion) 2007: 2415-2422 - [c28]Alberto Momigliano, Alan J. Martin, Amy P. Felty:
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. LFMTP@CADE 2007: 85-93 - 2006
- [c27]Venanzio Capretta, Amy P. Felty:
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. TYPES 2006: 63-77 - 2005
- [c26]Guillaume Dufay, Amy P. Felty, Stan Matwin:
Privacy-Sensitive Information Flow with JML. CADE 2005: 116-130 - [c25]Amy P. Felty:
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code. RTA 2005: 394-406 - [c24]Amy P. Felty:
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract. TLCA 2005: 10-10 - [c23]Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta:
Privacy in Data Mining Using Formal Methods. TLCA 2005: 278-292 - [e2]Pedro Barahona, Amy P. Felty:
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal. ACM 2005, ISBN 1-59593-090-6 [contents] - 2004
- [j9]Andrew W. Appel, Amy P. Felty:
Dependent types ensure partial correctness of theorem provers. J. Funct. Program. 14(1): 3-19 (2004) - [j8]Andrew W. Appel, Amy P. Felty:
Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf. Theory Pract. Log. Program. 4(1-2): 1-39 (2004) - [i1]Andrew W. Appel, Amy P. Felty:
Polymorphic lemmas and definitions in Lambda Prolog and Twelf. CoRR cs.LO/0403010 (2004) - 2003
- [j7]Amy P. Felty:
Preface. J. Autom. Reason. 31(3-4): 189-190 (2003) - [j6]Amy P. Felty, Kedar S. Namjoshi:
Feature specification and automated conflict detection. ACM Trans. Softw. Eng. Methodol. 12(1): 3-27 (2003) - 2002
- [c22]Amy P. Felty, Stan Matwin:
Privacy-Oriented Data Mining by Proof Checking. PKDD 2002: 138-149 - [c21]Amy P. Felty:
Two-Level Meta-reasoning in Coq. TPHOLs 2002: 198-213 - 2001
- [j5]David A. Basin, Amy P. Felty:
Current Trends in Logical Frameworks and Metalanguages. J. Autom. Reason. 27(1): 1-2 (2001) - 2000
- [j4]Amy P. Felty:
The calculus of constructions as a framework for proof search with set variable instantiation. Theor. Comput. Sci. 232(1-2): 187-229 (2000) - [c20]Amy P. Felty, Kedar S. Namjoshi:
Feature Specification and Automatic Conflict Detection. FIW 2000: 179-192 - [c19]Andrew W. Appel, Amy P. Felty:
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code. POPL 2000: 243-253
1990 – 1999
- 1999
- [j3]Amy P. Felty, Frank A. Stomp:
Cache Coherency in SCI: Specification and a Sketch of Correctness. Formal Aspects Comput. 11(5): 475-497 (1999) - [c18]Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury:
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. CADE 1999: 237-251 - [c17]Andrew W. Appel, Amy P. Felty:
Lightweight Lemmas in lambda-Prolog. ICLP 1999: 411-425 - 1998
- [c16]Amy P. Felty, Douglas J. Howe, Frank A. Stomp:
Protocol Verification in Nuprl. CAV 1998: 428-439 - 1997
- [j2]Amy P. Felty, Laurent Théry:
Interactive Theorem Proving with Temporal Logic. J. Symb. Comput. 23(4): 367-397 (1997) - [c15]Amy P. Felty, Douglas J. Howe:
Hybrid Interactive Theorem Proving Using Nuprl and HOL. CADE 1997: 351-365 - [e1]Elsa L. Gunter, Amy P. Felty:
Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Lecture Notes in Computer Science 1275, Springer 1997, ISBN 3-540-63379-0 [contents] - 1996
- [c14]Amy P. Felty:
Proof Search with Set Variable Instantiation in the Calculus of Constructions. CADE 1996: 658-672 - 1995
- [c13]Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp:
Formalizing Inductive Proofs of Network Algorithms. ASIAN 1995: 335-349 - [c12]Joëlle Despeyroux, Amy P. Felty, André Hirschowitz:
Higher-Order Abstract Syntax in Coq. TLCA 1995: 124-138 - 1994
- [c11]Amy P. Felty, Douglas J. Howe:
Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables. CADE 1994: 605-619 - [c10]Amy P. Felty, Douglas J. Howe:
Generalization and Reuse of Tactic Proofs. LPAR 1994: 1-15 - 1993
- [j1]Amy P. Felty:
Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language. J. Autom. Reason. 11(1): 41-81 (1993) - [c9]Amy P. Felty:
Encoding the Calculus of Constructions in a Higher-Order Logic. LICS 1993: 233-244 - [c8]Amy P. Felty:
Definite Clause Grammars for Parsing Higher-Order Syntax. ILPS 1993: 668 - 1991
- [c7]Amy P. Felty:
A Logic Programming Approach to Implementing Higher-Order Term Rewriting. ELP 1991: 135-161 - 1990
- [c6]Amy P. Felty, Dale Miller:
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. CADE 1990: 221-235 - [c5]Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning:
Tutorial on Lambda-Prolog. CADE 1990: 682
1980 – 1989
- 1989
- [c4]Amy P. Felty:
A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. ELP 1989: 157-178 - 1988
- [c3]Amy P. Felty, Dale Miller:
Specifying Theorem Provers in a Higher-Order Logic Programming Language. CADE 1988: 61-80 - [c2]Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov:
Lambda-Prolog: An Extended Logic Programming Language. CADE 1988: 754-755 - 1986
- [c1]Dale Miller, Amy P. Felty:
An Integration of Resolution and Natural Deduction Theorem Proving. AAAI 1986: 198-202
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
