Selected Publications

Amin Falah, Shibashis Guha, Ashutosh Trivedi
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2025, Montreal, Canada, August 16-22, 2025 (2025)
馃弳 DARPA Disruptive Idea Award
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
NeuS (2025)
Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich, Saeid Tizpaz-Niari
ICSE '25: Proceedings of the IEEE/ACM 47th International Conference on Software Engineering (2025)
Ranit Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
ASE 2025 (2025)
Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi
arXiv (2025)
Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi
Findings of the Association for Computational Linguistics, {ACL} 2025, Vienna, Austria, July 27 - August 1, 2025 (2025)
馃弳 CAV Distinguished Paper Award
Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
CAV (2024)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
HSCC 2024 (2024)
Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi
ICSE-SEIS 2023 (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
NeurIPS (2022)
Saeid Tizpaz-Niari, Ashish Kumar, Gang (Gary) Tan, Ashutosh Trivedi
ICSE 2022 (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
TACAS (2019)

All Publications

Amin Falah, Shibashis Guha, Ashutosh Trivedi
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2025, Montreal, Canada, August 16-22, 2025 (2025)
馃弳 DARPA Disruptive Idea Award
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
NeuS (2025)
Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich, Saeid Tizpaz-Niari
ICSE '25: Proceedings of the IEEE/ACM 47th International Conference on Software Engineering (2025)
Ranit Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
ASE 2025 (2025)
Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi
arXiv (2025)
Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi
Findings of the Association for Computational Linguistics, {ACL} 2025, Vienna, Austria, July 27 - August 1, 2025 (2025)
馃弳 CAV Distinguished Paper Award
Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
CAV (2024)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
HSCC 2024 (2024)
Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi
ICSE-SEIS 2023 (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
NeurIPS (2022)
Saeid Tizpaz-Niari, Ashish Kumar, Gang (Gary) Tan, Ashutosh Trivedi
ICSE 2022 (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
TACAS (2019)