Computer Science Department

Universita` Ca' Foscari, Venezia, Italy


Tino Cortesi

Full professor
Head of the Computer Science Department


Tesi Assegnate
Laurea in Scienze dell'Informazione
  • GIACOMINI GIUSEPPE, "UN SOFTWARE PER IL MONITORAGGIO REMOTO ED IL CONTROLLO AUTOMATICO DELL'HARDWARE DI UN CENTRO ELABORAZIONE DATI". 1997
  • POLESE FEDERICA, "JAVA E SISTEMI DI BASI DI DATI : PORTABILITA' DI UNO STRUMENTO DI TESTING A DISTANZA". 1997
  • MARTINI ANTONIO, "UN'APPLICAZIONE WWW PER SERVIZIO METEOROLOGICO" 1998
  • SALVADORI FABIO, "UN PROTOCOLLO DI CONFIGURAZIONE PER APPLET JAVA BASATO SU ANALISI STATICA DEL BYTECODE". 1998
  • ZOPPELLO ANDREA, "DESIGN PATTERNS E PROGETTAZIONE DI SISTEMI OBJECT - ORIENTED". 1998
  • CARDINALI PAOLA, "ANALISI STATICA DI LINGUAGGI A OGGETTI". 1998
  • CAMPAGNARO PAOLO, "IMPATTO DELL'ASSICURAZIONE DI QUALITA' SUL PROCESSO DI PRODUZIONE DI SOFTWARE OBJECT ORIENTED E ANALISI DI UN CASO REALE". 1999
  • MORETTI CHIARA, "IMPATTO DELL'ASSICURAZIONE DI QUALITA' SUL PROCESSO DI PRODUZIONE DI SOFTWARE OBJECT ORIENTED E PROGETTAZIONE DI UN CASO REALE". 1999
  • SANDRI DENIS, "ESTENSIONI DELL'AMBIENTE "LEARNING SPACE" PER LA DIDATTICA A DISTANZA". 1999
  • TRABACCHIN ANNALISA, "PROGETTAZIONE DI APPLICAZIONI COOPERATIVE PER L'ETA' PRE-SCOLARE IN JAVA". 1999
  • BALDISSERRI ROBERTO, "PROGETTAZIONE E SVILUPPO DI SOFTWARE PER LA GESTIONE REMOTA DEGLI ALLARMI DI UNA STANZA RADIO". 2000
  • PIVATO ALBERTO, "ANALISI STATICA DI PROPRIETA' DI SICUREZZA IN SISTEMI MOBILI". 2000
  • COSMO MARCO, "UN INTERPRETE ASTRATTO PER L'ANALISI DI TIPO PER PROGRAMMI JAVA". 2001
  • CAMBRISI ALIOSCIA, "SPERIMENTAZIONE DI UN SISTEMA DI FORMAZIONE A DISTANZA: LOTUS LEARNING SPACE". 2001
  • TONON MATTIA-LORENZO, "ANALISI STATICA DI PROGRAMMI BYTECODE JAVA PER LA VERIFICA DI FLUSSI DI INFORMAZIONI SICURA". 2002
  • SVALDUZ VERONICA, "COSA CAMBIA CON LA RIFORMA DEI CICLI SCOLASTICI: L'NTRODUZIONE DELL'INFORMATION AND COMUNICATION TECHNOLOGY NELLA SCUOLA PRIMARIA". 2003
  • MISSIO ALESSIO, "CONTRATTI E SCENARI NELL'INGEGNERIA DEL SOFTWARE". 2005

Laurea Quinquennale in Informatica
  • BATTISTEL DAVID, "UNO STRUMENTO DI ANALISI DI VISIBILITA' PER PAGINE WEB". 2000
  • TAFFURELLI ENRICA, "IL CURRICULUM DI INFORMATICA NEL RIORDINO DEI CICLI SCOLASTICI: CONTENUTI E STRUMENTI". 2000
  • ZANETTE SARA, "LA PROGRAMMAZIONE A VINCOLI: ALGORITMI DI SCHEDULING IN OPL". 2001
  • PETRUZZI ANDREA, "ANALISI CONTROL FLOW PER INFERIRE FLUSSI DI INFORMAZIONE IN MOBILE AMBIENTS E SAFE AMBIENTS". 2002
  • ALACQUA ANDREA, "ANALISI DI ANNIDAMENTO DI AMBIENTI PER SAFE AMBIENTS". 2003
  • TASSETTO MANUELA, "DOMINI ASTRATTI PER SHAPE ANALISIS". 2004

Laurea Specialistica in Informatica
  • MASIERO NICOLA, "USABILITÀ E ACCESSIBILITÀ DI SISTEMI DI HELP ON LINE". 2003
  • GIRARDELLO SIMONE, "PROGETTAZIONE ESVILUPPO DI UN TOOL PER LA PIANIFICAZIONE E IL MONITORAGGIO DI UN PERCORSO DI STUDI UNIVERSITARI". 2004
  • CALZAVARA ANDREA, "SICUREZZA DEI PROGRAMMI JAVA CARD". 2004
  • FERRARA PIETRO, "DEVELOPMENT OF A STATIC ANALYSER FOR OBJECT ORIENTED LANGUAGES AND APPLICATION TO THE FIREWALL ANALYSIS OF JAVACARD". 2004
  • ZANETTI GIORGIA, "APPLICATION PERFORMANCE MANAGEMENT: UNA METODOLOGIA PER MISURARE E MIGLIORARE LE PRESTAZIONI DELLE APPLICAZIONI WEB". 2006
  • BRUSO' MAYLA, "NON-REPUDIATION ANALYSIS WITH LYSA". 2008
  • CAPPELLAZZO PIETRO, "ERP: UN MODELLO PER IL CAMBIAMENTO". 2008
  • CEOLIN DAVIDE, "STATIC ANALYSIS OF CRYPTOGRAPHIC AND SECURITY APIs" 2008

Laurea Specialistica in Informatica per le Discipline Umanistiche
  • ZECCA SABRINA, "WEBSTAT: UN SISTEMA DI ELABORAZIONE AUTOMATICA DELLE STATISTICHE NEL PROCEDIMENTO PENALE MINORILE". 2006
  • BOSCHETTO EMANUELA, "PROGETTO ADA - AVVICINARE LE DONNE ALL'INFORMATICA". 2006
  • BROCCHI FRANCESCO, "STRUMENTI MULTICANALE DI CUSTOMER SATISFACTION PER LA PUBBLICA AMMINISTRAZIONE". 2006
  • DAINESE ROBERTA, "SERVIZI WEB DI RASSEGNA STAMPA". 2007

Laurea Triennale in Informatica
  • GIRARDELLO SIMONE, TESTING DI PROGRAMMI ORIENTATI AD OGGETTI 2002
  • MATTEAZZI DENIS, TESTING DI UN TOOL PER L'ANALISI CONTROL FLOW DI AMBIENTI MOBILI 2002
  • MION MANUELE, BREVETTI DI PRODOTTI SOFTWARE 2002
  • PETRUZZI ANDREA, ANALISI STATICA DI DUE VARIANTI DELL'AMBIENT CALCULUS 2002
  • SANTORO FRANCESCO, ABSTRACT MODEL CHECKING 2002
  • SENO MARCO, ANALISI E PROGETTAZIONE DI UN SISTEMA DI PRODUZIONE CON METODOLOGIA UML. 2002
  • VINO ALESSANDRO, PROGETTAZIONE DI UN CATALOGO LIBRARIO SU WEB. 2002
  • SARTORI LUCA, REALIZZAZIONE DI UN MODULO DIDATTICO SUL LINGUAGGIO PHP 2002
  • CARNERA DARIO, PROGRAMMAZIONE DI SISTEMI EMBEDDED 2002
  • FRANZOI MATTEO, MISURARE IL SOFTWARE 2002
  • CALZAVARA ANDREA, TECNOLOGIE E LINGUAGGI PER IL WIRELESS 2003
  • RUZZA MICHELA, LINGUAGGI DI PROGRAMMAZIONE PER SISTEMI WIRELESS 2003
  • FORNARO EMANUELE, PROJMAN: SVILUPPO DI UN'APPLICAZIONE WEB DI PROJECT MANAGEMENT SYSTEM IN AMBIENTE WEBOBJECT 2003
  • MORELLO FABIO, IL SISTEMA INFORMATIVO DI LOTTO SPORT ITALIA 2003
  • PENNA SANTO, SOFTWARE RELIABILITY METHODS 2003
  • RIVIELLO CRISTINA, REALIZZAZIONE DI UN PORTALE D'INFORMATICA MEDICA 2003
  • CARRADORI CARLO, ANALISI DI FAIRNESS E NON REPUDIATON NEI PROTOCOLLI 2004
  • DE VIDO BARBARA, PROGETTAZIONE E SVILUPPO DI UN SISTEMA DI NAVIGAZIONE SU MAPPE ONLINE 2004
  • GERARDUZZI MICHELE, PROGETTI DI WEB DESIGN, APPLICAZIONI LATO SERVER E LATO CLIENTI SVILUPPATI PRESSO BAZZMANN SRL 2004
  • TISO LUCA, LA SICUREZZA NELLE RETI WIFI 2004
  • CAPPELLAZZO PIETRO, ANALISI E FORMALIZZAZIONE DEI REQUISITI NON FUNZIONALI 2005
  • LEMBERG ALJOSCHA ANDREAS, SPECIFICHE DEL SOFTWARE 2005
  • POZZANA MAURO, PROGETTAZIONE E SVILUPPO DI UNO STRUMENTO DI ANALISI DEGLI ACCESSI AD UN PORTALE WEB. 2005
  • SPINAZZE' PAOLA, TECNICHE DI REENGINEERING DEL SOFTWARE, 2005
  • VENIER RICCARDO, GUIDA ALLA CERTIFICAZIONE ISO 9000 PER LE ORGANIZZAZIONI UTENTI E LE AZIENDE D'INFORMATICA 2005
  • BELLEMO MASSIMO, GIUSTIZIA MINORILE: ELABORAZIONE AUTOMATICA DELLE STATISTICHE NEL PROCEDIMENTO PENALE 2006
  • BISON ENRICO, VALUTAZIONE DEL SOFTWARE: FUNCTION POINTS 2006
  • CONSALES FABRIZIO, GIUSTIZIA MINORILE: ELABORAZIONE AUTOMATICA DELLE STATISTICHE NEL PROCEDIMENTO PENALE 2006
  • LUPIS FEDELE, PROTOCOLLI DI COMUNICAZIONE PER IL DIGITALE TERRESTRE 2007
  • MARCUZZI FEDERICA, PROGETTAZIONE E SVILUPPO DI APPLICAZIONI GESTIONALI SU PIATTAFORMA POCKET PC 2007
  • BERGAMASCO FILIPPO, SISTEMA DI AUTHORING, REPORTING ED EROGAZIONE MULTICANALE DI QUESTIONARI PER L'ANALISI DELLA CUSTOMER SATISFACTION. 2007
  • MARCATO FILIPPO, MODELLIZZAZIONE DEI PROCESSI PER IL DISASTER RECOVERY 2007
  • SFOGGIA ALBERTO, RISK ASSESSMENT PER LA PIANIFICAZIONE DEL DISASTER RECOVERY 2007
  • MIALICH GIULIA, DEVELOPING AN INTERACTIVE PLATFORM FOR EDUCATIONAL GUIDANCE: MODELING AND MANAGING 2D AND 3D CONTENTS 2008
  • RESTIFO FRANCESCO, DEVELOPING AN INTERACTIVE PLATFORM FOR EDUCATIONAL GUIDANCE: APPLICATION LOGIC DESIGN 2008
  • CATTOZZI FEDERICO, MUSINESS.COM: APPLICAZIONI CLIENT-SERVER E WEB-BASED PER LA RIVENDITA DI BRANI MUSICALI DA PARTE DI UTENTI FINALI 2008
  • FAVARO MATTEO, STRUMENTI PER LA GESTIONE E L'EROGAZIONE MULTICANALE DI QUESTIONARI 2008
  • URBANI LUCA, WEB COLLABROATIVO E SUE APPLICAZIONI AGLI ENTI PUBBLICI 2008
  • PERIS MATTIA, PROGETTAZIONE DI UN SIMULATORE PER LA VALIDAZIONE DI UN PIANO DI DISASTER RECOVERY 2008
  • SCARPA ALESSANDRO, PROGETTAZIONE E SVILUPPO DI UN PROTOTIPO DI CONSOLE PER AIR TRAFFIC CONTROL 2008