Concepedia

Jyotirmoy V. Deshmukh

JV

Statistics

Publications

35

Citations

1.7K

H-Index

21

Active since

2008

Affiliations

University of Southern California(Current)

Toyota Motor Corporation (Switzerland)

Toyota Motor North America (United States)

California Southern University

University of Colorado Boulder

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

Publications per year

2008–2024

35

Publications

35

Robust online monitoring of signal temporal logic

Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh et al. · Formal Methods in System Design · 2017 · 186 citations

Engineering, Computer Science, Electrical Engineering +12

Powertrain control verification benchmark

Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski et al. · 2014 · 174 citations

Engineering, Automotive Engineering, Systems Engineering +16

Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh et al. · 2013 · 159 citations

Computing, Computer Science, High-performance Computing +17

Mining Requirements From Closed-Loop Control Models

Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2015 · 153 citations

Engineering, Computer Science, Systems Engineering +17

Simulation-guided lyapunov analysis for hybrid dynamical systems

James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan et al. · 2014 · 138 citations

Engineering, Automotive Engineering, Systems Engineering +17

1–5 of 35