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.

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.
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

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 Tue Dec 3 18:12:18 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.