Greg Kimberly
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1999–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICCCN | 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 |
| 2024 | MODELS | Towards the Formal Verification of SysML v2 Models. | Vince Molnr, Bence Graics, Andrs Vrs, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Kthe, John Hester, Jamie Smith, Christoph Grimm |
| 2023 | ICCCN | 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 |
| 2022 | ICCCN | 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 |
| 2022 | LPNMR | Analysis of Cyclic Fault Propagation via ASP. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons, Greg Kimberly |
| 2021 | CAV | Efficient SMT-Based Analysis of Failure Propagation. | Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jons, Greg Kimberly |
| 2020 | TACAS | Safe Decomposition of Startup Requirements: Verification and Synthesis. | Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta |
| 2015 | CAV | 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 |
| 1999 | CHI | Evolving use of a system for education at a distance. | Stephen A. White, Anoop Gupta, Jonathan Grudin, Harry R. Chesley, Greg Kimberly, Elizabeth Sanocki |