Showing 1 - 4 results of 4 for search 'Kanade, Aditya', query time: 0.08s Refine Results
  1. 1
    Concurrency Analysis and Mining Techniques for APIs
    by Santhiar, Anirudh
    Published 2018
    Other Authors: “...Kanade, Aditya...”
    Get full text
    Get full text
  2. 2
    A Fine-Grained Dynamic Information Flow Analysis for Android Apps
    by Sankaran, Shyam
    Published 2018
    Other Authors: “...Kanade, Aditya...”
    Get full text
    Get full text
  3. 3
    Checking Compatability of Programs on Shared Data
    by Pranavadatta, DN
    Published 2018
    Other Authors: “...Kanade, Aditya...”
    Get full text
    Get full text
  4. 4
    Transducer-based Algorithmic Verification of Retransmission Protocols over Noisy Channels
    by Thakkar, Jay
    Published 2018
    Other Authors: “...Kanade, Aditya...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search