ask others

John M. Rushby

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/thms/GelmanFR14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/thms/GelmanFR14
Gabriel Gelman, Karen M. Feigh, John M. Rushby:
Example of a Complementary Use of Model Checking and Human Performance Simulation. IEEE Trans. Human-Machine Systems 44(5): 576-590 (2014)
[c63]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/hicons/TiwariDJCLRSS14
- ask others
- share record
  short 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
2013
[c62]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/GelmanFR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/GelmanFR13
Gabriel Gelman, Karen M. Feigh, John M. Rushby:
Example of a Complementary Use of Model Checking and Agent-Based Simulation. SMC 2013: 900-905
2012
[c61]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/Rushby12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/Rushby12
John M. Rushby:
The Versatile Synchronous Observer. SBMF 2012: 1
2011
[j12]
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/BassFGR11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/BassFGR11
Ellen J. Bass, Karen M. Feigh, Elsa L. Gunter, John M. Rushby:
Formal Modeling and Analysis for Interactive Hybrid Systems. ECEASST 45 (2011)
[c60]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Rushby11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Rushby11
John M. Rushby:
From DSS to MILS - (Extended Abstract). Dependable and Historic Computing 2011: 53-57
[c59]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/StehrTRLKCP11
- ask others
- share record
  short 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
[c58]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/emsoft/Rushby11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/Rushby11
John M. Rushby:
New challenges in certification for aircraft software. EMSOFT 2011: 211-218
[c57]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/BassBFGGMR11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smc/BassBFGGMR11
Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby:
Toward a multi-method approach to formalizing human-automation interaction and human-human communications. SMC 2011: 1817-1824
2010
[c56]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/scss/Rushby10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/scss/Rushby10
John M. Rushby:
Formalism in Safety Cases. SSS 2010: 3-17

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c55]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sefm/Rushby09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/Rushby09
John M. Rushby:
Software Verification and System Assurance. SEFM 2009: 3-10
2008
[c54]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/Rushby08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/Rushby08
John M. Rushby:
Runtime Certification. RV 2008: 21-35
2007
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jucs/Rushby07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jucs/Rushby07
John M. Rushby:
Automated Formal Methods Enter the Mainstream. J. UCS 13(5): 650-660 (2007)
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/HamonR07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/HamonR07
Grégoire Hamon, John M. Rushby:
An operational semantics for Stateflow. STTT 9(5-6): 447-456 (2007)
[c53]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/acsac/RandellR07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acsac/RandellR07
Brian Randell, John M. Rushby:
Distributed Secure Systems: Then and Now. ACSAC 2007: 177-199
[c52]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iceccs/Rushby07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iceccs/Rushby07
John M. Rushby:
Just-in-Time Certification. ICECCS 2007: 15-24
[c51]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iceccs/Rushby07a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iceccs/Rushby07a
John M. Rushby:
What Use is Verified Software? ICECCS 2007: 270-276
2006
[c50]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hybrid/Rushby06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/Rushby06
John M. Rushby:
Hybrid Systems - And Everything Else. HSCC 2006: 3
[c49]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sefm/Rushby06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/Rushby06
John M. Rushby:
Harnessing Disruptive Innovation in Formal Verification. SEFM 2006: 21-30
[c48]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sefm/Rushby06a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/Rushby06a
John M. Rushby:
Tutorial: Automated Formal Methods with PVS, SAL, and Yices. SEFM 2006: 262
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tphol/JacobsR06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tphol/JacobsR06
Bart Jacobs, John M. Rushby:
PVS. The Seventeen Provers of the World 2006: 24-27
2005
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/Rushby05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/Rushby05
John M. Rushby:
An Evidential Tool Bus. ICFEM 2005: 36-36
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vstte/Rushby05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vstte/Rushby05
John M. Rushby:
Automated Test Generation and Verified Software. VSTTE 2005: 161-172
2004
[c45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/MouraORRS04
- ask others
- share record
  short 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
[c44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/MouraORRSST04
- ask others
- share record
  short 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
[c43]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/dsn/SteinerRSP04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dsn/SteinerRSP04
Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer:
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. DSN 2004: 189-198
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/HamonR04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/HamonR04
Grégoire Hamon, John M. Rushby:
An Operational Semantics for Stateflow. FASE 2004: 229-243
[c41]
- view
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sefm/HamonMR04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/HamonMR04
Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby:
Generating Efficient Test Sets with a Model Checker. SEFM 2004: 261-270
2003
[j9]
- no documents available
- export record
  dblp key:
  - journals/pieee/TiwariSR03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pieee/TiwariSR03
Ashish Tiwari, Natarajan Shankar, John M. Rushby:
Invisible formal methods for embedded control systems. Proceedings of the IEEE 91(1): 29-39 (2003)
2002
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ftrtft/Rushby02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftrtft/Rushby02
John M. Rushby:
An Overview of Formal Verification for the Time-Triggered Architecture. FTRTFT 2002: 83-106
[c39]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icdcs/SchmidWR02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icdcs/SchmidWR02
Ulrich Schmid, Bettina Weiss, John M. Rushby:
Formally Verified Byzantine Agreement in Presence of Link Faults. ICDCS 2002: 608-616
2001
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Rushby01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Rushby01
John M. Rushby:
Analyzing Cockpit Interfaces Using Formal Methods. Electr. Notes Theor. Comput. Sci. 43: 1-14 (2001)
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/emsoft/Rushby01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/Rushby01
John M. Rushby:
Bus Architectures for Safety-Critical Embedded Systems. EMSOFT 2001: 306-323
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/safecomp/Rushby01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/safecomp/Rushby01
John M. Rushby:
Modeling the Human in Human Factors. SAFECOMP 2001: 86-91
2000
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/Rushby00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/Rushby00
John M. Rushby:
Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification. CAV 2000: 508-520
[c35]
- no documents available
- export record
  dblp key:
  - conf/forte/Rushby00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Rushby00
John M. Rushby:
From Refutation to Verification. FORTE 2000: 369-374
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/movep/Rushby00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/movep/Rushby00
John M. Rushby:
Theorem Proving for Verification. MOVEP 2000: 39-57

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j7]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/Rushby99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/Rushby99
John M. Rushby:
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. IEEE Trans. Software Eng. 25(5): 651-660 (1999)
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Rushby99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Rushby99
John M. Rushby:
Mechanized Formal Methods: Where Next? World Congress on Formal Methods 1999: 48-51
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/MunozR99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/MunozR99
César A. Muñoz, John M. Rushby:
Structural Embeddings: Mechanization with Method. World Congress on Formal Methods 1999: 452-471
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/Rushby99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/Rushby99
John M. Rushby:
Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving. SPIN 1999: 1-11
[c30]
- no documents available
- export record
  dblp key:
  - conf/wss/KulkarniRS99
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/RushbyOS98
- ask others
- share record
  short 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)
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/OwreRSS98
- ask others
- share record
  short 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
[c28]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icfem/Rushby98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/Rushby98
John M. Rushby:
Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification. ICFEM 1998: 176-179
1997
[c27]
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/esec/Rushby98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Rushby98
John M. Rushby:
Subtypes for Specifications. ESEC / SIGSOFT FSE 1997: 4-19
[c26]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icfem/CyrlukRS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/CyrlukRS97
David Cyrluk, John M. Rushby, Mandayam K. Srivas:
Systematic Formal Verification of Interpreters. ICFEM 1997: 140-150
[c25]
- view
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/re/Rushby97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/re/Rushby97
John M. Rushby:
Calculating with Requirements. RE 1997: 144-
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/OwreRS97
- ask others
- share record
  short 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
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wdag/KatzLR97
- ask others
- share record
  short 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
1996
[j5]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/computer/BowenBDGGHHHJJLPRWZ96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/computer/BowenBDGGHHHJJLPRWZ96
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave:
An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)
[j4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/csur/Rushby96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/csur/Rushby96
John M. Rushby:
Enhancing the Utility of Formal Methods. ACM Comput. Surv. 28(4es): 123 (1996)
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/Rushby96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/Rushby96
John M. Rushby:
Automated Deduction and Formal Methods. CAV 1996: 169-183
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/OwreRRSS96
- ask others
- share record
  short 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
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Rushby96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Rushby96
John M. Rushby:
Mechanized Formal Methods: Progress and Prospects. FSTTCS 1996: 43-51
[c19]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ftcs/Rushby96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftcs/Rushby96
John M. Rushby:
Reconfiguration and Transient Recovery in State Machine Architectures. FTCS 1996: 6-15
1995
[j3]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/OwreRSH95
- ask others
- share record
  short 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)
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/zum/Rushby95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/zum/Rushby95
John M. Rushby:
Mechanizing Formal Methods: Opportunities and Challenges. ZUM 1995: 105-113
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/zum/HallPPRS95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/zum/HallPPRS95
Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett:
The Future of Formal Methods in Industry. ZUM 1995: 237-242
1994
[c16]
- view
  - electronic edition @ springer.com
- export record
  dblp key:
  - conf/ftrtft/RushbyS94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftrtft/RushbyS94
John M. Rushby, Jens Ulrik Skakkebæk:
The PVS Verification System and PC/DC. FTRTFT 1994: 777
[c15]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/podc/Rushby94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/podc/Rushby94
John M. Rushby:
A Formally Verifiable Algorithm for Clock Synchronization under a Hybrid Fault Model. PODC 1994: 304-313
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tpcd/OwreRSS94
- ask others
- share record
  short 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
[j2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/RushbyH93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/RushbyH93
John M. Rushby, Friedrich W. von Henke:
Formal Verification of Algorithms for Critical Systems. IEEE Trans. Software Eng. 19(1): 13-23 (1993)
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/LincolnR93
- ask others
- share record
  short 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
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/OwreRSH93
- ask others
- share record
  short 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
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ftcs/LincolnR93
- ask others
- share record
  short 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
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ftcs/LaprieLMR93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftcs/LaprieLMR93
Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby:
Limits in Dependability (Panel). FTCS 1993: 608-613
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tphol/RushbyS93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tphol/RushbyS93
John M. Rushby, Mandayam K. Srivas:
Using PVS to Prove Some Theorems Of David Parnas. HUG 1993: 163-173
1992
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/OwreRS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/OwreRS92
Sam Owre, John M. Rushby, Natarajan Shankar:
PVS: A Prototype Verification System. CADE 1992: 748-752
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ftrtft/Rushby92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftrtft/Rushby92
John M. Rushby:
Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems. FTRTFT 1992: 237-257
1991
[c6]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/CrowR91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/CrowR91
Judith Crow, John M. Rushby:
Model-Based Reconfiguration: Toward an Integration with Diagnosis. AAAI 1991: 836-841
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compcon/JoyceLRSSH91
- ask others
- share record
  short 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
[c4]
- no documents available
- export record
  dblp key:
  - conf/tphol/Rushby91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tphol/Rushby91
John M. Rushby:
Design Choices in Specification Languages and Verification Systems. TPHOLs 1991: 195-204

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1983
[j1]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/computer/RushbyR83
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/computer/RushbyR83
John M. Rushby, Brian Randell:
A Distributed Secure System. IEEE Computer 16(7): 55-67 (1983)
[c3]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sp/RushbyR83
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sp/RushbyR83
John M. Rushby, Brian Randell:
A Distributed Secure System. IEEE Symposium on Security and Privacy 1983: 127-135
1982
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/programm/Rushby82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/programm/Rushby82
John M. Rushby:
Proof of separability: A verification technique for a class of a security kernels. Symposium on Programming 1982: 352-367
1981
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sosp/Rushby81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sosp/Rushby81
John M. Rushby:
Design and Verification of Secure Systems. SOSP 1981: 12-21

Coauthor Index

see FAQ

maintained by

at