Amy P. Felty - RankMe

97 papers A* 4A 11B 14C 6Misc 1Journal 28Unranked 29

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