Obserwuj
Jyotirmoy V. Deshmukh
Tytuł
Cytowane przez
Cytowane przez
Rok
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ...
Lectures on Runtime Verification: Introductory and Advanced Topics, 135-175, 2018
3952018
Mining requirements from closed-loop control models
X Jin, A Donzé, JV Deshmukh, SA Seshia
Proceedings of the 16th international conference on Hybrid systems …, 2013
2862013
TRANSIT: specifying protocols with concolic snippets
A Udupa, A Raghavan, JV Deshmukh, S Mador-Haim, MMK Martin, R Alur
ACM SIGPLAN Notices 48 (6), 287-296, 2013
2802013
Robust online monitoring of signal temporal logic
JV Deshmukh, A Donzé, S Ghosh, X Jin, G Juniwal, SA Seshia
Formal Methods in System Design 51, 5-30, 2017
2422017
Powertrain control verification benchmark
X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts
Proceedings of the 17th international conference on Hybrid systems …, 2014
1952014
Simulation-guided Lyapunov analysis for hybrid dynamical systems
J Kapinski, JV Deshmukh, S Sankaranarayanan, N Arechiga
Proceedings of the 17th international conference on Hybrid systems …, 2014
1642014
Simulation-based approaches for verification of embedded control systems: An overview of traditional and advanced modeling, testing, and verification techniques
J Kapinski, JV Deshmukh, X Jin, H Ito, K Butts
IEEE Control Systems Magazine 36 (6), 45-64, 2016
1582016
Efficient guiding strategies for testing of temporal properties of hybrid systems
T Dreossi, T Dang, A Donzé, J Kapinski, X Jin, JV Deshmukh
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
1342015
Regular functions and cost register automata
R Alur, L DAntoni, J Deshmukh, M Raghothaman, Y Yuan
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 13-22, 2013
1162013
Testing cyber-physical systems through bayesian optimization
J Deshmukh, M Horvat, X Jin, R Majumdar, VS Prabhu
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-18, 2017
902017
Multiple shooting, cegar-based falsification for hybrid systems
A Zutshi, JV Deshmukh, S Sankaranarayanan, J Kapinski
Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014
782014
Stochastic local search for falsification of hybrid systems
J Deshmukh, X Jin, J Kapinski, O Maler
Automated Technology for Verification and Analysis: 13th International …, 2015
772015
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems
CE Tuncali, J Kapinski, H Ito, JV Deshmukh
Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018
762018
Nondeterministic streaming string transducers
R Alur, JV Deshmukh
International Colloquium on Automata, Languages, and Programming, 1-20, 2011
612011
Hyperproperties of real-valued signals
LV Nguyen, J Kapinski, X Jin, JV Deshmukh, TT Johnson
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
602017
Evaluating perception systems for autonomous vehicles using quality temporal logic
A Dokhanchi, HB Amor, JV Deshmukh, G Fainekos
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
572018
Logical clustering and learning for time-series data
M Vazquez-Chanlatte, JV Deshmukh, X Jin, SA Seshia
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
562017
A general trust framework for multi-agent systems
M Cheng, C Yin, J Zhang, S Nazarian, J Deshmukh, P Bogdan
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
532021
Structured reward shaping using signal temporal logic specifications
A Balakrishnan, JV Deshmukh
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019
522019
Interpretable classification of time-series data using efficient enumerative techniques
S Mohammadinejad, JV Deshmukh, AG Puranic, M Vazquez-Chanlatte, ...
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
512020
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20