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
Haptic stimulation for improving training of a motor imagery bci developed for a hand-exoskeleton in rehabilitation
2019-01-01 Missiroli, F.; Barsotti, M.; Leonardis, D.; Gabardi, M.; Rosati, G.; Frisoli, A.
BrailleCursor: an Innovative Refreshable Braille Display Based on a Single Sliding Actuator and Simple Passive Pins
2019-01-01 Loconsole, C; Leonardis, D; Gabardi, M; Frisoli, A
Phase response characterization of semiconductor saturable absorber for applications in nonlinear optical signal processing and phase-modulated signals regeneration
2011-01-01 Mishra, L.; Nguyen, A.; Porzi, C.; Datta, P. K.; Bogoni, A.; Potì, L.
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...5340
Data di pubblicazione
- In corso di stampa15
- 2020 - 20261066
- 2010 - 20192510
- 2000 - 20091513
- 1990 - 1999212
- 1980 - 198921
- 1976 - 19793
Editore
- IEEE1293
- Institute of Electrical and Elect...463
- IEEE Computer Society289
- Springer133
- SPIE93
- Optical Society of America52
- Springer Verlag52
- ISHS51
- 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 SCIENCE57
- IEEE ENGINEERING IN MEDICINE AND ...29
- INTERNATIONAL CONFERENCE ON TRANS...26
- LECTURE NOTES IN ARTIFICIAL INTEL...21
- PROCEEDINGS OF SPIE, THE INTERNAT...21
- PROCEEDINGS OF THE ... IEEE/RAS-E...19
- BIOSYSTEMS & BIOROBOTICS18
- ANNUAL INTERNATIONAL CONFERENCE O...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
- eng4888
- ita436
- spa8
- fre5
- tur2
- enm1
- ger1
- kor1
- mul1
- por1
Accesso al fulltext
- no fulltext3765
- open671
- reserved483
- restricted418
- partially open2
- embargoed1