Works matching AU Thakur, Aditya V.

Results: 3
    1
    2

    SyReNN: A tool for analyzing deep neural networks.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 145, doi. 10.1007/s10009-023-00695-1
    By:
    • Sotoudeh, Matthew;
    • Tao, Zhe;
    • Thakur, Aditya V.
    Publication type:
    Article
    3

    Proofs from Tests.

    Published in:
    IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 494, doi. 10.1109/TSE.2010.49
    By:
    • Beckman, Nels E.;
    • Nori, Aditya V.;
    • Rajamani, Sriram K.;
    • Simmons, Robert J.;
    • Tetali, Sai Deep;
    • Thakur, Aditya V.
    Publication type:
    Article