Design Principles for an Extendable Verification Tool for Hybrid Systems. - Goran Frehse; Rajarshi Ray 001 (ADHS, 2009)

SpaceEx: Scalable Verification of Hybrid Systems. - Goran Frehse; Colas Le Guernic; Alexandre Donzé; Scott Cotton; Rajarshi Ray 001; Olivier Lebeltel; Rodolfo Ripado; Antoine Girard; Thao Dang 001; Oded Maler (CAV, 2011)

Flowpipe-Guard Intersection for Reachability Computations with Support Functions. - Goran Frehse; Rajarshi Ray 001 (ADHS, 2012)

Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support. (Reachability Analysis of Hybrid Systems using Support Functions). - Rajarshi Ray 001 (2012)

Accelerating sparse matrix-vector multiplication on GPUs using bit-representation-optimized schemes. - Wai Teng Tang; Wen Jun Tan; Rajarshi Ray 001; Yi Wen Wong; Weiguang Chen; Shyh-Hao Kuo; Rick Siow Mong Goh; Stephen John Turner; Weng-Fai Wong (SC, 2013)

ASAC: automatic sensitivity analysis for approximate computing. - Pooja Roy; Rajarshi Ray 001; Chundong Wang 001; Weng-Fai Wong (LCTES, 2014)

XSpeed: Accelerating Reachability Analysis on Multi-core Processors. - Rajarshi Ray 001; Amit Gurung; Binayak Das; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Haifa Verification Conference, 2015)

Parallel state space exploration of linear systems with inputs using XSpeed. - Rajarshi Ray 001; Amit Gurung (HSCC, 2015)

Parallel reachability analysis for hybrid systems. - Amit Gurung; Arup Deka; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Rajarshi Ray 001 (MEMOCODE, 2016)

Solving Batched Linear Programs on GPU and Multicore CPU. - Amit Gurung; Rajarshi Ray 001 (CoRR, 2016)

An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes. - Amit Gurung; Rajarshi Ray 001 (CoRR, 2016)

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Dario Cattaruzza; Xin Chen 002; Goran Frehse; Rajarshi Ray 001; Stefan Schupp (ARCH@CPSWeek, 2017)

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. - Lei Bu; Rajarshi Ray 001; Stefan Schupp (ARCH@CPSWeek, 2017)

Exact Synthesis of Reversible Logic Circuits using Model Checking. - Rajarshi Ray 001; Arup Deka; Kamalika Datta (CoRR, 2017)

AutoSense: A Framework for Automated Sensitivity Analysis of Program Data. - Bernard Nongpoh; Rajarshi Ray 001; Saikat Dutta 001; Ansuman Banerjee (IEEE Trans. Software Eng., 2017)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Xin Chen 002; Chuchu Fan; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@ADHS, 2018)

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. - Lei Bu; Rajarshi Ray 001; Stefan Schupp (ARCH@ADHS, 2018)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@CPSIoTWeek, 2019)

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. - Lei Bu; Rajarshi Ray 001; Stefan Schupp (ARCH@CPSIoTWeek, 2019)

Falsification of hybrid systems using symbolic reachability and trajectory splicing. - Sergiy Bogomolov; Goran Frehse; Amit Gurung; Dongxu Li; Georg Martius; Rajarshi Ray 001 (HSCC, 2019)

Approximate computing for multithreaded programs in shared memory architectures. - Bernard Nongpoh; Rajarshi Ray 001; Ansuman Banerjee (MEMOCODE, 2019)

Simultaneous Solving of Batched Linear Programs on a GPU. - Amit Gurung; Rajarshi Ray 001 (ICPE, 2019)

Parallel reachability analysis of hybrid systems in XSpeed. - Amit Gurung; Rajarshi Ray 001; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Int. J. Softw. Tools Technol. Transf., 2019)

Enhancing Speculative Execution With Selective Approximate Computing. - Bernard Nongpoh; Rajarshi Ray 001; Moumita Das; Ansuman Banerjee (ACM Trans. Design Autom. Electr. Syst., 2019)

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 001; Christian Schilling 001; Stefan Schupp; et al. (ARCH, 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 001; Yuming Wu; Enea Zaffanella (ARCH, 2020)

A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing. - Atul Thakur; Raju Halder; Gourinath Banda; Rajarshi Ray 001; Ansuman Bhattacharya; Satyendra R. Nishad (AIR, 2021)

Fast Falsification of Neural Networks using Property Directed Testing. - Moumita Das; Rajarshi Ray 001; Swarup Kumar Mohalik; Ansuman Banerjee (CoRR, 2021)

Parallel simulation of cyber-physical systems. - Kamal Das; Amit Gurung; Rajarshi Ray 001 (Innov. Syst. Softw. Eng., 2021)

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. - Lei Bu; Goran Frehse; Atanu Kundu 002; Rajarshi Ray 001; Yuhui Shi; Enea Zaffanella (ARCH@SAFECOMP, 2022)

ARCH-COMP23 Category Report: Falsification. - Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; Sauvik Gon; Tanmay Khandait; Atanu Kundu 002; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; et al. (ARCH, 2023)

Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. - Mir Md Sajid Sarwar; Rajarshi Ray 001; Ansuman Banerjee (MEMOCODE, 2023)

SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems. - Atanu Kundu 002; Sarthak Das; Rajarshi Ray 001 (ACM Trans. Embed. Comput. Syst., 2023)

A Contrastive Plan Explanation Framework for Hybrid System Models. - Mir Md Sajid Sarwar; Rajarshi Ray 001; Ansuman Banerjee (ACM Trans. Embed. Comput. Syst., 2023)

Optimal relaying nodes selection for IEEE 802.15.6-based two-hop star topology WBAN. - Kamal Das; Rajarshi Ray 001; Soumen Moulik (Internet Things, 2023)

Collision-Free Linear Time Mutual Visibility for Asynchronous Fat Robots. - Subhash Bhagat; Paulomi Dey; Rajarshi Ray 001 (ICDCN, 2024)

Data-Driven Falsification of Cyber-Physical Systems. - Atanu Kundu 002; Sauvik Gon; Rajarshi Ray 001 (ISEC, 2024)

A Contrastive Explanation Tool for Plans in Hybrid Domains. - Devdan Dey; Mir Md Sajid Sarwar; Rajarshi Ray 001; Ansuman Banerjee (ISEC, 2024)

Explaining Unsolvability of Planning Problems in Cyber-Physical Systems. - Sk Asif Iqbal; Mir Md Sajid Sarwar; Rajarshi Ray 001 (ISEC, 2025)

The min-move mutual visibility problem for disoriented asynchronous robots. - Subhash Bhagat; Krishnendu Mukhopadhyaya; Rajarshi Ray 001 (Theor. Comput. Sci., 2025)

AUTONAV: A Toolfor Autonomous Navigation of Robots. - Mir Md Sajid Sarwar; Sudip Samanta; Rajarshi Ray 001 (CoRR, 2025)

Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems. - Mir Md Sajid Sarwar; Rajarshi Ray 001 (CoRR, 2025)