Cerca per relatore della tesi | |
Risultati da
1 a 12 di 62
| Autore |
Titolo |
Corso di studi |
Relatore |
| IPPOLITO, SIMONA |
Progetto e realizzazione di uno strumento di trasformazione del bytecode Java per una verifica efficiente |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| STILLI, SIMONE |
Progetto di uno strumento di trasformazione del ByteCode Java per la verifica efficiente su JavaCard. |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| FINELLI, FILIPPO |
Progetto di uno strumento di trasformazione del ByteCode Java per la verifica efficiente su JavaCard. |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| PUNTONI, GABRIELE |
Progetto e implementazione di uno strumento per la verifica della sicurezza delle informazioni nel Bytecode Java |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| FACCA, MAURIZIO |
Progetto e implementazione di uno strumento per la verifica della sicurezza delle informazioni nel Bytecode Java |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| PROVENZANO, NICOLA ALESSANDRO |
Progettazione e sviluppo di uno strumento per la tutela della riservatezza delle informazioni in applicazioni .NET |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| CASAMASSIMA, GIANFRANCO |
Uno strumento per la verifica delle subroutine nel bytecode Java per sistemi con risorse limitate |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| AGOSTINI, MANOLA |
Uno strumento basato sulle reti di Petri per determinare le dipendenze di programmi concorrenti |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| TINARI, LIVIANA |
Progettazione di un database per la verifica della sostenibilità dell'offerta formativa dell'Università di Pisa. |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| VESTRINI, RICCARDO |
Progetto e realizzazione di un sistema per la rilevazione di exploit polimorfici |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| LEDDA, GIOVANNI |
Progetto e realizzazione di un simulatore per sistemi biologici tramite calcolo delle membrane |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| FINA, VALERIO |
UN'ANALISI DEI CONTROLLI DI TIPO NELLA JAVA VIRTUAL MACHINE |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
