Amit Gurung

Orcid: 0000-0001-9823-710X

According to our database1, Amit Gurung authored at least 12 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2021
Parallel simulation of cyber-physical systems.
Innov. Syst. Softw. Eng., 2021

SMT-Based Verification of Safety-Critical Embedded Control Software.
IEEE Embed. Syst. Lett., 2021

2019
Parallel reachability analysis of hybrid systems in XSpeed.
Int. J. Softw. Tools Technol. Transf., 2019

Image Segmentation using Multi-Threshold technique by Histogram Sampling.
CoRR, 2019

Simultaneous Solving of Batched Linear Programs on a GPU.
Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019

Falsification of hybrid systems using symbolic reachability and trajectory splicing.
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.
CoRR, 2016

Solving Batched Linear Programs on GPU and Multicore CPU.
CoRR, 2016

Parallel reachability analysis for hybrid systems.
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.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

XSpeed: Accelerating Reachability Analysis on Multi-core Processors.
Proceedings of the Hardware and Software: Verification and Testing, 2015


  Loading...