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

on orcid.org
On csauthors.net:
Bibliography
2021
CoRR, 2021
2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
2019
ACM Trans. Design Autom. Electr. Syst., 2019
Int. J. Softw. Tools Technol. Transf., 2019
Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019
Proceedings of the 17th ACMIEEE International Conference on Formal Methods and Models for System Design, 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
ARCHCOMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
ARCHCOMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
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
IEEE Trans. Software Eng., 2017
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
CoRR, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015
2014
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
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
Proceedings of the Computer Aided Verification  23rd International Conference, 2011
2009
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009