Deadlock in Packet Switching Networks. - Anna Stramaglia; Jeroen J. A. Keiren; Hans Zantema (FSEN, 2021)

Formal Verification of an Industrial UML-like Model using mCRL2. - Anna Stramaglia; Jeroen J. A. Keiren (FMICS, 2022)

Formal verification of an industrial UML-like model using mCRL2 (extended version). - Anna Stramaglia; Jeroen J. A. Keiren (CoRR, 2022)

Simplifying Process Parameters by Unfolding Algebraic Data Types. - Anna Stramaglia; Jeroen J. A. Keiren; Thomas Neele (ICTAC, 2023)

Efficient Evidence Generation for Modal μ-Calculus Model Checking. - Anna Stramaglia; Jeroen J. A. Keiren; Maurice Laveaux; Tim A. C. Willemse (TACAS (1), 2025)

Unfolding state variables improves model checking performance. - Anna Stramaglia; Jeroen J. A. Keiren; Thomas Neele (Theor. Comput. Sci., 2025)

Efficient Evidence Generation for Modal μ-Calculus Model Checking (extended version). - Anna Stramaglia; Jeroen J. A. Keiren; Maurice Laveaux; Tim A. C. Willemse (CoRR, 2025)