Alen Arslanagic

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Top Venues

Formal Aspects Comput.

Dagstuhl Artifacts Ser.

Publications

Alen Arslanagic, Jorge A. Pérez, Anda-Amelia Palamariuc
Minimal session types for the π-calculus. Inf. Comput. 297 (2024)
Alen Arslanagic, Jorge A. Pérez, Dan Frumin
A Minimal Formulation of Session Types. CoRR (2023)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Bit-Vector Typestate Analysis. Formal Aspects Comput. 35 (3) (2023)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Scalable Typestate Analysis using Bit-Vector Machines. CoRR (2022)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Scalable Typestate Analysis for Low-Latency Environments. IFM (2022)
Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez
Minimal Session Types for the π-calculus. PPDP (2021)
Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez
Minimal Session Types for the π-calculus (Extended Version). CoRR (2021)
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
Minimal Session Types (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
Minimal Session Types (Pearl). ECOOP (2019)
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
Minimal Session Types (Extended Version). CoRR (2019)