Publications per year
Publications 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
-
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, (Accepted/In press) In: IEEE Transactions on Automatic Control. p. 1-16 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile5 Downloads (Pure) -
Approximate Constrained Lumping of Polynomial Differential Equations
Leguizamon-Robayo, A., Jiménez-Pastor, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, Proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB. Springer, Vol. 14137. p. 106-123Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Formal Lumping of Polynomial Differential Equations through Approximate Equivalences
Cardelli, L., Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, In: Journal of Logic and Algebraic Programming. 134, 19 p., 100876.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
Minimization of Dynamical Systems over Monoids
Argyris, G., Lafuente, A. L., Robayo, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile5 Downloads (Pure) -
Process Mining meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement
Casaluce, R., Burattin, A., Chiaromonte, F. & Vandin, A., 2023, Business Process Management Workshops. Springer, p. 243–256 (Lecture Notes in Business Information Processing, Vol. 460).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile68 Downloads (Pure)