Andrea Vandin

Andrea Vandin

Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 324, rum 180

2800 Kgs. Lyngby

Hjemmeside

Få tilsendt vCard på e-mail.

Publikationer
Kurser
Loading

Publikationer rss feed

2019
 

Symbolic computation of differential equivalences

Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea
in: Theoretical Computer Science, vol: 777, pages: 132-154

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1016/j.tcs.2019.03.018

 

Speeding up stochastic and deterministic simulation by aggregation

Tribastone, Mirco ; Vandin, Andrea
part of: Proceedings of the 2018 Winter Simulation Conference, pages: 336-350, 2019, IEEE
Presented at:
2018 Winter Simulation Conference, WSC 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1109/WSC.2018.8632364

 

Statistical analysis of CARMA models

Galpin, Vashti ; Georgoulas, Anastasis ; Loreti, Michele ; Vandin, Andrea
part of: Proceedings of the 2018 Winter Simulation Conference, pages: 395-409, 2019, IEEE
Presented at:
2018 Winter Simulation Conference, WSC 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1109/WSC.2018.8632456

  PDF

A framework for quantitative modeling and analysis of highly (re)configurable systems

ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea
in: I E E E Transactions on Software Engineering

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    År: 2019     |    DOI: https://doi.org/10.1109/TSE.2018.2853726

 

Comparing chemical reaction networks

Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea
in: Theoretical Computer Science, vol: 765, pages: 47-66

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1016/j.tcs.2017.12.018

 

UTOPIC: Under-Approximation Through Optimal Control

Doncel, Josu ; Gast, Nicolas ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea
part of: Quantitative Evaluation of Systems, pages: 277-291, 2019, Springer
Presented at:
16th International Conference on Quantitative Evaluation of Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1007/978-3-030-30281-8_16

2018
 

Backward Invariance for Linear Differential Algebraic Equations

Tognazzi, Stefano ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea
part of: Proceedings of 2018 IEEE Conference on Decision and Control, pages: 3771-3776, 2019, IEEE
Presented at:
57th IEEE Conference on Decision and Control

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1109/CDC.2018.8619710

 

Differential Equivalence Yields Network Centrality

Tognazzi, Stefano ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea
part of: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, pages: 186-201, 2018, Springer
Presented at:
International Symposium on Leveraging Applications of Formal Methods

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-030-03424-5_13

  PDF

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis

Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea
part of: Quantitative Evaluation of Systems , pages: 104-121, 2018, Springer
Presented at:
15th International Conference on Quantitative Evaluation of SysTems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-99154-2_7

  PDF

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Vandin, Andrea ; Ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto
part of: Formal Methods, pages: 329-337, 2018, Springer
Presented at:
Federated Logic Conference 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-95582-7_19