Παρακολούθηση
Rajarshi Ray
Rajarshi Ray
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα iacs.res.in
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
SpaceEx: Scalable verification of hybrid systems
G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
11652011
Asac: Automatic sensitivity analysis for approximate computing
P Roy, R Ray, C Wang, WF Wong
Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers …, 2014
1122014
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
692013
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
542015
Flowpipe-guard intersection for reachability computations with support functions
G Frehse, R Ray
IFAC Proceedings Volumes 45 (9), 94-101, 2012
332012
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
252017
Design principles for an extendable verification tool for hybrid systems
G Frehse, R Ray
IFAC Proceedings Volumes 42 (17), 244-249, 2009
212009
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, 401-423, 2019
182019
{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
172017
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
172016
Falsification of hybrid systems using symbolic reachability and trajectory splicing
S Bogomolov, G Frehse, A Gurung, D Li, G Martius, R Ray
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
162019
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
162015
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, ...
Proc. of the 6th International Workshop on Applied Verification of …, 2019
152019
Automated translation of matlab Simulink/Stateflow models to an intermediate format in hyvisual
R Ray
Computer Science Department, 2007
122007
Simultaneous solving of batched linear programs on a GPU
A Gurung, R Ray
Proceedings of the 2019 acm/spec international conference on performance …, 2019
112019
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
102018
ARCH-COMP20 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, Z Bao, M Forets, G Frehse, D Freire, N Kochdumper, Y Li, ...
Proc. of the 7th International Workshop on Applied Verification of …, 2020
72020
Enhancing speculative execution with selective approximate computing
B Nongpoh, R Ray, M Das, A Banerjee
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (2 …, 2019
72019
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
L Bu, A Abate, D Adzkiya, MS Mufid, R Ray, Y Wu, E Zaffanella
ARCH, 1-15, 2020
62020
Exact synthesis of reversible logic circuits using model checking
R Ray, A Deka, K Datta
arXiv preprint arXiv:1702.07470, 2017
52017
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20