A. Ravara

NOVA LINCS and NOVA FCT, Lisbon, Portugal

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)

Frequent co-authors

Francisco Parrinha (1)Francisco Parrinha (1)João Mota (1)João Mota (1)

Papers (1)

Apr 8, 2026

NOVA LINCS and NOVA FCTApr 8, 2026·also NOVA School of Science and Technology

Modelling Distributed Applications with Mixed-Choice Stateful Typestates

Traditional typestates fall short in modeling complex distributed systems, but this work introduces a novel extension that captures quantitative constraints and concurrent I/O, enabling more accurate verification.

Francisco Parrinha, Francisco Parrinha, João Mota +3

Architecture Design (Transformers, SSMs, MoE)Code Generation & Program Synthesis Distributed Systems & Hardware

Search

A. Ravara

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)