Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.181 a 1.200 di 5.283
Awareness and Control in Adaptable Transition Systems
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
A white box perspective on behavioural adaptation
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Symbolic computation of differential equivalences
2016-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Statistical model checking for product lines
2016-01-01 ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A
Efficient syntax-Driven lumping of differential equations
2016-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
2016-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
2016-01-01 Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A
Transient and Steady-State Statistical Analysis for Discrete Event Simulators
2017-01-01 Gilmore, S; Reijsbergen, D; Vandin, A
Syntactic markovian bisimulation for chemical reaction networks
2017-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Language-based Abstractions for Dynamical Systems
2017-01-01 Vandin, A
ERODE: A tool for the evaluation and reduction of ordinary differential equations
2017-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
BProVe: a Formal Verification Framework for Business Process Models
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
BProVe: Tool Support for Business Process Verification
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
QFLan: A tool for the quantitative analysis of highly reconfigurable systems
2018-01-01 Vandin, A; ter Beek, M H; Legay, A; Luch Lafuente, A
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
2018-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
Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial
2019-01-01 Tribastone, M; Vandin, A
Backward Invariance for Linear Differential Algebraic Equations
2019-01-01 Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A
EGAC: A genetic algorithm to compare chemical reaction networks
2017-01-01 Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A
Telemetry in Disaggregated Optical Networks
2020-01-01 Paolucci, Francesco; Sgambelluri, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Awareness and Control in Adaptable Transition Systems | 1-gen-2015 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
| A white box perspective on behavioural adaptation | 1-gen-2015 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
| Symbolic computation of differential equivalences | 1-gen-2016 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Statistical model checking for product lines | 1-gen-2016 | ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A | |
| Efficient syntax-Driven lumping of differential equations | 1-gen-2016 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective | 1-gen-2016 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| A tool-chain for statistical spatio-temporal model checking of bike sharing systems | 1-gen-2016 | Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A | |
| Transient and Steady-State Statistical Analysis for Discrete Event Simulators | 1-gen-2017 | Gilmore, S; Reijsbergen, D; Vandin, A | |
| Syntactic markovian bisimulation for chemical reaction networks | 1-gen-2017 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Language-based Abstractions for Dynamical Systems | 1-gen-2017 | Vandin, A | |
| ERODE: A tool for the evaluation and reduction of ordinary differential equations | 1-gen-2017 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| BProVe: a Formal Verification Framework for Business Process Models | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | |
| BProVe: Tool Support for Business Process Verification | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | |
| QFLan: A tool for the quantitative analysis of highly reconfigurable systems | 1-gen-2018 | Vandin, A; ter Beek, M H; Legay, A; Luch Lafuente, A | |
| Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis | 1-gen-2018 | 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 | |
| Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial | 1-gen-2019 | Tribastone, M; Vandin, A | |
| Backward Invariance for Linear Differential Algebraic Equations | 1-gen-2019 | Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A | |
| EGAC: A genetic algorithm to compare chemical reaction networks | 1-gen-2017 | Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Telemetry in Disaggregated Optical Networks | 1-gen-2020 | Paolucci, Francesco; Sgambelluri, Andrea |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.181 a 1.200 di 5.283
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
Scopri
Tipologia
- 4 Contributo in Atti Convegno (Pr...5283
Data di pubblicazione
- In corso di stampa15
- 2020 - 20261020
- 2010 - 20192499
- 2000 - 20091513
- 1990 - 1999212
- 1980 - 198921
- 1976 - 19793
Editore
- IEEE1291
- Institute of Electrical and Elect...446
- IEEE Computer Society287
- Springer129
- SPIE84
- Optical Society of America52
- ISHS51
- Springer Verlag51
- OSA50
- ACM49
Rivista
- ACTA HORTICULTURAE29
- PROCEEDINGS OF SPIE, THE INTERNAT...26
- IEEE ENGINEERING IN MEDICINE AND ...20
- LECTURE NOTES IN COMPUTER SCIENCE18
- BIOSYSTEMS & BIOROBOTICS15
- GAIT & POSTURE12
- INTERNATIONAL CONFERENCE ON TRANS...10
- PROCEEDINGS OF THE ... IEEE/RAS-E...10
- IEEE INTERNATIONAL CONFERENCE ON ...8
- IEEE INTERNATIONAL CONFERENCE ON ...7
Serie
- LECTURE NOTES IN COMPUTER SCIENCE51
- IEEE ENGINEERING IN MEDICINE AND ...28
- INTERNATIONAL CONFERENCE ON TRANS...26
- LECTURE NOTES IN ARTIFICIAL INTEL...21
- PROCEEDINGS OF THE ... IEEE/RAS-E...19
- BIOSYSTEMS & BIOROBOTICS18
- ANNUAL INTERNATIONAL CONFERENCE O...16
- PROCEEDINGS OF SPIE, THE INTERNAT...16
- IFAC-PAPERSONLINE15
- IEEE INTERNATIONAL CONFERENCE ON ...14
Keyword
- Electrical and Electronic Enginee...160
- Computer Networks and Communications123
- Electronic104
- Optical and Magnetic Materials104
- Artificial Intelligence67
- Biomedical Engineering57
- Signal Processing56
- Computer Science Applications1707...49
- Software49
- Hardware and Architecture48
Lingua
- eng4833
- ita434
- spa8
- fre5
- tur2
- enm1
- ger1
- kor1
- mul1
- por1
Accesso al fulltext
- no fulltext3765
- open659
- reserved460
- restricted396
- partially open2
- embargoed1