Rajarshi Ray

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 31

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Subhash Bhagat, Paulomi Dey, Rajarshi Ray
Collision-Free Linear Time Mutual Visibility for Asynchronous Fat Robots. ICDCN (2024)
Atanu Kundu, Sauvik Gon, Rajarshi Ray
Data-Driven Falsification of Cyber-Physical Systems. ISEC (2024)
Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. MEMOCODE (2023)
Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
A Contrastive Plan Explanation Framework for Hybrid System Models. ACM Trans. Embed. Comput. Syst. 22 (2) (2023)
Kamal Das, Rajarshi Ray, Soumen Moulik
Optimal relaying nodes selection for IEEE 802.15.6-based two-hop star topology WBAN. Internet Things 22 (2023)
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH@SAFECOMP (2022)
Kamal Das, Amit Gurung, Rajarshi Ray
Parallel simulation of cyber-physical systems. Innov. Syst. Softw. Eng. 17 (3) (2021)
Atul Thakur, Raju Halder, Gourinath Banda, Rajarshi Ray, Ansuman Bhattacharya, Satyendra R. Nishad
A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing. AIR (2021)
Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik, Ansuman Banerjee
Fast Falsification of Neural Networks using Property Directed Testing. CoRR (2021)
Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
A Contrastive Plan Explanation Framework for Hybrid System Models. MEMOCODE (2020)
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2020)
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH (2020)
Lei Bu, Rajarshi Ray, Stefan Schupp
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek (2019)
Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee
Approximate computing for multithreaded programs in shared memory architectures. MEMOCODE (2019)
Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray
Falsification of hybrid systems using symbolic reachability and trajectory splicing. HSCC (2019)
Amit Gurung, Rajarshi Ray
Simultaneous Solving of Batched Linear Programs on a GPU. ICPE (2019)
Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
Parallel reachability analysis of hybrid systems in XSpeed. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Bernard Nongpoh, Rajarshi Ray, Moumita Das, Ansuman Banerjee
Enhancing Speculative Execution With Selective Approximate Computing. ACM Trans. Design Autom. Electr. Syst. 24 (2) (2019)
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2018)
Amit Gurung, Rajarshi Ray
Simultaneous Solving of Batched Linear Programs on a GPU. CoRR (2018)
Lei Bu, Rajarshi Ray, Stefan Schupp
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS (2018)
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSWeek (2017)
Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, Ansuman Banerjee
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data. IEEE Trans. Software Eng. 43 (12) (2017)
Lei Bu, Rajarshi Ray, Stefan Schupp
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek (2017)
Rajarshi Ray, Arup Deka, Kamalika Datta
Exact Synthesis of Reversible Logic Circuits using Model Checking. CoRR (2017)
Amit Gurung, Rajarshi Ray
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes. CoRR (2016)
Amit Gurung, Rajarshi Ray
Solving Batched Linear Programs on GPU and Multicore CPU. CoRR (2016)
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
Parallel Reachability Analysis for Hybrid Systems. CoRR (2016)
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
Parallel reachability analysis for hybrid systems. MEMOCODE (2016)
Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference (2015)
Rajarshi Ray, Amit Gurung
Parallel state space exploration of linear systems with inputs using XSpeed. HSCC (2015)
Pooja Roy, Rajarshi Ray, Chundong Wang, Weng-Fai Wong
ASAC: automatic sensitivity analysis for approximate computing. LCTES (2014)
Wai Teng Tang, Wen Jun Tan, Rajarshi Ray, Yi Wen Wong, Weiguang Chen, Shyh-Hao Kuo, Rick Siow Mong Goh, Stephen John Turner, Weng-Fai Wong
Accelerating sparse matrix-vector multiplication on GPUs using bit-representation-optimized schemes. SC (2013)
Goran Frehse, Rajarshi Ray
Flowpipe-Guard Intersection for Reachability Computations with Support Functions. ADHS (2012)
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
SpaceEx: Scalable Verification of Hybrid Systems. CAV (2011)
Goran Frehse, Rajarshi Ray
Design Principles for an Extendable Verification Tool for Hybrid Systems. ADHS (2009)

Rajarshi Ray.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rajarshi Ray