Patrick Lincoln

Affiliations:
  • SRI International, Menlo Park, California, USA


According to our database1, Patrick Lincoln authored at least 115 papers between 1987 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.
CoRR, 2023

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.
Proceedings of the IEEE Military Communications Conference, 2023

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.
Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022
Formal Methods at Scale.
IEEE Secur. Priv., 2022

2018
Trusted Neural Networks for Safety-Constrained Autonomous Control.
CoRR, 2018

bRIGHT - Workstations of the Future and Leveraging Contextual Models.
Proceedings of the Human Interface and the Management of Information. Interaction, Visualization, and Analytics, 2018

Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Data Efficient Learning of Robust Control Policies.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

2017
Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
A search-based procedure for nonlinear real arithmetic.
Formal Methods Syst. Des., 2016

ARSENAL: Automatic Requirements Specification Extraction from Natural Language.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015
Two Decades of Maude.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Virus Detection in Multiplexed Nanowire Arrays using Hidden Semi-Markov models.
CoRR, 2014

Automatically Extracting Requirements Specifications from Natural Language.
CoRR, 2014

Neuroscience meets cryptography: crypto primitives secure against rubber hose attacks.
Commun. ACM, 2014

TRIST: Circumventing Censorship with Transcoding-Resistant Image Steganography.
Proceedings of the 4th USENIX Workshop on Free and Open Communications on the Internet, 2014

Safety envelope for security.
Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

A Nonlinear Real Arithmetic Fragment.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

2012
Bootstrapping Communications into an Anti-Censorship System.
Proceedings of the 2nd USENIX Workshop on Free and Open Communications on the Internet, 2012

Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks.
Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

2011
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
Homogeneity as an Advantage: It Takes a Community to Protect an Application.
Proceedings of the 2010 Workshop on Collaborative Methods for Security and Privacy, 2010

2009
Unification and Narrowing in Maude 2.4.
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Challenges in scalable fault tolerance.
Proceedings of the 2009 IEEE/ACM International Symposium on Nanoscale Architectures, 2009

2007

Specifying Parameterized Data Structures in Maude.
Proceedings of the All About Maude, 2007




Complete List of Maude Commands.
Proceedings of the All About Maude, 2007

Debugging and Troubleshooting.
Proceedings of the All About Maude, 2007

A Sampler of Application Areas.
Proceedings of the All About Maude, 2007

Object-Oriented Modules.
Proceedings of the All About Maude, 2007

Full Maude: Extending Core Maude.
Proceedings of the All About Maude, 2007

User Interfaces and Metalanguage Applications.
Proceedings of the All About Maude, 2007

Metaprogramming Applications.
Proceedings of the All About Maude, 2007

Reflection, Metalevel Computation, and Strategies.
Proceedings of the All About Maude, 2007


Model Checking Invariants Through Search.
Proceedings of the All About Maude, 2007

Object-Based Programming.
Proceedings of the All About Maude, 2007

Predefined Data Modules.
Proceedings of the All About Maude, 2007



A Hierarchy of Data Types: From Trees to Sets.
Proceedings of the All About Maude, 2007


Syntax and Basic Parsing.
Proceedings of the All About Maude, 2007



Analyzing Pathways Using SAT-Based Approaches.
Proceedings of the Algebraic Biology, Second International Conference, 2007

2005
A comparison between strand spaces and multiset rewriting for security protocol analysis.
J. Comput. Secur., 2005

The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways.
Proceedings of the Systems Biology and Regulatory Genomics, 2005

Pathway Logic Helping Biologists Understand and Organize Pathway Information.
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005

2004
Multiset rewriting and the complexity of bounded security protocols.
J. Comput. Secur., 2004

Privacy-Preserving Sharing and Correlation of Security Alerts.
Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, 2004

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2003
Epidemic profiles and defense of scale-free networks.
Proceedings of the 2003 ACM Workshop on Rapid Malcode, 2003

Invited Talk: Symbolic Systems Biology.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

The Maude 2.0 System.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Certifying and Synthesizing Membership Equational Proofs.
Proceedings of the FME 2003: Formal Methods, 2003

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
Proceedings of the 2nd IEEE Computer Society Bioinformatics Conference, 2003

Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

Evolution as Design Engineer.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002
Maude: specification and programming in rewriting logic.
Theor. Comput. Sci., 2002

Maximizing Sharing of Protected Information.
J. Comput. Syst. Sci., 2002

Pathway Logic: Executable Models of Biological Networks.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Pathway Logic: Symbolic Analysis of Biological Signaling.
Proceedings of the 7th Pacific Symposium on Biocomputing, 2002

Negotiated Privacy: (Extended Abstract).
Proceedings of the Software Security -- Theories and Systems, 2002

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.
Proceedings of the Software Security -- Theories and Systems, 2002

An Adaptable Network COntrol and Reporting System (ANCORS).
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

NEVRLATE: Scalable Resource Discovery.
Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

2001
Depender Graphs: A Method of Fault-Tolerant Certificate Distribution.
J. Comput. Secur., 2001

Global Infrastructure Protection System.
J. Comput. Secur., 2001

2000
Towards Maude 2.0.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Classifying Information for External Release.
Proceedings of the Information Security for Global Information Infrastructures, 2000

Principles of Mobile Maude.
Proceedings of the Agent Systems, 2000

Using Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

Relating Strands and Multiset Rewriting for Security Protocol Analysis.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

Efficient fault-tolerant certificate revocation.
Proceedings of the CCS 2000, 2000

Architectural Support for Copy and Tamper Resistant Software.
Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1999
Optimization Complexity of Linear Logic Proof Games.
Theor. Comput. Sci., 1999

The Maude System.
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Minimal Data Upgrading to Prevent Inference and Association.
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

PGRIP: PNNI Global Routing Infrastructure Protection.
Proceedings of the Network and Distributed System Security Symposium, 1999

Probabilistic Polynomial-Time Equivalence and Security Analysis.
Proceedings of the FM'99 - Formal Methods, 1999

A Meta-Notation for Protocol Analysis.
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998
Maude as a metalanguage.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Metalevel computation in Maude.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

A Probabilistic Poly-Time Framework for Protocol Analysis.
Proceedings of the CCS '98, 1998

1997
Formally Verified On-Line Diagnosis.
IEEE Trans. Software Eng., 1997

Low-Overhead Time-Triggered Group Membership.
Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

1996
The Complexity of Local Proof Search in Linear Logic.
Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Principles of Maude.
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Linear logic proof games and optimization.
Bull. Symb. Log., 1996

On Shostak's Decision Procedure for Combinations of Theories.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Distributed Simulation of Parallel Executions.
Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996

1995
Decision Problems for Second-Order Linear Logic
Proceedings of the Proceedings, 1995

1994
Constant-Only Multiplicative Linear Logic is NP-Complete.
Theor. Comput. Sci., 1994

First-Order Linear Logic without Modalities is NEXPTIME-Hard.
Theor. Comput. Sci., 1994

Compiling Rewriting onto SIMD and MIMD/SIMD Maschines.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.
Proceedings of the Specification of Parallel Algorithms, 1994

The Rewrite Rule Machine Node Architecture and Its Performance.
Proceedings of the Parallel Processing: CONPAR 94, 1994

1993
Linearizing Intuitionistic Implication.
Ann. Pure Appl. Log., 1993

A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model.
Proceedings of the Digest of Papers: FTCS-23, 1993

The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
Computational aspects of linear logic.
PhD thesis, 1992

Linear logic.
SIGACT News, 1992

Decision Problems for Propositional Linear Logic.
Ann. Pure Appl. Log., 1992

Algorithmic Aspects of Type Inference with Subtypes.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Operational aspects of linear lambda calculus
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1989
Efficient Implementation of Lattice Operations.
ACM Trans. Program. Lang. Syst., 1989

Adventures in Associative-Commutative Unification.
J. Symb. Comput., 1989

1988
Adventures in Associative-Commutative Unification (A Summary).
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
Le Fun: Logic, Equations and Functions.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987


  Loading...