Anna Stramaglia

According to our database, Anna Stramaglia authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

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