Gul Agha
University of Illinois at Urbana-Champaign
H-index: 64
North America-United States
Top articles of Gul Agha
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems | YoungMin Kwon Eunhee Kim Gul Agha | 2023/9/15 | |
STRUCTURAL HEALTH MONITORING | Jukka Manner Jaakko Hollmen | 2010 | |
Formal verification of safety-critical aerospace systems | IEEE Aerospace and Electronic Systems Magazine | Saswata Paul Elkin Cruz Airin Dutta Ankita Bhaumik Erik Blasch | 2023/1/25 |
Eventual consensus in Synod: verification using a failure-aware actor model | Innovations in systems and software engineering | Saswata Paul Gul Agha Stacy Patterson Carlos Varela | 2023/12 |
Bounded Quantum Regular Language Generator | YoungMin Kwon Gul Agha | 2023/9/17 | |
Jarvis: Large-scale server monitoring with adaptive near-data processing | Atul Sandur ChanHo Park Stavros Volos Gul Agha Myeongjae Jeon | 2022/5/9 | |
Streaming Analytics with Adaptive Near-data Processing | Atul Sandur ChanHo Park Stavros Volos Gul Agha Myeongjae Jeon | 2022/4/25 | |
A scalable algorithm for decentralized actor termination detection | Logical Methods in Computer Science | Dan Plyukhin Gul Agha | 2022/3/11 |
Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing | Gul Agha Dipayan Mukherjee Atul Sandur | 2022/12/6 | |
Runtime Systems for Energy Efficiency in Advanced Computing Systems | Curtis Madsen Tian J Ma Dipayan Mukherjee Gul Agha | 2022/9/21 | |
Verification of eventual consensus in synod using a failure-aware actor model | Saswata Paul Gul A Agha Stacy Patterson Carlos A Varela | 2021/5/19 | |
Thin Middleware for Ubiquitous Computing | Koushik Sen Gul Agha | 2020/9/23 | |
Scalable Termination Detection for Distributed Actor Systems | Dan Plyukhin Gul Agha | 2020 |