Ryan W. Gardner

Publications

287

Citations

H-Index

2007

Active since

Affiliations

Johns Hopkins University Applied Physics Laboratory(Current)

Carnegie Mellon University

Johns Hopkins University

Stanford University

Ryan W. Gardner is an author at Johns Hopkins University Applied Physics Laboratory specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal VerificationVerificationSpace EngineeringComputer EngineeringFormal MethodsSoftware TestingData Security

Publications per year

2007–2020

Publications

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning

Ritchie Lee, Ole J. Mengshoel, Anshu Saksena et al. · Journal of Artificial Intelligence Research · 2020 · 51 citations · Full text

Detecting Code Alteration by Creating a Temporary Memory Bottleneck

Ryan W. Gardner, Sujata Garera, Aviel D. Rubin · IEEE Transactions on Information Forensics and Security · 2009 · 45 citations

Software Maintenance, Engineering, Information Security +25

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas et al. · International Journal on Software Tools for Technology Transfer · 2016 · 45 citations

Automatic Navigation, Engineering, Aircraft Navigation +8

Multi-stage replay with crosscut

Jim Chow, Dominic Lucchetti, Tal Garfinkel et al. · 2010 · 34 citations

Software Maintenance, Engineering, Software Engineering +24

Formal verification of ACAS X, an industrial airborne collision avoidance system

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas et al. · 2015 · 27 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Rows per page

1–5 of 10