Chetan Bansal

发表

Arie van Deursen, Georgios Gousios, Nachiappan Nagappan, 2020, ACM Trans. Softw. Eng. Methodol..

Manisha M Shetty, Arjun Radhakrishna, Chetan Bansal, 2022, ESEC/SIGSOFT FSE.

K. Bhargavan, Antoine Delignat-Lavaud, S. Maffeis, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.

Ranveer Chandra, Tanuja Ganu, Shivkumar Kalyanaraman, 2021, KDD.

F. Hassan, Chetan Bansal, Nachiappan Nagappan, 2022, ESEM.

Chetan Bansal, Sundararajan Renganathan, Ashima Asudani, 2019, 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).

Fan Yang, Íñigo Goiri, Chetan Bansal, 2022, WWW.

Song Wang, Chetan Bansal, Nachiappan Nagappan, 2021, Inf. Softw. Technol..

Ahmed Hassan Awadallah, T. Zimmermann, Chetan Bansal, 2019, 2020 IEEE International Conference on Big Data (Big Data).

T. Zimmermann, Toufique Ahmed, Chetan Bansal, 2023, 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).

Subhabrata Mukherjee, C. Maddila, Chetan Bansal, 2020, CIKM.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2013, POST.

Ranjita Bhagwan, Christian Bird, Sonu Mehta, 2019, ESEC/SIGSOFT FSE.

Chetan Bansal, Chandra Shekhar Maddila, Nachiappan Nagappan, 2019, ESEC/SIGSOFT FSE.

Song Wang, Chetan Bansal, Adithya Abraham Philip, 2019, PROMISE.

Thomas Zimmermann, Ahmed Hassan Awadallah, Chetan Bansal, 2020, ESEM.

Thomas Zimmermann, Ahmed Hassan Awadallah, Chetan Bansal, 2019, ArXiv.

Eli Cortez C. Vilarinho, Fan Yang, Íñigo Goiri, 2023, International Conference on Architectural Support for Programming Languages and Operating Systems.

Eli Cortez C. Vilarinho, Íñigo Goiri, Chetan Bansal, 2023, 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

K. Bhargavan, Antoine Delignat-Lavaud, S. Maffeis, 2013, POST.

Chetan Bansal, Sumit Kumar, Nachiappan Nagappan, 2020, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).

Shuvendu K. Lahiri, Chetan Bansal, Akash Lal, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).