Content available in repository
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
Research output
-
Efficient Evidence Generation for Modal µ-Calculus Model Checking
Stramaglia, A. (Corresponding author), Keiren, J. J. A., Laveaux, M. & Willemse, T. A. C., 1 May 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, p. 191-210 20 p. (Lecture Notes in Computer Science (LNCS); vol. 15696).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile18 Downloads (Pure) -
Efficient Evidence Generation for Modal µ-Calculus Model Checking (extended version)
Stramaglia, A., Keiren, J. J. A., Laveaux, M. & Willemse, T. A. C., 27 Jan 2025, arXiv.org, 20 p.Research output: Working paper › Preprint › Academic
Open AccessFile7 Downloads (Pure) -
Model Checking Machine-Control Applications
Stramaglia, A., 5 Nov 2025, Eindhoven: Eindhoven University of Technology. 189 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile101 Downloads (Pure) -
Unfolding state variables improves model checking performance
Stramaglia, A., Keiren, J. J. A. (Corresponding author) & Neele, T., 22 May 2025, In: Theoretical Computer Science. 1038, 28 p., 115181.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile31 Downloads (Pure) -
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 AccessFile1 Citation (Scopus)12 Downloads (Pure)
Datasets
-
Artifact for 'Efficient Evidence Generation for Modal μ-Calculus Model Checking'
Stramaglia, A. (Creator), Keiren, J. J. A. (Creator), Laveaux, M. (Creator) & Willemse, T. A. C. (Creator), Zenodo, 10 Jan 2025
Dataset: Software
-
Artifact for 'Unfolding State Variables Improves Model Checking'
Stramaglia, A. (Creator), Keiren, J. J. A. (Creator) & Neele, T. (Creator), Zenodo, 10 Jul 2024
DOI: 10.5281/zenodo.12705700, https://zenodo.org/records/12705700
Dataset