Jyotirmoy V. Deshmukh

Regular Functions and Cost Register Automata

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

Computing, Computer Science, Algorithms +15

Conformal Prediction for STL Runtime Verification

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

Engineering, Computer Engineering, Computer Science +17

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

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

Engineering, Computer Engineering, Systems Engineering +16

A General Trust Framework for Multi-Agent Systems

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

Computing, Autonomous Systems, Systems Engineering +15

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

Computing, Computer Science, Systems Engineering +17