Greg Kimberly

14 papers B 4Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2024 B conf
Acies-OS: A Content-Centric Platform for Edge AI Twinning and Orchestration.
ICCCN
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
2024 — conf
Obstacle-Aware UAV Swarm Deployment for User Coverage Using Deep Reinforcement Learning.
MILCOM
Shilan He, Kyo Hyun Kim, Matthew Caesar, Jae Kim, Josh D. Eckhardt, Greg Kimberly
2024 J jnl
Requiem for a drone: a machine-learning based framework for stealthy attacks against unmanned autonomous vehicles.
CoRR
Kyo Hyun Kim, Denizhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Jae Kim, Josh D. Eckhardt
2024 — conf
Towards the Formal Verification of SysML v2 Models.
MoDELS (Companion)
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
2023 — conf
Towards Effective Swarm-Based GPS Spoofing Detection in Disadvantaged Platforms.
MILCOM
Enguang Fan, Anfeng Peng, Matthew Caesar, Jae Kim, Josh D. Eckhardt, Greg Kimberly, Denis Osipychev
2023 B conf
TwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications.
ICCCN
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
2022 B conf
Analysis of Cyclic Fault Propagation via ASP.
LPNMR
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly
2022 — conf
Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs.
MILCOM
Kyo Hyun Kim, Denizkhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Denis Osipychev, Jae H. Kim, Josh D. Eckhardt, Miroslav Pajic
2022 B conf
IoBT-OS: Optimizing the Sensing-to-Decision Loop for the Internet of Battlefield Things.
ICCCN
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
2021 — conf
Efficient SMT-Based Analysis of Failure Propagation.
CAV (2)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly
2020 — conf
Safe Decomposition of Startup Requirements: Verification and Synthesis.
TACAS (1)
Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
2015 — conf
Formal Design and Safety Analysis of AIR6110 Wheel Brake System.
CAV (1)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta
2000 — conf
Evolving Use of a System for Education at a Distance.
HICSS
Stephen A. White, Anoop Gupta, Jonathan Grudin, Harry R. Chesley, Greg Kimberly, Elizabeth Sanocki
1999 — conf
Evolving use of a system for education at a distance.
CHI Extended Abstracts
Stephen A. White, Anoop Gupta, Jonathan Grudin, Harry R. Chesley, Greg Kimberly, Elizabeth Sanocki