Greg Kimberly

According to our database, Greg Kimberly authored at least 9 papers between 1999 and 2023.

Collaborative distances:

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

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

1999

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 CHI '99 Extended Abstracts on Human Factors in Computing Systems, 1999