Greg Kimberly

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 8

Top Topics

Interprocess Communication

Safety Analysis

Top Venues

Publications

Kyo Hyun Kim, Denizhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Jae Kim, Josh D. Eckhardt
Requiem for a drone: a machine-learning based framework for stealthy attacks against unmanned autonomous vehicles. CoRR (2024)
Deepti Kalasapura, Jinyang Li, Shengzhong Liu, Yizhuo Chen, Ruijie Wang, Tarek F. Abdelzaher, Matthew Caesar, Joydeep Bhattacharyya, Jae Kim, Guijun Wang, Greg Kimberly, Josh D. Eckhardt, Denis Osipychev
TwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications. ICCCN (2023)
Enguang Fan, Anfeng Peng, Matthew Caesar, Jae Kim, Josh D. Eckhardt, Greg Kimberly, Denis Osipychev
Towards Effective Swarm-Based GPS Spoofing Detection in Disadvantaged Platforms. MILCOM (2023)
Kyo Hyun Kim, Denizkhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Denis Osipychev, Jae H. Kim, Josh D. Eckhardt, Miroslav Pajic
Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs. MILCOM (2022)
Dongxin Liu, Tarek F. Abdelzaher, Tianshi Wang, Yigong Hu, Jinyang Li, Shengzhong Liu, Matthew Caesar, Deepti Kalasapura, Joydeep Bhattacharyya, Nassy Srour, Jae Kim, Guijun Wang, Greg Kimberly, Shouchao Yao
IoBT-OS: Optimizing the Sensing-to-Decision Loop for the Internet of Battlefield Things. ICCCN (2022)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly
Analysis of Cyclic Fault Propagation via ASP. LPNMR (2022)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly
Efficient SMT-Based Analysis of Failure Propagation. CAV (2) (2021)
Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) (2020)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta
Formal Design and Safety Analysis of AIR6110 Wheel Brake System. CAV (1) (2015)
Stephen A. White, Anoop Gupta, Jonathan Grudin, Harry Chesley, Greg Kimberly, Elizabeth Sanocki
Evolving Use of a System for Education at a Distance. HICSS (2000)
Stephen A. White, Anoop Gupta, Jonathan Grudin, Harry Chesley, Greg Kimberly, Elizabeth Sanocki
Evolving use of a system for education at a distance. CHI Extended Abstracts (1999)