Name Card

Full name Familienname, Vorname
Vandin, Andrea
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cardelli, Luca ; Grosu, Radu ; Larsen, Kim G. ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Lumpability for Uncertain Continuous-Time Markov ChainsKonferenzbeitrag Inproceedings 2021
2Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability AnalysisKonferenzbeitrag Inproceedings2018
3Tognazzi, Stefano ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Backward Invariance for Linear Differential Algebraic EquationsKonferenzbeitrag Inproceedings2018