Additional Campus Affiliations
Research Professor, Siebel School of Computing and Data Science
Recent Publications
Mukherjee, D., Hachem, S., Bao, J., Madsen, C., Ma, T., Ghose, S., & Agha, G. (2025). CRAVE: Analyzing Cross-Resource Interaction to Improve Energy Efficiency in Systems-on-Chip. In EuroSys 2025 - Proceedings of the 2025 20th European Conference on Computer Systems (pp. 59-75). Association for Computing Machinery. http://doi.org/10.1145/3689031.3717498
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. http://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.. http://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. http://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. http://doi.org/10.1109/MAES.2023.3238378