| 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 | 1216 | 2011 |
| 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 | 114 | 2014 |
| 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 | 73 | 2013 |
| 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 | 59 | 2015 |
| Flowpipe-guard intersection for reachability computations with support functions G Frehse, R Ray IFAC Proceedings Volumes 45 (9), 94-101, 2012 | 33 | 2012 |
| 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 | 27 | 2017 |
| Design principles for an extendable verification tool for hybrid systems G Frehse, R Ray IFAC Proceedings Volumes 42 (17), 244-249, 2009 | 21 | 2009 |
| {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 | 20 | 2017 |
| 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 | 19 | 2019 |
| 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 | 19 | 2016 |
| 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 | 18 | 2019 |
| 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 | 17 | 2019 |
| 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 | 17 | 2015 |
| ARCH-COMP 2023 Category Report: Falsification C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ... Proceedings of 10th International Workshop on Applied 96, 151-169, 2023 | 12 | 2023 |
| Automated translation of matlab Simulink/Stateflow models to an intermediate format in hyvisual R Ray Computer Science Department, 2007 | 12 | 2007 |
| Simultaneous solving of batched linear programs on a GPU A Gurung, R Ray Proceedings of the 2019 acm/spec international conference on performance …, 2019 | 11 | 2019 |
| 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 | 11 | 2018 |
| 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 | 9 | 2020 |
| 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 | 7 | 2020 |
| 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 | 7 | 2019 |
