Additional Campus Affiliations
Research Professor, Computer Science
Recent Publications
Kwon, Y. M., Kim, E., & Agha, G. (2023). A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. In N. Jansen, & M. Tribastone (Eds.), Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Proceedings (pp. 65-81). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14287 LNCS). Springer. https://doi.org/10.1007/978-3-031-43835-6_5
Paul, S., Cruz, E., Dutta, A., Bhaumik, A., Blasch, E., Agha, G., Patterson, S., Kopsaftopoulos, F., & Varela, C. (2023). Formal Verification of Safety-Critical Aerospace Systems. IEEE Aerospace and Electronic Systems Magazine, 38(5), 72-88. https://doi.org/10.1109/MAES.2023.3238378
Agha, G., Mukherjee, D., & Sandur, A. (2022). Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing. In Proceedings - 2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing, UCC 2022 (pp. 173-180). (Proceedings - 2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing, UCC 2022). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/UCC56403.2022.00031
Paul, S., Agha, G., Patterson, S., & Varela, C. (Accepted/In press). Eventual consensus in Synod: verification using a failure-aware actor model. Innovations in Systems and Software Engineering, 19(4), 395-410. https://doi.org/10.1007/s11334-022-00463-5
Plyukhin, D., & Agha, G. (2022). A SCALABLE ALGORITHM FOR DECENTRALIZED ACTOR TERMINATION DETECTION. Logical Methods in Computer Science, 18(1), 39:1-39:35. https://doi.org/10.46298/LMCS-18(1:39)2022