Amit Gurung

According to our database, Amit Gurung authored at least 13 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Vision Mamba: Cutting-Edge Classification of Alzheimer's Disease with 3D MRI Scans.

Muthukumar K. A, Amit Gurung, Priya Ranjan

CoRR, 2024

2023

Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data.

Amit Gurung, Masaki Waga, Kohei Suenaga

Proceedings of the Automated Technology for Verification and Analysis, 2023

2021

Parallel simulation of cyber-physical systems.

Kamal Das, Amit Gurung, Rajarshi Ray

Innov. Syst. Softw. Eng., 2021

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

2019

Parallel reachability analysis of hybrid systems in XSpeed.

Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu

Int. J. Softw. Tools Technol. Transf., 2019

Image Segmentation using Multi-Threshold technique by Histogram Sampling.

Amit Gurung, Sangyal Lama Tamang

CoRR, 2019

Simultaneous Solving of Batched Linear Programs on a GPU.

Amit Gurung, Rajarshi Ray

Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019

Falsification of hybrid systems using symbolic reachability and trajectory splicing.

Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2016

An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes.

Amit Gurung, Rajarshi Ray

CoRR, 2016

Solving Batched Linear Programs on GPU and Multicore CPU.

Amit Gurung, Rajarshi Ray

CoRR, 2016

Parallel reachability analysis for hybrid systems.

Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2015

Parallel state space exploration of linear systems with inputs using XSpeed.

Rajarshi Ray, Amit Gurung

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

XSpeed: Accelerating Reachability Analysis on Multi-core Processors.

Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu

Proceedings of the Hardware and Software: Verification and Testing, 2015