Patrick Lincoln

120 papers A* 15A 2B 2C 1Misc 3Journal 23Unranked 47
YearRankTypeTitle / Venue / Authors
2023 — conf
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.
MILCOM
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
2023 — conf
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.
ICAA
Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
2023 J jnl
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.
CoRR
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
2022 J jnl
Formal Methods at Scale.
IEEE Secur. Priv.
William Martin, Patrick Lincoln, William L. Scherlis
2018 — conf
Data Efficient Learning of Robust Control Policies.
Allerton
Susmit Jha, Patrick Lincoln
2018 — conf
Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes.
DSN Workshops
Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu
2018 — ed.
Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), Stanford, CA, March 25-27, 2019.
AAAI Spring Symposium: Towards Conscious AI Systems
Antonio Chella, David Gamez, Patrick Lincoln, Riccardo Manzotti, Jonathan D. Pfautz
2018 J jnl
Trusted Neural Networks for Safety-Constrained Autonomous Control.
CoRR
Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln
2018 — conf
bRIGHT - Workstations of the Future and Leveraging Contextual Models.
HCI (4)
Rukman Senanayake, Grit Denker, Patrick Lincoln
2017 — conf
Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models.
AAAI Workshops
Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu
2016 J jnl
A search-based procedure for nonlinear real arithmetic.
Formal Methods Syst. Des.
Ashish Tiwari, Patrick Lincoln
2016 — conf
ARSENAL: Automatic Requirements Specification Extraction from Natural Language.
NFM
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
2015 — conf
Two Decades of Maude.
Logic, Rewriting, and Concurrency
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
2014 A* conf
A Nonlinear Real Arithmetic Fragment.
CAV
Ashish Tiwari, Patrick Lincoln
2014 J jnl
Automatically Extracting Requirements Specifications from Natural Language.
CoRR
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
2014 J jnl
Neuroscience meets cryptography: crypto primitives secure against rubber hose attacks.
Commun. ACM
Hristo Bojinov, Daniel Sánchez, Paul J. Reber, Dan Boneh, Patrick Lincoln
2014 — conf
Safety envelope for security.
HiCoNS
Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia
2014 — conf
TRIST: Circumventing Censorship with Transcoding-Resistant Image Steganography.
FOCI
Christopher Connolly, Patrick Lincoln, Ian Mason, Vinod Yegneswaran
2014 J jnl
Virus Detection in Multiplexed Nanowire Arrays using Hidden Semi-Markov models.
CoRR
Shalini Ghosh, Patrick Lincoln, Christian Petersen, Alfonso Valdes
2013 C conf
Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks.
PRDC
Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln
2012 — conf
Bootstrapping Communications into an Anti-Censorship System.
FOCI
Patrick Lincoln, Ian Mason, Phillip A. Porras, Vinod Yegneswaran, Zachary Weinberg, Jeroen Massar, William Allen Simpson, Paul Vixie, Dan Boneh
2012 A* conf
Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks.
USENIX Security Symposium
Hristo Bojinov, Daniel Sánchez, Paul J. Reber, Dan Boneh, Patrick Lincoln
2011 — conf
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
Formal Modeling: Actors, Open Systems, Biological Systems
Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio
2010 — conf
Homogeneity as an Advantage: It Takes a Community to Protect an Application.
CollSec
Linda Briesemeister, Steven Dawson, Patrick Lincoln, Hassen Saïdi, Jim Thornton, Glenn Durfee, Peter C. S. Kwan, Elizabeth Stinson, Adam J. Oliner, John C. Mitchell
2009 — conf
Challenges in scalable fault tolerance.
NANOARCH
Patrick Lincoln
2009 — conf
Unification and Narrowing in Maude 2.4.
RTA
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
A Hierarchy of Data Types: From Trees to Sets.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
A Sampler of Application Areas.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — book
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — conf
Analyzing Pathways Using SAT-Based Approaches.
AB
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2007 — ch.
Complete List of Maude Commands.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Core Maude Grammar.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Debugging and Troubleshooting.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Full Maude: Extending Core Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Functional Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Introduction.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
LTL Model Checking.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Metaprogramming Applications.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Mobile Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo
2007 — ch.
Model Checking Invariants Through Search.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Module Operations.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Object-Based Programming.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Object-Oriented Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Playing with Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007 — ch.
Predefined Data Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Reflection, Metalevel Computation, and Strategies.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Some Tools.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo
2007 — ch.
Specifying Parameterized Data Structures in Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007 — ch.
Syntax and Basic Parsing.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
System Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
User Interfaces and Metalanguage Applications.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Using Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2005 J jnl
A comparison between strand spaces and multiset rewriting for security protocol analysis.
J. Comput. Secur.
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln
2005 — conf
Pathway Logic Helping Biologists Understand and Organize Pathway Information.
CSB Workshops
Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute
2005 — conf
The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways.
Systems Biology and Regulatory Genomics
David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln
2004 J jnl
Multiset rewriting and the complexity of bounded security protocols.
J. Comput. Secur.
Nancy A. Durgin, Patrick Lincoln, John C. Mitchell
2004 Misc conf
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
Pacific Symposium on Biocomputing
Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2004 A* conf
Privacy-Preserving Sharing and Correlation of Security Alerts.
USENIX Security Symposium
Patrick Lincoln, Phillip A. Porras, Vitaly Shmatikov
2004 — conf
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks.
HSCC
Patrick Lincoln, Ashish Tiwari
2003 — conf
Certifying and Synthesizing Membership Equational Proofs.
FME
Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer
2003 — conf
Epidemic profiles and defense of scale-free networks.
WORM
Linda Briesemeister, Patrick Lincoln, Phillip A. Porras
2003 — conf
Evolution as Design Engineer.
CMSB
David L. Dill, Patrick Lincoln
2003 — conf
Invited Talk: Symbolic Systems Biology.
RTA
Patrick Lincoln
2003 — conf
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
CSB
Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2003 — conf
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
CMSB
Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott
2003 — conf
The Maude 2.0 System.
RTA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2002 — conf
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.
ISSS
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
2002 — conf
An Adaptable Network COntrol and Reporting System (ANCORS).
DANCE
Livio Ricciulli, Phillip A. Porras, Patrick Lincoln, Pankaj Kakkar, Steven Dawson
2002 J jnl
Maude: specification and programming in rewriting logic.
Theor. Comput. Sci.
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2002 J jnl
Maximizing Sharing of Protected Information.
J. Comput. Syst. Sci.
Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
2002 B conf
NEVRLATE: Scalable Resource Discovery.
CCGRID
Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert
2002 — conf
Negotiated Privacy: (Extended Abstract).
ISSS
Stanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov
2002 — conf
Pathway Logic: Executable Models of Biological Networks.
WRLA
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
2002 Misc conf
Pathway Logic: Symbolic Analysis of Biological Signaling.
Pacific Symposium on Biocomputing
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez
2001 J jnl
Depender Graphs: A Method of Fault-Tolerant Certificate Distribution.
J. Comput. Secur.
Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
2001 J jnl
Global Infrastructure Protection System.
J. Comput. Secur.
Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati
2000 A* conf
Architectural Support for Copy and Tamper Resistant Software.
ASPLOS
David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz
2000 Misc conf
Classifying Information for External Release.
SEC
Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
2000 A* conf
Efficient fault-tolerant certificate revocation.
CCS
Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
2000 — conf
Principles of Mobile Maude.
ASA/MA
Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer
2000 — conf
Relating Strands and Multiset Rewriting for Security Protocol Analysis.
CSFW
Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov
2000 — conf
Towards Maude 2.0.
WRLA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2000 B conf
Using Maude.
FASE
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1999 — conf
A Meta-Notation for Protocol Analysis.
CSFW
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
1999 A* conf
Minimal Data Upgrading to Prevent Inference and Association.
PODS
Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
1999 J jnl
Optimization Complexity of Linear Logic Proof Games.
Theor. Comput. Sci.
Patrick Lincoln, John C. Mitchell, Andre Scedrov
1999 A* conf
PGRIP: PNNI Global Routing Infrastructure Protection.
NDSS
Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati
1999 — conf
Probabilistic Polynomial-Time Equivalence and Security Analysis.
World Congress on Formal Methods
Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
1999 — conf
The Maude System.
RTA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998 A* conf
A Probabilistic Poly-Time Framework for Protocol Analysis.
CCS
Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
1998 — conf
Maude as a metalanguage.
WRLA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998 — conf
Metalevel computation in Maude.
WRLA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
1997 J jnl
Formally Verified On-Line Diagnosis.
IEEE Trans. Software Eng.
Chris J. Walter, Patrick Lincoln, Neeraj Suri
1997 — conf
Low-Overhead Time-Triggered Group Membership.
WDAG
Shmuel Katz, Patrick Lincoln, John M. Rushby
1996 — conf
Distributed Simulation of Parallel Executions.
Annual Simulation Symposium
Livio Ricciulli, Patrick Lincoln, José Meseguer
1996 J jnl
Linear logic proof games and optimization.
Bull. Symb. Log.
Patrick Lincoln, John C. Mitchell, Andre Scedrov
1996 A conf
On Shostak's Decision Procedure for Combinations of Theories.
CADE
David Cyrluk, Patrick Lincoln, Natarajan Shankar
1996 — conf
Principles of Maude.
WRLA
Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
1996 — conf
The Complexity of Local Proof Search in Linear Logic.
Linear Logic Tokyo Meeting
Patrick Lincoln, John C. Mitchell, Andre Scedrov
1995 A* conf
Decision Problems for Second-Order Linear Logic
LICS
Patrick Lincoln, Andre Scedrov, Natarajan Shankar
1994 — conf
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines.
PARLE
Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli
1994 J jnl
Constant-Only Multiplicative Linear Logic is NP-Complete.
Theor. Comput. Sci.
Patrick Lincoln, Timothy C. Winkler
1994 J jnl
First-Order Linear Logic without Modalities is NEXPTIME-Hard.
Theor. Comput. Sci.
Patrick Lincoln, Andre Scedrov
1994 A* conf
Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi
LICS
Patrick Lincoln, Natarajan Shankar
1994 — conf
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.
Specification of Parallel Algorithms
Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
1994 — conf
The Rewrite Rule Machine Node Architecture and Its Performance.
CONPAR
Patrick Lincoln, José Meseguer, Livio Ricciulli
1993 — conf
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model.
FTCS
Patrick Lincoln, John M. Rushby
1993 J jnl
Linearizing Intuitionistic Implication.
Ann. Pure Appl. Log.
Patrick Lincoln, Andre Scedrov, Natarajan Shankar
1993 A* conf
The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model.
CAV
Patrick Lincoln, John M. Rushby
1992 A* conf
Algorithmic Aspects of Type Inference with Subtypes.
POPL
Patrick Lincoln, John C. Mitchell
1992 — —
Computational aspects of linear logic.
Patrick Lincoln
1992 J jnl
Decision Problems for Propositional Linear Logic.
Ann. Pure Appl. Log.
Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
1992 J jnl
Linear logic.
SIGACT News
Patrick Lincoln
1992 A* conf
Operational aspects of linear lambda calculus
LICS
Patrick Lincoln, John C. Mitchell
1991 A* conf
Linearizing Intuitionistic Implication
LICS
Patrick Lincoln, Andre Scedrov, Natarajan Shankar
1990 A* conf
Decision Problems for Propositional Linear Logic
FOCS
Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
1989 J jnl
Adventures in Associative-Commutative Unification.
J. Symb. Comput.
Patrick Lincoln, Jim Christian
1989 J jnl
Efficient Implementation of Lattice Operations.
ACM Trans. Program. Lang. Syst.
Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
1988 A conf
Adventures in Associative-Commutative Unification (A Summary).
CADE
Patrick Lincoln, Jim Christian
1987 — conf
Le Fun: Logic, Equations and Functions.
SLP
Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr