Dhriti Khanna

2013201420152016201720182019202020212022202320241 1 5 7 8 8 6 2 4

Rahul PurandareAssociate Professor, University of Nebraska–Lincoln確認したメールアドレス: unl.edu
Subodh SharmaIIT Delhi確認したメールアドレス: cse.iitd.ac.in
César RodríguezCadence & Associate Professor, University of Paris 13, France確認したメールアドレス: lipn.fr
Sukrit KalraUC Berkeley確認したメールアドレス: eecs.berkeley.edu
Ayush GoelHewlett Packard Labs確認したメールアドレス: hpe.com
Sharanjit KaurAcharya Narendra Dev College (University of Delhi)確認したメールアドレス: andc.du.ac.in
vasudha bhatnagarProfessor, Deptt of Computer Science, University of Delhi, Delhi, India確認したメールアドレス: cs.du.ac.in
Rakhi SaxenaUniversity of Delhi確認したメールアドレス: db.du.ac.in

Dhriti Khanna

確認したメールアドレス: iiitd.ac.in


タイトル引用回数順公開年順タイトル順	引用先引用先	年
Dynamic Symbolic Verification of MPI Programs D Khanna, S Sharma, C Rodríguez, R Purandare International Symposium on Formal Methods, 466-484, 2018	24	2018
POLLUX: safely upgrading dependent application libraries S Kalra, A Goel, D Khanna, M Dhawan, S Sharma, R Purandare Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	14	2016
Scalable clustering using pact programming model S Kaur, D Khanna, T Gupta, V Bhatnagar Data Mining Workshops (ICDMW), 2012 IEEE 12th International Conference on …, 2012	2	2012
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks D Khanna, R Purandare, S Sharma 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021	1	2021
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches D Khanna, R Purandare, S Sharma 2020 IEEE International Conference on Software Maintenance and Evolution …, 2020	1	2020
Analysis and Verification of Message Passing based Parallel Programs D Khanna

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–6

年間引用数