Alen Arslanagic

According to our database, Alen Arslanagic authored at least 9 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Bit-Vector Typestate Analysis.

Alen Arslanagic, Pavle Subotic, Jorge A. Pérez

Formal Aspects Comput., September, 2023

A Minimal Formulation of Session Types.

Alen Arslanagic, Jorge A. Pérez, Dan Frumin

CoRR, 2023

2022

Scalable Typestate Analysis using Bit-Vector Machines.

Alen Arslanagic, Pavle Subotic, Jorge A. Pérez

CoRR, 2022

Scalable Typestate Analysis for Low-Latency Environments.

Alen Arslanagic, Pavle Subotic, Jorge A. Pérez

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Minimal Session Types for the π-calculus (Extended Version).

Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez

CoRR, 2021

Minimal Session Types for the π-calculus.

Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2019

Minimal Session Types (Artifact).

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

Dagstuhl Artifacts Ser., 2019

Minimal Session Types (Extended Version).

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

CoRR, 2019

Minimal Session Types (Pearl).

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019