Items where Author is "Deshmukh, Jyotirmoy V."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item (A Paper)

Deshmukh, Jyotirmoy V. and Majumdar, Rupak and Prabhu, Vinayak S.
(2015) Quantifying Conformance Using the Skorokhod Metric.
In: Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015).
Conference: CAV Computer Aided Verification

Deshmukh, Jyotirmoy V. and Majumdar, Rupak and Prabhu, Vinayak S.
(2015) Quantifying Conformance Using the Skorokhod Metric.
In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II.
Conference: CAV Computer Aided Verification

Article

Deshmukh, Jyotirmoy V. and Jin, Xiaoqing and Majumdar, Rupak and Prabhu, Vinayak S.
(2017) Parameter Optimization in Control Software using Statistical Fault Localization Techniques.
CoRR, abs/17.

Deshmukh, Jyotirmoy V. and Majumdar, Rupak and Prabhu, Vinayak S.
(2015) Quantifying Conformance using the Skorokhod Metric (full version).
CoRR, abs/15.

This list was generated on Fri Mar 29 06:47:24 2024 CET.