Sfoglia per Autore
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems
2019-01-01 ter Beek, M. H.; Legay, A.; Lluch Lafuente, A.; Vandin, A.
Symbolic computation of differential equivalences
2019-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Statistical analysis of CARMA models: An advanced tutorial
2019-01-01 Galpin, V; Georgoulas, A; Loreti, M; Vandin, A
Comparing chemical reaction networks: A categorical and algorithmic perspective
2019-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial
2019-01-01 Tribastone, M; Vandin, A
RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL
2019-01-01 Vandin, A.
Backward Invariance for Linear Differential Algebraic Equations
2019-01-01 Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository
2019-01-01 Perez-Verona, I. C.; Tribastone, M.; Vandin, A.
UTOPIC: Under-approximation through optimal control
2019-01-01 Doncel, J; Gast, N; Tribastone, M; Tschaikowski, M; Vandin, A
Automated and Distributed Statistical Analysis of Economic Agent-Based Models
2020-01-01 Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; Chiaromonte, Francesca
A framework for quantitative modeling and analysis of highly (re)configurable systems
2020-01-01 ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A
Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios
2020-01-01 ter Beek, M. H.; Legay, A.; Lafuente, A. L.; Vandin, A.
Differential Equivalence for Linear Differential Algebraic Equations
2021-01-01 Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Reducing Boolean Networks with Backward Boolean Equivalence
2021-01-01 Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
A formal approach for the analysis of BPMN collaboration models
2021-01-01 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
Exact maximal reduction of stochastic reaction networks by species lumping
2021-01-01 Cardelli, Luca; Perez-Verona, Isabel Cristina; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea; Waizmann, Tabea
A large-scale assessment of exact lumping of quantitative models in the BioModels repository
2021-01-01 Perez-Verona, Isabel Cristina; Tribastone, Mirco; Vandin, Andrea
Lumpability for Uncertain Continuous-Time Markov Chains
2021-01-01 Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Quantitative security risk modeling and analysis with RisQFlan
2021-01-01 ter Beek, Maurice H.; Legay, Axel; Lluch Lafuente, Alberto; Vandin, Andrea
Improved estimations of stochastic chemical kinetics by finite-state expansion
2021-01-01 Waizmann, Tabea; Bortolussi, Luca; Vandin, Andrea; Tribastone, Mirco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems | 1-gen-2019 | ter Beek, M. H.; Legay, A.; Lluch Lafuente, A.; Vandin, A. | |
Symbolic computation of differential equivalences | 1-gen-2019 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
Statistical analysis of CARMA models: An advanced tutorial | 1-gen-2019 | Galpin, V; Georgoulas, A; Loreti, M; Vandin, A | |
Comparing chemical reaction networks: A categorical and algorithmic perspective | 1-gen-2019 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial | 1-gen-2019 | Tribastone, M; Vandin, A | |
RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL | 1-gen-2019 | Vandin, A. | |
Backward Invariance for Linear Differential Algebraic Equations | 1-gen-2019 | Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A | |
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository | 1-gen-2019 | Perez-Verona, I. C.; Tribastone, M.; Vandin, A. | |
UTOPIC: Under-approximation through optimal control | 1-gen-2019 | Doncel, J; Gast, N; Tribastone, M; Tschaikowski, M; Vandin, A | |
Automated and Distributed Statistical Analysis of Economic Agent-Based Models | 1-gen-2020 | Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; Chiaromonte, Francesca | |
A framework for quantitative modeling and analysis of highly (re)configurable systems | 1-gen-2020 | ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A | |
Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios | 1-gen-2020 | ter Beek, M. H.; Legay, A.; Lafuente, A. L.; Vandin, A. | |
Differential Equivalence for Linear Differential Algebraic Equations | 1-gen-2021 | Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea | |
Reducing Boolean Networks with Backward Boolean Equivalence | 1-gen-2021 | Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea | |
A formal approach for the analysis of BPMN collaboration models | 1-gen-2021 | Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | |
Exact maximal reduction of stochastic reaction networks by species lumping | 1-gen-2021 | Cardelli, Luca; Perez-Verona, Isabel Cristina; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea; Waizmann, Tabea | |
A large-scale assessment of exact lumping of quantitative models in the BioModels repository | 1-gen-2021 | Perez-Verona, Isabel Cristina; Tribastone, Mirco; Vandin, Andrea | |
Lumpability for Uncertain Continuous-Time Markov Chains | 1-gen-2021 | Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
Quantitative security risk modeling and analysis with RisQFlan | 1-gen-2021 | ter Beek, Maurice H.; Legay, Axel; Lluch Lafuente, Alberto; Vandin, Andrea | |
Improved estimations of stochastic chemical kinetics by finite-state expansion | 1-gen-2021 | Waizmann, Tabea; Bortolussi, Luca; Vandin, Andrea; Tribastone, Mirco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile