Inizio contenuto principale del sito

Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A

Symbolic computation of differential equivalences Apre una nuova scheda del browser

(2016)

Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A

A tool-chain for statistical spatio-temporal model checking of bike sharing systems Apre una nuova scheda del browser

(2016)

Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A

Syntactic markovian bisimulation for chemical reaction networks Apre una nuova scheda del browser

(2017)

Vandin, A

Language-based Abstractions for Dynamical Systems Apre una nuova scheda del browser

(2017)

Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A

EGAC: A genetic algorithm to compare chemical reaction networks Apre una nuova scheda del browser

(2017)

Gilmore, S; Reijsbergen, D; Vandin, A

Transient and Steady-State Statistical Analysis for Discrete Event Simulators Apre una nuova scheda del browser

(2017)

Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A

ERODE: A tool for the evaluation and reduction of ordinary differential equations Apre una nuova scheda del browser

(2017)

Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea

BProVe: Tool Support for Business Process Verification Apre una nuova scheda del browser

(2017)

Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea

BProVe: a Formal Verification Framework for Business Process Models Apre una nuova scheda del browser

(2017)

Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis Apre una nuova scheda del browser

(2018)

Subscribe to