Additional Campus Affiliations
Research Professor, Siebel School of Computing and Data 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
Kwon, Y. M., & Agha, G. (2023). Bounded Quantum Regular Language Generator. In H. Muller, Y. Alexev, A. Delgado, & G. Byrd (Eds.), Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023 (pp. 580-590). (Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023; Vol. 1). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/QCE57702.2023.00072
Paul, S., Agha, G., Patterson, S., & Varela, C. (2023). 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
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