Rajarshi Ray
According to our database^{1},
Rajarshi Ray
authored at least 19 papers
between 2009 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2018
Simultaneous Solving of Batched Linear Programs on a GPU.
CoRR, 2018
ARCHCOMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
ARCHCOMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data.
IEEE Trans. Software Eng., 2017
Exact Synthesis of Reversible Logic Circuits using Model Checking.
CoRR, 2017
ARCHCOMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
ARCHCOMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
2016
An Efficient Algorithm for Vertex Enumeration of TwoDimensional Projection of Polytopes.
CoRR, 2016
Solving Batched Linear Programs on GPU and Multicore CPU.
CoRR, 2016
Parallel Reachability Analysis for Hybrid Systems.
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 Multicore Processors.
Proceedings of the Hardware and Software: Verification and Testing, 2015
2014
ASAC: automatic sensitivity analysis for approximate computing.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014
2013
Accelerating sparse matrixvector multiplication on GPUs using bitrepresentationoptimized schemes.
Proceedings of the International Conference for High Performance Computing, 2013
2012
Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support. (Reachability Analysis of Hybrid Systems using Support Functions).
PhD thesis, 2012
FlowpipeGuard Intersection for Reachability Computations with Support Functions.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification  23rd International Conference, 2011
2009
Design Principles for an Extendable Verification Tool for Hybrid Systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009