( en | de | ru )

 

Disambiguation of "Purandare, Mitra"

Author of the publication

copydeleteadd this publication to your clipboard
Strengthening properties using abstraction refinement.

, , and . DATE, page 1692-1697. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Uwe Mitransky

Thomas Mitra

Mitra Westermann

Mitra Pourmansour

Mitra Nikpay

 

Other publications of authors with the same name

Acceleration-as-a-μService: A Cloud-native Monte-Carlo Option Pricing Engine on CPUs, GPUs and Disaggregated FPGAs., , , , , , , and . CoRR, (2021)Proving correctness of regular expression accelerators., , and . DAC, page 350-355. ACM, (2012)Vacuum Cleaning CTL Formulae., and . CAV, volume 2404 of Lecture Notes in Computer Science, page 485-499. Springer, (2002)Coverage, Vacuity, and Interpolation in Model Checking.. ETH Zurich, Zürich, Switzerland, (2010)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/72719).Dos and don'ts of CTL state coverage estimation., , and . DAC, page 292-295. ACM, (2003)Acceleration-as-a-µService: A Cloud-native Monte-Carlo Option Pricing Engine on CPUs, GPUs and Disaggregated FPGAs., , , , , , , and . CLOUD, page 726-729. IEEE, (2021)Approximation Refinement for Interpolation-Based Model Checking., , and . VMCAI, volume 4905 of Lecture Notes in Computer Science, page 68-82. Springer, (2008)Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack., , , , and . FPL, page 310-316. IEEE, (2020)Coverage in interpolation-based model checking., , and . DAC, page 182-187. ACM, (2010)Strengthening properties using abstraction refinement., , and . DATE, page 1692-1697. IEEE, (2009)