Concepedia

Jyotirmoy V. Deshmukh

JV

5

Publications

154

Citations

5

H-Index

2013

Active since

Affiliations

University of Southern California(Current)

University of Pennsylvania

Jyotirmoy V. Deshmukh is an author at University of Southern California specializing in systems engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputer Engineering

Publications per year

2013–2023

5

Publications

5

Regular Functions and Cost Register Automata

Rajeev Alur, Loris D’Antoni, Jyotirmoy V. Deshmukh et al. · 2013 · 75 citations

Conformal Prediction for STL Runtime Verification

Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh et al. · 2023 · 31 citations

Engineering, Current System Trajectory, Verification +21

Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference

Xin Qin, Yuan Xia, Aditya Zutshi et al. · 2022 · 23 citations

Engineering, Verification, Computer-aided Verification +22

Mining Shape Expressions From Positive Examples

Ezio Bartocci, Jyotirmoy V. Deshmukh, Felix Gigler et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2020 · 13 citations

Engineering, Statistical Shape Analysis, Pattern Discovery +25

A General Trust Framework for Multi-Agent Systems

Mingxi Cheng, Chenzhong Yin, Junyao Zhang et al. · 2021 · 12 citations

Rows per page

1–5 of 5