A formally verified hybrid system for the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ... Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 95 | 2015 |
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ... International Journal on Software Tools for Technology Transfer 19, 717-741, 2017 | 63 | 2017 |
Adaptive stress testing: Finding likely failure events with reinforcement learning R Lee, OJ Mengshoel, A Saksena, RW Gardner, D Genin, J Silbermann, ... Journal of Artificial Intelligence Research 69, 1165-1201, 2020 | 62 | 2020 |
Multi-stage replay with crosscut J Chow, D Lucchetti, T Garfinkel, G Lefebvre, R Gardner, J Mason, ... Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on …, 2010 | 56 | 2010 |
Detecting code alteration by creating a temporary memory bottleneck RW Gardner, S Garera, AD Rubin IEEE Transactions on Information Forensics and Security 4 (4), 638-650, 2009 | 53 | 2009 |
Formal verification of ACAS X, an industrial airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ... 2015 International Conference on Embedded Software (EMSOFT), 127-136, 2015 | 48 | 2015 |
Apparatus and method for identifying related code variants in binaries MF Lospinuso, DM Patrone, DP Silberberg, JD Cohen, RW Gardner, ... US Patent 9,003,529, 2015 | 41 | 2015 |
Coercion resistant end-to-end voting RW Gardner, S Garera, AD Rubin International Conference on Financial Cryptography and Data Security, 344-361, 2009 | 40 | 2009 |
Securing medical records on smart phones RW Gardner, S Garera, MW Pagano, M Green, AD Rubin Proceedings of the first ACM workshop on Security and privacy in medical and …, 2009 | 34 | 2009 |
On the Difficulty of Validating Voting Machine Software with Software. RW Gardner, S Garera, AD Rubin EVT 7, 11-11, 2007 | 32 | 2007 |
Differential adaptive stress testing of airborne collision avoidance systems R Lee, O Mengshoel, A Saksena, R Gardner, D Genin, J Brush, ... 2018 AIAA Modeling and Simulation Technologies Conference, 1923, 2018 | 23 | 2018 |
Software review and security analysis of the Diebold voting machine software R Gardner, A Yasinsac, M Bishop, T Kohno, Z Hartley, J Kerski, D Gainey, ... Security and Assurance in Information Technology (SAIT) Laboratory, Florida …, 2007 | 20 | 2007 |
Probabilistic model checking of the next-generation airborne collision avoidance system RW Gardner, D Genin, R McDowell, C Rouff, A Saksena, A Schmidt 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-10, 2016 | 19 | 2016 |
The First International Competition in Machine Reconnaissance Blind Chess RW Gardner, C Lowman, C Richardson, AJ Llorens, J Markowitz, ... NeurIPS 2019 Competition and Demonstration Track, 121-130, 2020 | 12 | 2020 |
On the complexity of reconnaissance blind chess J Markowitz, RW Gardner, AJ Llorens arXiv preprint arXiv:1811.03119, 2018 | 11 | 2018 |
Adaptive stress testing: Finding failure events with reinforcement learning R Lee, OJ Mengshoel, A Saksena, R Gardner, D Genin, J Silbermann, ... arXiv preprint arXiv:1811.02188, 2018 | 10 | 2018 |
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. STTT 19 (6), 717–741 (2017) J Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ... | 9 | |
Method and apparatus for automated vulnerability detection YA Kouskoulas, DC Schmidt, CD McDonell III, LJ Glendenning, ... US Patent 9,507,945, 2016 | 8 | 2016 |
Are patched machines really fixed? RW Gardner, M Bishop, T Kohno IEEE Security & Privacy 7 (5), 82-85, 2009 | 7 | 2009 |
The Second NeurIPS Tournament of Reconnaissance Blind Chess G Perrotta, RW Gardner, C Lowman, M Taufeeque, N Tongia, ... NeurIPS 2021 Competitions and Demonstrations Track, 53-65, 2022 | 6 | 2022 |