XSpeed: Accelerating Reachability Analysis on Multi-core Processors. - Rajarshi Ray 001; Amit Gurung; Binayak Das; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Haifa Verification Conference, 2015)

Parallel state space exploration of linear systems with inputs using XSpeed. - Rajarshi Ray 001; Amit Gurung (HSCC, 2015)

Parallel reachability analysis for hybrid systems. - Amit Gurung; Arup Deka; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Rajarshi Ray 001 (MEMOCODE, 2016)

Solving Batched Linear Programs on GPU and Multicore CPU. - Amit Gurung; Rajarshi Ray 001 (CoRR, 2016)

An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes. - Amit Gurung; Rajarshi Ray 001 (CoRR, 2016)

Falsification of hybrid systems using symbolic reachability and trajectory splicing. - Sergiy Bogomolov; Goran Frehse; Amit Gurung; Dongxu Li; Georg Martius; Rajarshi Ray 001 (HSCC, 2019)

Simultaneous Solving of Batched Linear Programs on a GPU. - Amit Gurung; Rajarshi Ray 001 (ICPE, 2019)

Image Segmentation using Multi-Threshold technique by Histogram Sampling. - Amit Gurung; Sangyal Lama Tamang (CoRR, 2019)

Parallel reachability analysis of hybrid systems in XSpeed. - Amit Gurung; Rajarshi Ray 001; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Int. J. Softw. Tools Technol. Transf., 2019)

SMT-Based Verification of Safety-Critical Embedded Control Software. - Sunandan Adhikary; Amit Gurung; Jay Thakkar; Antonio Anastasio Bruto da Costa; Soumyajit Dey; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2021)

Parallel simulation of cyber-physical systems. - Kamal Das; Amit Gurung; Rajarshi Ray 001 (Innov. Syst. Softw. Eng., 2021)

Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. - Amit Gurung; Masaki Waga; Kohei Suenaga (ATVA (1), 2023)

Vision Mamba: Cutting-Edge Classification of Alzheimer's Disease with 3D MRI Scans. - Muthukumar K. A; Amit Gurung; Priya Ranjan (CoRR, 2024)