| Output Range Analysis for Deep Feedforward Neural Networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods Symposium, 121-138, 2018 | 281* | 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 | 84 | 2019 |
| 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 | 47 | 2018 |
| 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 | 31 | 2019 |
| 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 | 28 | 2018 |
| 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 | 16 | 2018 |
| Holocene sea level change of West Bengal Coast S Dey, S Dutta, SB Adak Indian Geographical Journal 77 (1), 7-20, 2002 | 15 | 2002 |
| 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 | 9 | 2019 |
| 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 | 9 | 2017 |
| Formal Verification of a Multi-Basal Insulin Infusion Control Model. X Chen, S Dutta, S Sankaranarayanan ARCH@ CPSWeek, 75-91, 2017 | 9 | 2017 |
| 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 | 8 | 2019 |
| 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 | 8 | 2014 |
| Vitamin E (alpha tocopherol) in the management of menorrhagia associated with the use of intrauterine contraceptive devices (IUCD) PR Dasgupta, S Dutta, P Banerjee, S Majumdar International journal of fertility 28 (1), 55-56, 1983 | 8 | 1983 |
| 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 | 7 | 2015 |
| 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 | 4 | 2019 |
| 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 | 4 | 2016 |
| 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, ... Plastic and Aesthetic Research 5, 47, 2018 | 2 | 2018 |
| 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 | 2 | 2016 |
| Reaching Out Towards Fully Verified Autonomous Systems S Sankaranarayanan, S Dutta, S Mover International Conference on Reachability Problems, 22-32, 2019 | 1 | 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 | 1 | 2019 |
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, Bouldercolorado.edu의 이메일 확인됨
