John M. Rushby

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 Natarajan Shankar

> Home > Persons > John M. Rushby

Publications

2004
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/MouraORRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MouraORRS04
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar:
The ICS Decision Procedures for Embedded Deduction. IJCAR 2004: 218-222
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/MouraORRSST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MouraORRSST04
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari:
SAL 2. CAV 2004: 496-500
2003
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/TiwariSR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/TiwariSR03
Ashish Tiwari, Natarajan Shankar, John M. Rushby:
Invisible formal methods for embedded control systems. Proc. IEEE 91(1): 29-39 (2003)
1999
[c31]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wss/KulkarniRS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wss/KulkarniRS99
Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar:
A case-study in component-based mechanical verification of fault-tolerant programs. WSS 1999: 33-40
1998
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/RushbyOS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/RushbyOS98
John M. Rushby, Sam Owre, Natarajan Shankar:
Subtypes for Specifications: Predicate Subtyping in PVS. IEEE Trans. Software Eng. 24(9): 709-720 (1998)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/OwreRSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/OwreRSS98
Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert:
PVS: An Experience Report. FM-Trends 1998: 338-345
1997
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/OwreRS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/OwreRS97
Sam Owre, John M. Rushby, Natarajan Shankar:
Integration in PVS: Tables, Types, and Model Checking. TACAS 1997: 366-383
1996
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/OwreRRSS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/OwreRRSS96
Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas:
PVS: Combining Specification, Proof Checking, and Model Checking. CAV 1996: 411-414
1995
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/OwreRSH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/OwreRSH95
Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke:
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans. Software Eng. 21(2): 107-125 (1995)
1994
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tpcd/OwreRSS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tpcd/OwreRSS94
Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas:
A Tutorial on Using PVS for Hardware Verification. TPCD 1994: 258-279
1993
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/OwreRSH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/OwreRSH93
Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke:
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME 1993: 482-500
1992
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/OwreRS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/OwreRS92
Sam Owre, John M. Rushby, Natarajan Shankar:
PVS: A Prototype Verification System. CADE 1992: 748-752
1991
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/compcon/JoyceLRSSH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compcon/JoyceLRSSH91
Jeffrey Joyce, Erwin Liu, John M. Rushby, Natarajan Shankar, Roberto Suaya, Friedrich W. von Henke:
From formal verification to silicon compilation. Compcon 1991: 450-455

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.