Rajarshi Ray
Rajarshi Ray
Dirección de correo verificada de nitm.ac.in
TítuloCitado porAño
SpaceEx: Scalable verification of hybrid systems
G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
International Conference on Computer Aided Verification, 379-395, 2011
7522011
Asac: Automatic sensitivity analysis for approximate computing
P Roy, R Ray, C Wang, WF Wong
Acm Sigplan Notices 49 (5), 95-104, 2014
542014
Accelerating sparse matrix-vector multiplication on GPUs using bit-representation-optimized schemes
WT Tang, WJ Tan, R Ray, YW Wong, W Chen, S Kuo, RSM Goh, ...
Proceedings of the International Conference on High Performance Computing …, 2013
432013
XSpeed: Accelerating reachability analysis on multi-core processors
R Ray, A Gurung, B Das, E Bartocci, S Bogomolov, R Grosu
Haifa Verification Conference, 3-18, 2015
272015
Flowpipe-guard intersection for reachability computations with support functions
G Frehse, R Ray
IFAC Proceedings Volumes 45 (9), 94-101, 2012
212012
Design principles for an extendable verification tool for hybrid systems
G Frehse, R Ray
IFAC Proceedings Volumes 42 (17), 244-249, 2009
192009
Parallel state space exploration of linear systems with inputs using XSpeed
R Ray, A Gurung
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
122015
Automated translation of matlab simulink/stateflow models to an intermediate format in hyvisual
R Ray
Computer Science Department, 2007
112007
{ARCH-COMP17} Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
M Althoff, S Bak, D Cattaruzza, X Chen, G Frehse, R Ray, S Schupp
Proc. of the 4th International Workshop on Applied Verification for …, 2017
102017
Autosense: A framework for automated sensitivity analysis of program data
B Nongpoh, R Ray, S Dutta, A Banerjee
IEEE Transactions on Software Engineering 43 (12), 1110-1124, 2017
82017
Parallel reachability analysis for hybrid systems
A Gurung, A Deka, E Bartocci, S Bogomolov, R Grosu, R Ray
2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016
82016
Parallel reachability analysis of hybrid systems in xspeed
A Gurung, R Ray, E Bartocci, S Bogomolov, R Grosu
International Journal on Software Tools for Technology Transfer 21 (4), 401-423, 2019
52019
ARCH-COMP18 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, X Chen, C Fan, M Forets, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
42018
Simultaneous Solving of Linear Programming Problems in GPU
A Gurung, B Das, R Ray
Proc. of IEEE HIPC 2015 Conference: Student Research Symposium on HPC 8, 1-5, 2015
32015
An approach to direct minimization of convex piecewise linear functions
R Ray, G Frehse
Technical report, Verimag, November 2011. URL http://www-verimag. imag. fr …, 2011
32011
Simultaneous Solving of Batched Linear Programs on a GPU
A Gurung, R Ray
Proceedings of the 2019 ACM/SPEC International Conference on Performance …, 2019
22019
Reachability analysis of hybrid systems using support functions
R Ray
PhD thesis, Université de Grenoble, 2012
22012
Spectroscopic studies on the complex formation of some aromatic oxides with fluoroalcohols as OH proton donors
R Ray, S Mitra, R Das, S Mukherjee
Indian Journal of Physics, 1994
21994
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
M Althoff, S Bak, M Forets, G Frehse, N Kochdumper, R Ray, C Schilling, ...
EPiC Series in Computing 61, 14-40, 2019
12019
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
L Bu, R Ray, S Schupp
ARCH@ CPSWeek, 134-142, 2017
12017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20