Patrick Lincoln

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with John M. Rushby

> Home > Persons > Patrick Lincoln

Publications

2014
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/hicons/TiwariDJCLRSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicons/TiwariDJCLRSS14
Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia:
Safety envelope for security. HiCoNS 2014: 85-94
2011
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/StehrTRLKCP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/StehrTRLKCP11
Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio:
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 110-143
1997
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/KatzLR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/KatzLR97
Shmuel Katz, Patrick Lincoln, John M. Rushby:
Low-Overhead Time-Triggered Group Membership. WDAG 1997: 155-169
1993
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LincolnR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LincolnR93
Patrick Lincoln, John M. Rushby:
The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. CAV 1993: 292-304
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/LincolnR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/LincolnR93
Patrick Lincoln, John M. Rushby:
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model. FTCS 1993: 402-411

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.