Souradeep Dutta
Souradeep Dutta
University of Pennsylvania
Verified email at colorado.edu - Homepage
Title
Cited by
Cited by
Year
Output Range Analysis for Deep Feedforward Neural Networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
160*2018
Reachability analysis for neural feedback systems using regressive polynomial rule inference
S Dutta, X Chen, S Sankaranarayanan
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
352019
Learning and verification of feedback control systems using feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
IFAC-PapersOnLine 51 (16), 151-156, 2018
282018
Robust data-driven control of artificial pancreas systems using neural networks
S Dutta, T Kushner, S Sankaranarayanan
International Conference on Computational Methods in Systems Biology, 183-202, 2018
122018
Measurement of jet substructure observables in events from proton-proton collisions at
AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ...
Physical Review D 98 (9), 092014, 2018
102018
Sherlock-A tool for verification of neural network feedback systems: demo abstract
S Dutta, X Chen, S Jha, S Sankaranarayanan, A Tiwari
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
92019
Trajectory tracking control for robotic vehicles using counterexample guided training of neural networks
A Claviere, S Dutta, S Sankaranarayanan
Proceedings of the International Conference on Automated Planning and …, 2019
72019
A structured methodology for pattern based adaptive scheduling in embedded control
S Ghosh, S Dutta, S Dey, P Dasgupta
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-22, 2017
62017
Formal Verification of a Multi-Basal Insulin Infusion Control Model.
X Chen, S Dutta, S Sankaranarayanan
ARCH@ CPSWeek, 75-91, 2017
62017
Comparative analysis of cuckoo search optimization-based multilevel image thresholding
S Roy, U Kumar, D Chakraborty, S Nag, A Mallick, S Dutta
Intelligent Computing, Communication and Devices, 327-342, 2015
62015
Periodic noise recognition and elimination using RFPCM clustering
S Dutta, A Mallick, S Roy, U Kumar
2014 International Conference on Electronics and Communication Systems …, 2014
62014
Multirate sampling for power-performance tradeoff in embedded control
R Raha, S Dutta, S Dey, P Dasgupta
IEEE Embedded Systems Letters 8 (4), 77-80, 2016
42016
Verifying Conformance of Neural Network Models
M Narasimhamurthy, T Kushner, S Dutta, S Sankaranarayanan
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019
32019
Autologous platelet rich plasma-an adjunct to early tangential excision and grafting in burns
A Aggarwal, RK Chittoria, S Dutta, KS Reddy, V Chavan, S Gupta, ...
Plast Aesthet Res 5, 47, 2018
22018
Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems
SK Ghosh, A Mondal, S Dutta, A Hazra, S Dey
2016 20th International Symposium on VLSI Design and Test (VDAT), 1-6, 2016
22016
Sherlock: A Tool for Verification of Deep Neural Networks
S Dutta, T Kushner, S Jha, S Sankaranarayanan, N Shankar, A Tiwari
1
Verification of Neural Networks
S Dutta
PQDT-Global, 2020
2020
Reaching Out Towards Fully Verified Autonomous Systems
S Sankaranarayanan, S Dutta, S Mover
International Conference on Reachability Problems, 22-32, 2019
2019
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
DM Lopez, P Musau, HD Tran, S Dutta, TJ Carpenter, R Ivanov, ...
ARCH@ CPSIoTWeek, 103-119, 2019
2019
OPTIMIZATION OF MACHINING PARAMETERS FOR TOOL WEAR OF MILD STEEL DURING TURNING BY S/N RATIO AND ANOVA
S Dutta, S Mukherjee
IJRAR-International Journal of Research and Analytical Reviews (IJRAR) 6 (1 …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20