Rajarshi Ray 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Atanu Kundu 0002

> Home > Persons > Rajarshi Ray 0001

Publications

2025
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-03863
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-03863
Atanu Kundu, Sauvik Gon, Rajarshi Ray:
Data-Driven Falsification of Cyber-Physical Systems. CoRR abs/2505.03863 (2025)
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-03560
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-03560
Atanu Kundu, Pratyay Sarkar, Rajarshi Ray:
A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems. CoRR abs/2509.03560 (2025)
2024
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/0002G024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/0002G024
Atanu Kundu, Sauvik Gon, Rajarshi Ray:
Data-Driven Falsification of Cyber-Physical Systems. ISEC 2024: 10:1-10:5
2023
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/KunduDR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/KunduDR23
Atanu Kundu, Sarthak Das, Rajarshi Ray:
SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems. ACM Trans. Embed. Comput. Syst. 22(2): 26:1-26:36 (2023)
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/MenghiABEFFGK0P23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/MenghiABEFFGK0P23
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: 151-169
2022
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/BuFK0SZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/BuFK0SZ22
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: 44-57

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.