Evolving Use of a System for Education at a Distance. - Stephen A. White; Anoop Gupta; Jonathan Grudin; Harry R. Chesley; Greg Kimberly; Elizabeth Sanocki (HICSS, 2000)

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 (CAV (1), 2015)

Safe Decomposition of Startup Requirements: Verification and Synthesis. - Alessandro Cimatti; Luca Geatti; Alberto Griggio; Greg Kimberly; Stefano Tonetta (TACAS (1), 2020)

Efficient SMT-Based Analysis of Failure Propagation. - Marco Bozzano; Alessandro Cimatti; Anthony Fernandes Pires; Alberto Griggio; Martin Jonás; Greg Kimberly (CAV (2), 2021)

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 004; Shengzhong Liu; Matthew Caesar 001; Deepti Kalasapura; Joydeep Bhattacharyya; Nassy Srour; Jae Kim; Guijun Wang; et al. (ICCCN, 2022)

Analysis of Cyclic Fault Propagation via ASP. - Marco Bozzano; Alessandro Cimatti; Alberto Griggio; Martin Jonás; Greg Kimberly (LPNMR, 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 (MILCOM, 2022)

TwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications. - Deepti Kalasapura; Jinyang Li 004; Shengzhong Liu; Yizhuo Chen; Ruijie Wang 004; Tarek F. Abdelzaher; Matthew Caesar 001; Joydeep Bhattacharyya; Jae Kim; Guijun Wang; Greg Kimberly; Josh D. Eckhardt; et al. (ICCCN, 2023)

Towards Effective Swarm-Based GPS Spoofing Detection in Disadvantaged Platforms. - Enguang Fan; Anfeng Peng; Matthew Caesar 001; Jae Kim; Josh D. Eckhardt; Greg Kimberly; Denis Osipychev (MILCOM, 2023)

Acies-OS: A Content-Centric Platform for Edge AI Twinning and Orchestration. - Jinyang Li 004; Yizhuo Chen; Tomoyoshi Kimura; Tianshi Wang; Ruijie Wang 004; Denizhan Kara; Yigong Hu; Li Wu; Walid A. Hanafy; Abel Souza; Prashant J. Shenoy; Maggie B. Wigness; et al. (ICCCN, 2024)

Obstacle-Aware UAV Swarm Deployment for User Coverage Using Deep Reinforcement Learning. - Shilan He; Kyo Hyun Kim; Matthew Caesar 001; Jae Kim; Josh D. Eckhardt; Greg Kimberly (MILCOM, 2024)

Towards the Formal Verification of SysML v2 Models. - Vince Molnár; Bence Graics; András Vörös 001; Stefano Tonetta; Luca Cristoforetti; Greg Kimberly; Pamela Dyer; Kristin Giammarco; Manfred Köthe; John Hester; Jamie Smith; Christoph Grimm 001 (MoDELS (Companion), 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)