Research output per year
Research output per year
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/
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):
Keywords
- User defined:
- Qualitative and quantitative system modeling and analysis
- Domain Specific Languages
- Large-scale performance analysis
- Formal methods
- Model reduction
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
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
-
Efficient Network Embedding by Approximate Equitable Partitions
Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2025, Proceedings of the 2024 IEEE International Conference on Data Mining (ICDM) . IEEE, p. 440-449Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Optimality-Preserving Reduction of Chemical Reaction Networks
Larsen, K. G., Toller, D., Tribastone, M., Tschaikowski, M. & Vandin, A., 2025, Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, ISoLA. Springer, Vol. 15220. p. 13-32Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa
Vandin, A., 2025, Proceedings of the Second International Conference - AISoLA 2024. Springer, p. 398-419Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Approximate Reductions of Rational Dynamical Systems in CLUE
Jiménez-Pastor, A., Leguizamon-Robayo, A., Tschaikowski, M. & Vandin, A., 2024, Proceedings of the 22nd International Conference on Computational Methods in Systems Biology . Springer, p. 108-116Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Dissimilarity for Linear Dynamical Systems
Bacci, G., Bacci, G., Larsen, K. G., Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2024, Proceedings of the International Joint Conference for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. Springer, Vol. 14996. p. 125-142Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review