Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(70)
Natarajan Shankar
33
Sam Owre
29
Friedrich W. Von Henke
9
Leonardo Mendonca de Moura (Leonardo Mendonça De Moura)
9
Judith Crow
6
Conferences
(38)
CAV
6
SEFM
5
FM
4
FTCS
4
TPHOLs
3
Journals
(10)
TSE
5
ACM Sigsoft Software Engineering Notes
3
COMPUTER
2
RELIAB ENG SYST SAFETY
2
STTT
1
Keywords
(221)
Embed
Subscribe
Academic
Authors
John Rushby
Edit
John Rushby
SRI International
Publications: 171
|
Citations: 4908
|
G-Index: 66
|
H-Index: 33
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Distributed & Parallel Computing
View FAQ about top research area and research interests
Collaborated with
70 co-authors
from 1981 to 2011
; Cited by
3928 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(171)
BibTeX
|
RIS
|
RefWorks
Download
New challenges in certification for aircraft software
John Rushby
Published in 2011.
Software Verification and System Assurance
(
Citations: 3
)
John M. Rushby
Conference:
Conference on Software Engineering and Formal Methods - SEFM
, pp. 3-10, 2009
The MILS component integration approach to secure information sharing
(
Citations: 10
)
Carolyn Boettcher
,
Rance DeLong
,
W. Sifre
Conference:
Document Analysis Systems - DAS
, 2008
Runtime Certification
(
Citations: 8
)
John Rushby
Conference:
Runtime Verification - RV
, pp. 21-35, 2008
Just-in-Time Certification
(
Citations: 6
)
John M. Rushby
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, pp. 15-24, 2007
Order by:
Citations
(4908 times by 3609 publications)
From control law diagrams to Ada via Circus
(
Citations: 4
)
Ana Cavalcanti
,
Phil Clayton
,
Colin O’Halloran
Conference:
World Congress on Formal Methods - FM
, vol. 23, no. 4, pp. 465-512, 2011
Quantitative Comparison of the Error-Containment Capabilities of a Bus and a Star Topology in CAN Networks
(
Citations: 3
)
Manuel Barranco
,
Julián Proenza
,
Luís Almeida
Journal:
IEEE Transactions on Industrial Electronics - IEEE TRANS IND ELECTRON
, vol. 58, no. 3, pp. 802-813, 2011
On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks
(
Citations: 3
)
Freek Verbeek
,
Julien Schmaltz
Journal:
IEEE Transactions on Parallel and Distributed Systems - TPDS
, vol. 22, no. 12, pp. 2022-2032, 2011
Refinement types for secure implementations
(
Citations: 3
)
Jesper Bengtson
,
Karthikeyan Bhargavan
,
Cédric Fournet
,
Andrew D. Gordon
,
Sergio Maffeis
Journal:
IEEE Computer Society
, vol. 33, no. 2, pp. 1-45, 2011
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems
(
Citations: 2
)
Marco Serafini
,
Péter Bokor
,
Neeraj Suri
,
Jonny Vinter
,
Astrit Ademaj
,
Wolfgang Brandstätter
,
Fulvio Tagliabo
,
Jens Koch
Journal:
IEEE Transactions on Dependable and Secure Computing - TDSC
, vol. 8, no. 2, pp. 177-193, 2011
Comments