Dhriti Khanna

20132014201520162017201820192020202120222023202420251 1 5 7 8 8 6 3 6 2

Rahul PurandareAssociate Professor, University of Nebraska–LincolnEmail verificata su unl.edu
Subodh SharmaIIT DelhiEmail verificata su cse.iitd.ac.in
César RodríguezCadence & Associate Professor, University of Paris 13, FranceEmail verificata su lipn.fr
Sukrit KalraUC BerkeleyEmail verificata su eecs.berkeley.edu
Ayush GoelHewlett Packard LabsEmail verificata su hpe.com
Sharanjit KaurAcharya Narendra Dev College (University of Delhi)Email verificata su andc.du.ac.in
vasudha bhatnagarProfessor, Deptt of Computer Science, University of Delhi, Delhi, IndiaEmail verificata su cs.du.ac.in
Rakhi SaxenaUniversity of DelhiEmail verificata su db.du.ac.in

Dhriti Khanna

Email verificata su iiitd.ac.in


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Dynamic Symbolic Verification of MPI Programs D Khanna, S Sharma, C Rodríguez, R Purandare International Symposium on Formal Methods, 466-484, 2018	25	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	18	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–6

Citazioni per anno