Skip to main navigation Skip to search Skip to main content
Andrea Vandin

View Scopus Profile

Andrea Vandin

 https://orcid.org/0000-0002-2606-7241

  • Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby

    Denmark

Personal profile

Profile

I am an Associate Professor in the section Formal Methods for Safe and Secure Systems at DTU Compute.

Visit my home page for further details: http://people.compute.dtu.dk/anvan/

Keywords

  • User defined:
  • Qualitative and quantitative system modeling and analysis
  • Domain Specific Languages
  • Large-scale performance analysis
  • Formal methods
  • Model reduction

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):

  1. SDG 3 - Good Health and Well-being
    SDG 3 Good Health and Well-being
  2. SDG 11 - Sustainable Cities and Communities
    SDG 11 Sustainable Cities and Communities

Fingerprint

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

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
Explore network further
  • 54 Article in proceedings
  • 29 Journal article
  • 6 Book chapter
  • 2 Conference article

  • Enhancing quality and decision-making for care pathways: An application of process mining in cancer care

    Ferré, F., Seghieri, C., Sarv Ahrabi, S., Burattin, A. & Vandin, A., 2026, In: PLoS ONE. 21, 1, 24 p., e0339788.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    12 Downloads (Orbit)

  • Fast, robust, and accurate anomaly detection for multivariate time series

    Tonini, S., Vandin, A., Chiaromonte, F., Licari, D. & Barsacchi, F., 2026, (Accepted/In press) In: Advances in Data Analysis and Classification. 27 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access

  • From Text to Process: Leveraging LLMs to Unveil Italian Lawmaking

    Contestabile, M., Ferrara, C., Giovannetti, A., Parrillo, G. & Vandin, A., 2026, Proceedings of the 23rd International Conference on Business Process Management (BPM 2025). Springer, p. 516-530 (Business Process Management Workshops).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Optimality-preserving reduction of controlled chemical reaction networks

    Larsen, K. G., Toller, D., Tribastone, M., Tschaikowski, M. & Vandin, A., 2026, In: International Journal on Software Tools for Technology Transfer. 28, p. 131–145

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    9 Downloads (Orbit)

  • Approximate constrained lumping of chemical reaction networks

    Leguizamon-Robayo, A., Jiménez-Pastor, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2025, In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 481, 2317, 27 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

View all 91 publications