Browsing eNauka
Browsing by Author Perez, Jorge A
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2023 | Bit-Vector Typestate Analysis | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Article | 23M23 |
| 2021 | On primitives for compensation handling as adaptable processes | Dedeic, Jovana   ; Pantovic, Jovanka B ; Perez, Jorge A | Article | 21M21 |
| 2022 | Scalable Typestate Analysis for Low-Latency Environments | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Conference Paper | Mp. category will be shown later |