Amit Gurung

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Hybrid Automata

Top Venues

IEEE Embed. Syst. Lett.

Innov. Syst. Softw. Eng.

Publications

Muthukumar K. A, Amit Gurung, Priya Ranjan
Vision Mamba: Cutting-Edge Classification of Alzheimer's Disease with 3D MRI Scans. CoRR (2024)
Amit Gurung, Masaki Waga, Kohei Suenaga
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) (2023)
Amit Gurung, Masaki Waga, Kohei Suenaga
Learning nonlinear hybrid automata from input-output time-series data. CoRR (2023)
Kamal Das, Amit Gurung, Rajarshi Ray
Parallel simulation of cyber-physical systems. Innov. Syst. Softw. Eng. 17 (3) (2021)
Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta
SMT-Based Verification of Safety-Critical Embedded Control Software. IEEE Embed. Syst. Lett. 13 (3) (2021)
Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray
Falsification of hybrid systems using symbolic reachability and trajectory splicing. HSCC (2019)
Amit Gurung, Rajarshi Ray
Simultaneous Solving of Batched Linear Programs on a GPU. ICPE (2019)
Amit Gurung, Sangyal Lama Tamang
Image Segmentation using Multi-Threshold technique by Histogram Sampling. CoRR (2019)
Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
Parallel reachability analysis of hybrid systems in XSpeed. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Amit Gurung, Rajarshi Ray
Simultaneous Solving of Batched Linear Programs on a GPU. CoRR (2018)
Amit Gurung, Rajarshi Ray
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes. CoRR (2016)
Amit Gurung, Rajarshi Ray
Solving Batched Linear Programs on GPU and Multicore CPU. CoRR (2016)
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
Parallel Reachability Analysis for Hybrid Systems. CoRR (2016)
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
Parallel reachability analysis for hybrid systems. MEMOCODE (2016)
Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference (2015)
Rajarshi Ray, Amit Gurung
Parallel state space exploration of linear systems with inputs using XSpeed. HSCC (2015)