Rajarshi Ray

49 papers A* 1A 1B 2C 4Misc 1Journal 20Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Data-Driven Falsification of Cyber-Physical Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Atanu Kundu, Sauvik Gon, Rajarshi Ray
2025 J jnl
A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems.
CoRR
Atanu Kundu, Pratyay Sarkar, Rajarshi Ray
2025 J jnl
AUTONAV: A Toolfor Autonomous Navigation of Robots.
CoRR
Mir Md Sajid Sarwar, Sudip Samanta, Rajarshi Ray
2025 J jnl
Data-Driven Falsification of Cyber-Physical Systems.
CoRR
Atanu Kundu, Sauvik Gon, Rajarshi Ray
2025 — conf
Explaining Unsolvability of Planning Problems in Cyber-Physical Systems.
ISEC
Sk Asif Iqbal, Mir Md Sajid Sarwar, Rajarshi Ray
2025 J jnl
Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems.
CoRR
Mir Md Sajid Sarwar, Rajarshi Ray
2025 J jnl
Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems.
ACM Trans. Embed. Comput. Syst.
Mir Md Sajid Sarwar, Rajarshi Ray
2025 J jnl
The min-move mutual visibility problem for disoriented asynchronous robots.
Theor. Comput. Sci.
Subhash Bhagat, Krishnendu Mukhopadhyaya, Rajarshi Ray
2024 — conf
A Contrastive Explanation Tool for Plans in Hybrid Domains.
ISEC
Devdan Dey, Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
2024 Misc conf
Collision-Free Linear Time Mutual Visibility for Asynchronous Fat Robots.
ICDCN
Subhash Bhagat, Paulomi Dey, Rajarshi Ray
2024 — conf
Data-Driven Falsification of Cyber-Physical Systems.
ISEC
Atanu Kundu, Sauvik Gon, Rajarshi Ray
2023 J jnl
A Contrastive Plan Explanation Framework for Hybrid System Models.
ACM Trans. Embed. Comput. Syst.
Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
2023 — conf
ARCH-COMP23 Category Report: Falsification.
ARCH
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
2023 C conf
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation.
MEMOCODE
Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
2023 J jnl
Optimal relaying nodes selection for IEEE 802.15.6-based two-hop star topology WBAN.
Internet Things
Kamal Das, Rajarshi Ray, Soumen Moulik
2023 J jnl
SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems.
ACM Trans. Embed. Comput. Syst.
Atanu Kundu, Sarthak Das, Rajarshi Ray
2022 — conf
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
ARCH@SAFECOMP
Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella
2021 — conf
A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing.
AIR
Atul Thakur, Raju Halder, Gourinath Banda, Rajarshi Ray, Ansuman Bhattacharya, Satyendra R. Nishad
2021 J jnl
Fast Falsification of Neural Networks using Property Directed Testing.
CoRR
Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik, Ansuman Banerjee
2021 J jnl
Parallel simulation of cyber-physical systems.
Innov. Syst. Softw. Eng.
Kamal Das, Amit Gurung, Rajarshi Ray
2020 C conf
A Contrastive Plan Explanation Framework for Hybrid System Models.
MEMOCODE
Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
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
2020 — conf
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
ARCH
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
2019 — conf
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSIoTWeek
Lei Bu, Rajarshi Ray, Stefan Schupp
2019 — conf
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@CPSIoTWeek
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
2019 C conf
Approximate computing for multithreaded programs in shared memory architectures.
MEMOCODE
Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee
2019 J jnl
Enhancing Speculative Execution With Selective Approximate Computing.
ACM Trans. Design Autom. Electr. Syst.
Bernard Nongpoh, Rajarshi Ray, Moumita Das, Ansuman Banerjee
2019 — conf
Falsification of hybrid systems using symbolic reachability and trajectory splicing.
HSCC
Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray
2019 J jnl
Parallel reachability analysis of hybrid systems in XSpeed.
Int. J. Softw. Tools Technol. Transf.
Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
2019 B conf
Simultaneous Solving of Batched Linear Programs on a GPU.
ICPE
Amit Gurung, Rajarshi Ray
2018 — conf
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
ARCH@ADHS
Lei Bu, Rajarshi Ray, Stefan Schupp
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
2018 J jnl
Simultaneous Solving of Batched Linear Programs on a GPU.
CoRR
Amit Gurung, Rajarshi Ray
2017 — conf
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSWeek
Lei Bu, Rajarshi Ray, Stefan Schupp
2017 — conf
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@CPSWeek
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
2017 J jnl
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data.
IEEE Trans. Software Eng.
Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, Ansuman Banerjee
2017 J jnl
Exact Synthesis of Reversible Logic Circuits using Model Checking.
CoRR
Rajarshi Ray, Arup Deka, Kamalika Datta
2016 J jnl
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes.
CoRR
Amit Gurung, Rajarshi Ray
2016 J jnl
Parallel Reachability Analysis for Hybrid Systems.
CoRR
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
2016 C conf
Parallel reachability analysis for hybrid systems.
MEMOCODE
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
2016 J jnl
Solving Batched Linear Programs on GPU and Multicore CPU.
CoRR
Amit Gurung, Rajarshi Ray
2015 — conf
Parallel state space exploration of linear systems with inputs using XSpeed.
HSCC
Rajarshi Ray, Amit Gurung
2015 — conf
XSpeed: Accelerating Reachability Analysis on Multi-core Processors.
Haifa Verification Conference
Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
2014 B conf
ASAC: automatic sensitivity analysis for approximate computing.
LCTES
Pooja Roy, Rajarshi Ray, Chundong Wang, Weng-Fai Wong
2013 A conf
Accelerating sparse matrix-vector multiplication on GPUs using bit-representation-optimized schemes.
SC
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
2012 — —
Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support. (Reachability Analysis of Hybrid Systems using Support Functions).
Rajarshi Ray
2012 — conf
Flowpipe-Guard Intersection for Reachability Computations with Support Functions.
ADHS
Goran Frehse, Rajarshi Ray
2011 A* conf
SpaceEx: Scalable Verification of Hybrid Systems.
CAV
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
2009 — conf
Design Principles for an Extendable Verification Tool for Hybrid Systems.
ADHS
Goran Frehse, Rajarshi Ray