Greg Kimberly

According to our database, Greg Kimberly authored at least 13 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Requiem for a drone: a machine-learning based framework for stealthy attacks against unmanned autonomous vehicles.

Kyo Hyun Kim, Denizhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Jae Kim, Josh D. Eckhardt

CoRR, 2024

Towards the Formal Verification of SysML v2 Models.

Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Obstacle-Aware UAV Swarm Deployment for User Coverage Using Deep Reinforcement Learning.

Shilan He, Kyo Hyun Kim, Matthew Caesar, Jae Kim, Josh D. Eckhardt, Greg Kimberly

Proceedings of the IEEE Military Communications Conference, 2024

Acies-OS: A Content-Centric Platform for Edge AI Twinning and Orchestration.

Jinyang Li, Yizhuo Chen, Tomoyoshi Kimura, Tianshi Wang, Ruijie Wang, Denizhan Kara, Yigong Hu, Li Wu, Walid A. Hanafy, Abel Souza, Prashant J. Shenoy, Maggie B. Wigness, Joydeep Bhattacharyya, Jae Kim, Guijun Wang, Greg Kimberly, Josh D. Eckhardt, Denis Osipychev, Tarek F. Abdelzaher

Proceedings of the 33rd International Conference on Computer Communications and Networks, 2024

2023

Towards Effective Swarm-Based GPS Spoofing Detection in Disadvantaged Platforms.

Enguang Fan, Anfeng Peng, Matthew Caesar, Jae Kim, Josh D. Eckhardt, Greg Kimberly, Denis Osipychev

Proceedings of the IEEE Military Communications Conference, 2023

TwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications.

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

Proceedings of the 32nd International Conference on Computer Communications and Networks, 2023

2022

Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs.

Kyo Hyun Kim, Denizkhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Denis Osipychev, Jae H. Kim, Josh D. Eckhardt, Miroslav Pajic

Proceedings of the IEEE Military Communications Conference, 2022

Analysis of Cyclic Fault Propagation via ASP.

Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

IoBT-OS: Optimizing the Sensing-to-Decision Loop for the Internet of Battlefield Things.

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

Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

2021

Efficient SMT-Based Analysis of Failure Propagation.

Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Safe Decomposition of Startup Requirements: Verification and Synthesis.

Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2015

Formal Design and Safety Analysis of AIR6110 Wheel Brake System.

Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2000

Evolving Use of a System for Education at a Distance.

Stephen A. White, Anoop Gupta, Jonathan Grudin, Harry Chesley, Greg Kimberly, Elizabeth Sanocki

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000