Amit Gurung

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