Anna Stramaglia

View Scopus Profile

Anna Stramaglia, MSc

20212023

Content available in repository

Personal profile

Education/Academic qualification

Computer science, other, Master, Deadlocks in packet switching network, University of Trieste

Sept 2017 → Apr 2020

Award Date: 16 Apr 2020

Fingerprint

Dive into the research topics where Anna Stramaglia is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 3 Conference contribution
  • 2 Preprint

  • Simplifying Process Parameters by Unfolding Algebraic Data Types

    Stramaglia, A. (Corresponding author), Keiren, J. J. A. & Neele, T., 23 Nov 2023, Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings. Ábrahám, E., Dubslaff, C. & Tapia Tarifa, S. L. (eds.). Springer, p. 399-416 18 p. (Lecture Notes in Computer Science (LNCS); vol. 14446).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Downloads (Pure)

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

    Stramaglia, A. & Keiren, J. J. A., 2022, Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Proceedings. Groote, J. F. & Huisman, M. (eds.). Springer, p. 86-102 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13487 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

    Stramaglia, A. & Keiren, J. J. A., 17 May 2022.

    Research output: Working paper › Preprint › Academic

    File
    44 Downloads (Pure)

  • Deadlock in packet switching networks

    Stramaglia, A., Keiren, J. J. A. & Zantema, H., 15 Jan 2021, (CoRR).

    Research output: Working paper › Preprint › Academic

    File
    27 Downloads (Pure)

  • Deadlock in Packet Switching Networks

    Stramaglia, A., Keiren, J. J. A. & Zantema, H., 17 Oct 2021, Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Springer, p. 127-141 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12818 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review