| XSpeed: Accelerating reachability analysis on multi-core processors R Ray, A Gurung, B Das, E Bartocci, S Bogomolov, R Grosu Haifa Verification Conference, 3-18, 2015 | 54 | 2015 |
| Parallel reachability analysis of hybrid systems in XSpeed A Gurung, R Ray, E Bartocci, S Bogomolov, R Grosu International Journal on Software Tools for Technology Transfer 21, 401-423, 2019 | 18 | 2019 |
| Parallel reachability analysis for hybrid systems A Gurung, A Deka, E Bartocci, S Bogomolov, R Grosu, R Ray 2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016 | 17 | 2016 |
| Falsification of hybrid systems using symbolic reachability and trajectory splicing S Bogomolov, G Frehse, A Gurung, D Li, G Martius, R Ray Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 16 | 2019 |
| Parallel state space exploration of linear systems with inputs using XSpeed R Ray, A Gurung Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 16 | 2015 |
| Simultaneous solving of batched linear programs on a GPU A Gurung, R Ray Proceedings of the 2019 acm/spec international conference on performance …, 2019 | 11 | 2019 |
| Image segmentation using multi-threshold technique by histogram sampling A Gurung, SL Tamang arXiv preprint arXiv:1909.05084, 2019 | 6 | 2019 |
| Simultaneous Solving of Linear Programming Problems in GPU A Gurung, B Das, R Ray The 22nd annual IEEE International Conference on High Performance Computing, 2015 | 5 | 2015 |
| Solving batched linear programs on GPU and multicore CPU A Gurung, R Ray arXiv preprint arXiv:1609.08114, 2016 | 3 | 2016 |
| Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing S Bogomolov, G Frehse, A Gurung, D Li, G Martius, R Ray Nonlinear Analysis: Hybrid Systems 42, 101093, 2021 | 2 | 2021 |
| SMT-based verification of safety-critical embedded control software S Adhikary, A Gurung, J Thakkar, AB Da Costa, S Dey, A Hazra, ... IEEE Embedded Systems Letters 13 (3), 138-141, 2020 | 2 | 2020 |
| An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes A Gurung, R Ray arXiv preprint arXiv:1611.10059, 2016 | 2 | 2016 |
| Accelerating Reachability Analysis on MultiCore Processors In Hardware and Software: Verification and Testing-11th International Haifa Verification Conference R Ray, A Gurung, B Das, E Bartocci, S Bogomolov, RG XSpeed HVC Nov-2015, Haifa, Israel, 0 | 2 | |
| Amit Gurung Parallel state space exploration of linear systems with inputs using XSpeed In Girard R Ray A., Sankaranarayanan, S.: 18th International Conference on Hybrid Systems …, 0 | 2 | |
| Learning nonlinear hybrid automata from input–output time-series data A Gurung, M Waga, K Suenaga International Symposium on Automated Technology for Verification and …, 2023 | 1 | 2023 |
| Parallel Simulation of Cyber-Physical-Systems K Das, A Gurung, R Ray Advanced Computing and Systems for Security: Lecture Notes in Networks and …, 2021 | 1 | 2021 |
| Parallel simulation of cyber-physical systems K Das, A Gurung, R Ray Innovations in Systems and Software Engineering volume 17 (Verifiability in …, 2021 | 1 | 2021 |
| Falsification of hybrid systems using symbolic reachability and trajectory splicing B Sergiy, F Goran, G Amit, L Dongxu, M Georg, R Rajarshi HSCC'19: Proceedings of the 22nd ACM International Conference on Hybrid …, 2019 | 1 | 2019 |
| Black-Box Checking for Cyber-Physical Systems A Gurung IEICE Conferences Archives, 2022 | | 2022 |
| IMAGE SEGMENTATION USING MULTI-THRESHOLD TECHNIQUE BY HISTOGRAM SAMPLING. SL Tamang, A Gurung ICTACT Journal on Image & Video Processing 13 (1), 2022 | | 2022 |
Rajarshi RayIndian Association for the Cultivation of Science, KolkataDirección de correo verificada de iacs.res.in
