Rajarshi Ray

According to our database, Rajarshi Ray authored at least 38 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Contrastive Explanation Tool for Plans in Hybrid Domains.

Devdan Dey, Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

Data-Driven Falsification of Cyber-Physical Systems.

Atanu Kundu, Sauvik Gon, Rajarshi Ray

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

Collision-Free Linear Time Mutual Visibility for Asynchronous Fat Robots.

Subhash Bhagat, Paulomi Dey, Rajarshi Ray

Proceedings of the 25th International Conference on Distributed Computing and Networking, 2024

2023

Optimal relaying nodes selection for IEEE 802.15.6-based two-hop star topology WBAN.

Kamal Das, Rajarshi Ray, Soumen Moulik

Internet Things, July, 2023

A Contrastive Plan Explanation Framework for Hybrid System Models.

Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee

ACM Trans. Embed. Comput. Syst., March, 2023

SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems.

Atanu Kundu, Sarthak Das, Rajarshi Ray

ACM Trans. Embed. Comput. Syst., March, 2023

Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation.

Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

ARCH-COMP23 Category Report: Falsification.

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

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.

Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Parallel simulation of cyber-physical systems.

Kamal Das, Amit Gurung, Rajarshi Ray

Innov. Syst. Softw. Eng., 2021

Fast Falsification of Neural Networks using Property Directed Testing.

Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik, Ansuman Banerjee

CoRR, 2021

A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing.

Atul Thakur, Raju Halder, Gourinath Banda, Rajarshi Ray, Ansuman Bhattacharya, Satyendra R. Nishad

Proceedings of the AIR 2021: Advances in Robotics - 5th International Conference of The Robotics Society, Kanpur, India, 30 June 2021, 2021

2020

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.

Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Enhancing Speculative Execution With Selective Approximate Computing.

Bernard Nongpoh, Rajarshi Ray, Moumita Das, Ansuman Banerjee

ACM Trans. Design Autom. Electr. Syst., 2019

Parallel reachability analysis of hybrid systems in XSpeed.

Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu

Int. J. Softw. Tools Technol. Transf., 2019

Simultaneous Solving of Batched Linear Programs on a GPU.

Amit Gurung, Rajarshi Ray

Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019

Approximate computing for multithreaded programs in shared memory architectures.

Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Falsification of hybrid systems using symbolic reachability and trajectory splicing.

Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.

Lei Bu, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.

Lei Bu, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

AutoSense: A Framework for Automated Sensitivity Analysis of Program Data.

Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, Ansuman Banerjee

IEEE Trans. Software Eng., 2017

Exact Synthesis of Reversible Logic Circuits using Model Checking.

Rajarshi Ray, Arup Deka, Kamalika Datta

CoRR, 2017

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.

Lei Bu, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes.

Amit Gurung, Rajarshi Ray

CoRR, 2016

Solving Batched Linear Programs on GPU and Multicore CPU.

Amit Gurung, Rajarshi Ray

CoRR, 2016

Parallel reachability analysis for hybrid systems.

Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2015

Parallel state space exploration of linear systems with inputs using XSpeed.

Rajarshi Ray, Amit Gurung

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

XSpeed: Accelerating Reachability Analysis on Multi-core Processors.

Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

ASAC: automatic sensitivity analysis for approximate computing.

Pooja Roy, Rajarshi Ray, Chundong Wang, Weng-Fai Wong

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

2013

Accelerating sparse matrix-vector multiplication on GPUs using bit-representation-optimized schemes.

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

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).

Rajarshi Ray

PhD thesis, 2012

Flowpipe-Guard Intersection for Reachability Computations with Support Functions.

Goran Frehse, Rajarshi Ray

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

SpaceEx: Scalable Verification of Hybrid Systems.

Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009

Design Principles for an Extendable Verification Tool for Hybrid Systems.

Goran Frehse, Rajarshi Ray

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009