Personal profile

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being

Fingerprint

Dive into the research topics where Andrea Burattin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Attack Tree Generation via Process Mining

    Konsta, A. M., Di Federico, G., Lluch Lafuente, A. & Burattin, A., 2025, Proceedings of the 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024. Springer, Vol. 15219. p. 356-372

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Tiramisù: making sense of multi-faceted process information through time and space

    Alman, A., Arleo, A., Beerepoot, I., Burattin, A., Ciccio, C. D. & Resinas, M., 2025, (Accepted/In press) In: Journal of Intelligent Systems. 23 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
    27 Downloads (Pure)
  • A Taste of the Different Flavors of Tiramisù

    Alman, A., Arleo, A., Beerepoot, I., Burattin, A., Ciccio, C. D. & Resinas, M., 2024, Proceedings of the ICPM 2024 Tool Demonstration Track. CEUR-WS, Vol. 3783. 6 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Encoding Petri Nets into CCS

    Bogø, B., Burattin, A. & Scalas, A., 2024, Proceedings of the 26th International Conference on Coordination Models and Languages. Springer, Vol. 14676. p. 38-55

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining

    Casaluce, R., Burratin, A., Chiaromonte, F., Lafuente, A. L. & Vandin, A., 2024, Proceedings of the 1st International Workshop on Detection And Mitigation Of Cyber attacks that exploit human vuLnerabilitiES (DAMOCLES). CEUR-WS, Vol. 3713. p. 9-20 (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    21 Downloads (Pure)