Static Analysis of Android Apps Interaction with Automotive CAN
2018-01-01 Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Kr Mandal, Amit; Spoto, Nicola Fausto
Relaxation approximation of optimal control problems and applications to traffic flow models
2018-01-01 Albi, Giacomo; Herty, Michael; Pareschi, Lorenzo
Context-aware access to heterogeneous resources through on-the-fly mashups
2018-01-01 Daniel, Florian; Matera, Maristella; Quintarelli, Elisa; Tanca, Letizia; Zaccaria, Vittorio
A deep learning approach to program similarity.
2018-01-01 Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto
The role of citizen-based support and finance mechanisms for strengthening and managing energy transition
2018-01-01 DE CRESCENZO, Veronica; Simeoni, Francesca
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions
2018-01-01 Payet, Étienne; Spoto, Nicola Fausto
Vulnerability analysis of Android auto infotainment apps
2018-01-01 Kr Mandal, Amit; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Nicola Fausto
CIL to Java-bytecode translation for static analysis leveraging
2018-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Static Analysis for GDPR Compliance
2018-01-01 Ferrara, Pietro; Spoto, Nicola Fausto
SDLI: Static Detection of Leaks Across Intents
2018-01-01 Salvia, Rocco; Ferrara, Pietro; Spoto, Nicola Fausto; Cortesi, Agostino
An Efficient Implementation of a Subgraph Isomorphism Algorithm for GPUs.
2019-01-01 Bonnici, V; Giugno, R; Bombieri, N
An Intersectional Analysis of Sexual Minority Men’s HIV Risk When Migrating to or Within Europe
2018-01-01 Pachankis, Je; Hatzenbuehler, Ml; Berg, Rc; Fernández-Dávila, P; Mirandola, M; Marcus, U; Weatherburn, P; Schmidt, Aj
Smart Choices for Deviceless and Device-Based Manipulation in Immersive Virtual Reality
2018-01-01 Caputo, Fabio M.; Mendes, Daniel; Bonetti, Alessia; Saletti, Giacomo; Giachetti, Andrea
Objective and Subjective Evaluation of Virtual Relighting from Reflectance Transformation Imaging Data
2018-01-01 Ruggero, Pintus; Dulecha, TINSAE GEBRECHRISTOS; Alberto, Jaspe; Giachetti, Andrea; Ciortan, IRINA-MIHAELA; Enrico, Gobbetti
Aging Prediction of Cultural Heritage Samples Based on Surface Microgeometry
2018-01-01 Ciortan, IRINA-MIHAELA; Marchioro, Giacomo; Daffara, Claudia; Pintus, Ruggero; Gobbetti, Enrico; Giachetti, Andrea
Analyzing body fat from depth images
2018-01-01 Carletti, Marco; Cristani, Marco; Cavedon, Valentina; Milanese, Chiara; Zancanaro, Carlo; Giachetti, Andrea
Planning with Real-Time Collision Avoidance for Cooperating Agents under Rigid Body Constraints
2019-01-01 Piccinelli, Nicola; Vesentini, Federico; Muradore, Riccardo
An energy saving approach to active object recognition and localization
2018-01-01 Roberti, Andrea; Muradore, Riccardo; Fiorini, Paolo; Cristani, Marco; Setti, Francesco
Efficient Hardware Realization of Arithmetic Operations for the Residue Number System by Booelan Minimization
2018-01-01 Gorodecky, D.; Villa, T.
Minimizing Deterministic Timed Finite State Machines
2018-01-01 Bresolin, Davide; Tvardovskii, Alexander; Yevtushenko, Nina; Villa, T.; Gromov, Maxim
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Static Analysis of Android Apps Interaction with Automotive CAN | 1-gen-2018 | Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Kr Mandal, Amit; Spoto, Nicola Fausto | |
| Relaxation approximation of optimal control problems and applications to traffic flow models | 1-gen-2018 | Albi, Giacomo; Herty, Michael; Pareschi, Lorenzo | |
| Context-aware access to heterogeneous resources through on-the-fly mashups | 1-gen-2018 | Daniel, Florian; Matera, Maristella; Quintarelli, Elisa; Tanca, Letizia; Zaccaria, Vittorio | |
| A deep learning approach to program similarity. | 1-gen-2018 | Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| The role of citizen-based support and finance mechanisms for strengthening and managing energy transition | 1-gen-2018 | DE CRESCENZO, Veronica; Simeoni, Francesca | |
| Checking Array Bounds by Abstract Interpretation and Symbolic Expressions | 1-gen-2018 | Payet, Étienne; Spoto, Nicola Fausto | |
| Vulnerability analysis of Android auto infotainment apps | 1-gen-2018 | Kr Mandal, Amit; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Nicola Fausto | |
| CIL to Java-bytecode translation for static analysis leveraging | 1-gen-2018 | Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto | |
| Static Analysis for GDPR Compliance | 1-gen-2018 | Ferrara, Pietro; Spoto, Nicola Fausto | |
| SDLI: Static Detection of Leaks Across Intents | 1-gen-2018 | Salvia, Rocco; Ferrara, Pietro; Spoto, Nicola Fausto; Cortesi, Agostino | |
| An Efficient Implementation of a Subgraph Isomorphism Algorithm for GPUs. | 1-gen-2019 | Bonnici, V; Giugno, R; Bombieri, N | |
| An Intersectional Analysis of Sexual Minority Men’s HIV Risk When Migrating to or Within Europe | 1-gen-2018 | Pachankis, Je; Hatzenbuehler, Ml; Berg, Rc; Fernández-Dávila, P; Mirandola, M; Marcus, U; Weatherburn, P; Schmidt, Aj | |
| Smart Choices for Deviceless and Device-Based Manipulation in Immersive Virtual Reality | 1-gen-2018 | Caputo, Fabio M.; Mendes, Daniel; Bonetti, Alessia; Saletti, Giacomo; Giachetti, Andrea | |
| Objective and Subjective Evaluation of Virtual Relighting from Reflectance Transformation Imaging Data | 1-gen-2018 | Ruggero, Pintus; Dulecha, TINSAE GEBRECHRISTOS; Alberto, Jaspe; Giachetti, Andrea; Ciortan, IRINA-MIHAELA; Enrico, Gobbetti | |
| Aging Prediction of Cultural Heritage Samples Based on Surface Microgeometry | 1-gen-2018 | Ciortan, IRINA-MIHAELA; Marchioro, Giacomo; Daffara, Claudia; Pintus, Ruggero; Gobbetti, Enrico; Giachetti, Andrea | |
| Analyzing body fat from depth images | 1-gen-2018 | Carletti, Marco; Cristani, Marco; Cavedon, Valentina; Milanese, Chiara; Zancanaro, Carlo; Giachetti, Andrea | |
| Planning with Real-Time Collision Avoidance for Cooperating Agents under Rigid Body Constraints | 1-gen-2019 | Piccinelli, Nicola; Vesentini, Federico; Muradore, Riccardo | |
| An energy saving approach to active object recognition and localization | 1-gen-2018 | Roberti, Andrea; Muradore, Riccardo; Fiorini, Paolo; Cristani, Marco; Setti, Francesco | |
| Efficient Hardware Realization of Arithmetic Operations for the Residue Number System by Booelan Minimization | 1-gen-2018 | Gorodecky, D.; Villa, T. | |
| Minimizing Deterministic Timed Finite State Machines | 1-gen-2018 | Bresolin, Davide; Tvardovskii, Alexander; Yevtushenko, Nina; Villa, T.; Gromov, Maxim |
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
- 04 Contributo in atti di convegno14131
Data di pubblicazione
- In corso di stampa42
- 2020 - 20261620
- 2010 - 20194108
- 2000 - 20095808
- 1990 - 19991752
- 1980 - 1989654
- 1970 - 1979142
- 1967 - 19695
Editore
- Springer266
- IEEE220
- Springer-Verlag68
- ACM56
- SPRINGER INTERNATIONAL PUBLISHING AG48
- Springer Verlag45
- IEEE Computer Society41
- Monduzzi Editore37
- ESGAR - European Society Gastoint...28
- IEEE COMPUTER SOC28
Rivista
- HAEMATOLOGICA64
- JOURNAL OF HEPATOLOGY52
- BLOOD49
- EUROPEAN RESPIRATORY JOURNAL48
- PATHOLOGICA44
- LECTURE NOTES IN COMPUTER SCIENCE41
- JOURNAL OF CRANIO-MAXILLOFACIAL S...38
- MINERVA CARDIOANGIOLOGICA37
- ITALIAN JOURNAL OF GASTROENTEROLOGY35
- BOLLETTINO DI OCULISTICA33
Serie
- LECTURE NOTES IN COMPUTER SCIENCE256
- LECTURE NOTES IN ARTIFICIAL INTEL...64
- CEUR WORKSHOP PROCEEDINGS61
- LEIBNIZ INTERNATIONAL PROCEEDINGS...29
- PROCEEDINGS OF SPIE, THE INTERNAT...22
- LECTURE NOTES IN COMPUTER SCIENCE15
- PROCEEDINGS - INTERNATIONAL WORKS...13
- MECHANISMS AND MACHINE SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...10
- EDULEARN PROCEEDINGS10
Keyword
- pattern recognition63
- Verona63
- CdTe51
- abstract interpretation50
- Italia49
- asthma44
- children44
- diagnosi41
- treatment41
- trattamento40
Lingua
- eng8668
- ita4548
- fre163
- ger112
- spa87
- rus38
- und7
- por5
- cat3
- enm3
Accesso al fulltext
- no fulltext12317
- open907
- restricted609
- reserved294
- embargoed2
- mixed1
- partially open1