Search Results - Govindaraju, Shankar G.

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Improved approximate reachability using auxiliary state variables

    Improved approximate reachability using auxiliary state variables by Govindaraju, Shankar G, Dill, David L, Bergmann, Jules P

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Counterexample-guided choice of projections in approximate symbolic model checking

    Counterexample-guided choice of projections in approximate symbolic model checking by Govindaraju, S.G., Dill, D.L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Verification by approximate forward and backward reachability

    Verification by approximate forward and backward reachability by Govindaraju, Shankar G., Dill, David L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    DVGen: Increasing Coverage by Automatically Combining Test Specifications

    DVGen: Increasing Coverage by Automatically Combining Test Specifications by Rich, K.D., Shaw, R., Govindaraju, S.G., Dobrikin, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Approximate reachability with BDDs using overlapping projections

    Approximate reachability with BDDs using overlapping projections by Govindaraju, Shankar G, Dill, David L, Hu, Alan J, Horowitz, Mark A

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Approximate reachability with BDDs using overlapping projections

    Approximate reachability with BDDs using overlapping projections by Govindaraju, Shankar G., Dill, David L., Hu, Alan J., Horowitz, Mark A.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    DVGen: a test generator for the transmeta Efficeon VLIW processor

    DVGen: a test generator for the transmeta Efficeon VLIW processor by Rich, K.D., Govindaraju, S.G., Shaw, R., Dobrikin, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Approximate Symbolic Model Checking using Overlapping Projections

    Approximate Symbolic Model Checking using Overlapping Projections by Govindaraju, Shankar G., Dill, David L.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Approximate Symbolic Model Checking Using Overlapping Projections

    Approximate Symbolic Model Checking Using Overlapping Projections by Govindaraju, Shankar G, Dill, David L

    Request full text
    Report
    Save to List
    Saved in:
  10. 10
    Approximate Reachability With BDDs Using Overlapping Projections

    Approximate Reachability With BDDs Using Overlapping Projections by Govindaraju, Shankar G, Dill, David L, Hu, Alan J, Horowitz, Mark A

    Request full text
    Report
    Save to List
    Saved in:
  11. 11
    Exploring the potential of BH3 mimetic therapy in squamous cell carcinoma of the head and neck

    Exploring the potential of BH3 mimetic therapy in squamous cell carcinoma of the head and neck by Carter, Rachel J., Milani, Mateus, Butterworth, Michael, Alotibi, Ahoud, Harper, Nicholas, Yedida, Govindaraju, Greaves, Georgia, Al-Zebeeby, Aoula, Jorgensen, Andrea L., Schache, Andrew G., Risk, Janet M., Shaw, Richard J., Jones, Terry M., Sacco, Joseph J., Hurlstone, Adam, Cohen, Gerald M., Varadarajan, Shankar

    Published in Cell death & disease
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: