COSTA, GABRIELE
COSTA, GABRIELE
100025 - Dipartimento di ingegneria meccanica, energetica, gestionale e dei trasporti
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
Formal Modeling and Reasoning about the Android Security Framework
2013-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings
2015-01-01 Armando, Alessandro; Bocci, Gianluca; Chiarelli, Giantonio; Costa, Gabriele; De Maglie, Gabriele; Mammoliti, Rocco; Merlo, Alessio
Trustworthy Opportunistic Access to the Internet of Services
2013-01-01 Armando, Alessandro; Aniello, Castiglione; Costa, Gabriele; Ugo, Fiore; Merlo, Alessio; Verderame, Luca; Ilsun, You
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal Modeling and Reasoning about the Android Security Framework | 1-gen-2013 | Armando, Alessandro; Costa, Gabriele; Merlo, Alessio | |
| Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings | 1-gen-2015 | Armando, Alessandro; Bocci, Gianluca; Chiarelli, Giantonio; Costa, Gabriele; De Maglie, Gabriele; Mammoliti, Rocco; Merlo, Alessio | |
| Trustworthy Opportunistic Access to the Internet of Services | 1-gen-2013 | Armando, Alessandro; Aniello, Castiglione; Costa, Gabriele; Ugo, Fiore; Merlo, Alessio; Verderame, Luca; Ilsun, You |