John Rushby
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Mechanized formal methods: progress and prospects | 2024-07-05 | Paper |
| A mechanically assisted examination of begging the question in Anselm's ontological argument | 2022-09-28 | Paper |
| A formally verified algorithm for clock synchronization under a hybrid fault model Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
| Fundamental Approaches to Software Engineering Lecture Notes in Computer Science | 2007-11-28 | Paper |
| Automated Reasoning Lecture Notes in Computer Science | 2007-09-25 | Paper |
| Computer Aided Verification Lecture Notes in Computer Science | 2005-08-25 | Paper |
| Bus architectures for safety-critical embedded systems Lecture Notes in Computer Science | 2004-08-04 | Paper |
| Modeling the human in human factors | 2004-01-27 | Paper |
| Theorem proving for verification Lecture Notes in Computer Science | 2002-06-09 | Paper |
| Verification diagrams revisited: Disjunctive invariants for easy verification Lecture Notes in Computer Science | 2001-11-11 | Paper |
Research outcomes over time
This page was built for person: John Rushby
