Nalaganje ...
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Št. navedb na leto
Podvojene navedbe
Naslednji članki v Učenjaku so združeni. Pri teh se za
skupno število navedb
upošteva le prvi članek.
Združene navedbe
Ta števec navedb vsebuje navedbe naslednjih člankov v Učenjaku. Tisti, ki so označeni z
*
, se morda razlikujejo od člankov v profilu.
Dodajanje soavtorjev
Soavtorji
Spremljaj
Novi članki tega avtorja
Novi navedki člankov tega avtorja
Novi članki, povezani z raziskavami tega avtorja
E-poštni naslov za obvestila
Končano
Moj profil
Moja knjižnica
Podatki o navedbah
Opozorila
Nastavitve
Prijava
Prijava
Ustvarite profil
Navedeno
Vse
Od leta 2019
Navedbe
2
2
indeks h
1
1
indeks i10
0
0
0
2
1
2022
2023
1
1
Javni dostop
Prikaži vse
Prikaži vse
2 članka
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Spremljaj
Atanu Kundu 007
Indian Association for the Cultivation of Science
Preverjeni e-poštni naslov na iacs.res.in
Formal Verification
Bounded Model Checking
Hybrid Systems
Članki
Navedeno
Javni dostop
Naslov
Razvrsti
Razvrsti po navedbah
Razvrsti po letniku
Razvrsti po naslovu
Navedeno
Navedeno
Leto
SAT-Reach
: A Bounded Model Checker for Affine Hybrid Systems
A Kundu, S Das, R Ray
ACM Transactions on Embedded Computing Systems 22 (2), 1-36
, 2023
1
2023
ARCH-COMP 2023 Category Report: Falsification
C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ...
10th International Workshop on Applied Verification of Continuous and Hybrid …
, 2023
1
2023
Data-Driven Falsification of Cyber-Physical Systems
A Kundu, S Gon, R Ray
Proceedings of the 17th Innovations in Software Engineering Conference, 1-5
, 2024
2024
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
L Bu, G Frehse, A Kundu, R Ray, Y Shi, E Zaffanella
EPiC Series in Computing 90, 44-57
, 2022
2022
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–4
Pokaži več
Zasebnost
Pogoji
Pomoč
O Učenjaku
Pomoč za Iskanje Google