Anna Stramaglia

According to our database, Anna Stramaglia authored at least 7 papers between 2021 and 2025.

Collaborative distances:

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

2025

Efficient Evidence Generation for Modal μ-Calculus Model Checking (extended version).

Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse

CoRR, January, 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.

Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2023

Simplifying Process Parameters by Unfolding Algebraic Data Types.

Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Formal verification of an industrial UML-like model using mCRL2 (extended version).

Anna Stramaglia, Jeroen J. A. Keiren

CoRR, 2022

Formal Verification of an Industrial UML-like Model using mCRL2.

Anna Stramaglia, Jeroen J. A. Keiren

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2021

Deadlock in Packet Switching Networks.

Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021