Anna Stramaglia

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Probabilistic Model

Quality Of Service

Packet Switching

Top Venues

Publications

Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele
Simplifying Process Parameters by Unfolding Algebraic Data Types. ICTAC (2023)
Anna Stramaglia, Jeroen J. A. Keiren
Formal Verification of an Industrial UML-like Model using mCRL2. FMICS (2022)
Anna Stramaglia, Jeroen J. A. Keiren
Formal verification of an industrial UML-like model using mCRL2 (extended version). CoRR (2022)
Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema
Deadlock in packet switching networks. CoRR (2021)
Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema
Deadlock in Packet Switching Networks. FSEN (2021)