Tesi di Laurea

Deep Reinforcement Learning applicato alla Cybersecurity: un approccio automatico all'addestramento di reti neurali per il riconoscimento del malware

Laurea magistrale

Cybersecurity, Deep Reinforcement Learning, Machine Learning

Luca Di Vita

3/2019

Riconoscimento automatico di linguaggi non lieari

Laurea base

Linguaggi Formali, Linguaggi Visuali

Francesca Criber

3/2019

Sviluppo App di Supporto alla Distribuzione Merci Tesi Aziendale

Laurea base

Sviluppo mobile

Ionic, Cordova...

LFoundry, societa' con sede ad Avezzano, offre una tesi di primo livello avente come obiettivo la realizzazione di una APP multipiattaforma (Android e iOS) che sara' connessa alla WiFi aziendale e sfruttera' un barcode reader USB/Bluetooth per acquisire i numeri di lotto caricati sui carrelli inviandoli ad un Web Service integrato con il sistema Scheduling del materiale di Produzione (MACH) e di gestione dei percorsi dei Carrellisti. Ai candidati e' richiesta la conoscenza di almeno un framework di sviluppo di app multipiattaforma come XAMARIN (preferibile), React Native, IONIC, Apache Cordova, AngularJS. La durata prevista della tesi e' di tre mesi.

Mario Vetrini

10/2018

Uno Studio Sull’uso Di Relazioni Spaziali Per La Specifica Grammaticale Di Linguaggi Multidimensionali

Laurea magistrale

Linguaggi Formali, Linguaggi Visuali

Daniele Alaggia

10/2018

Database NoSQL: quando e come usarli in sostituzione dei relazionali?

Laurea base

DBMS, NoSQL

MongoDB

Alex Garofalo

10/2018

Sviluppo Di Applicazioni Per Blockchain Con Ethereum: Un Caso Di Studio Sul Catasto Distribuito

Laurea base

Blockchain

Luigi Cerone

10/2018

Uuoden: Automatic Generation Of Web Applications Based On Php Models

Laurea base

CMS

PHP

Marco Di Natale

12/2017

Interoperabilita' Tra Applicazioni E-Larning e Servizi Esterni Tramite Tecnologia LTI: Un'estensione Moodle Per La Didattica Interattiva Tesi Aziendale

Laurea base

e-Learning

LTI, Moodle, PHP

Davide Mariotti

12/2017

Contronto tra Tool di Data Analytics Tesi Aziendale

Laurea base

Data Analytics

Pentaho, Qlikview

Matteo Di Quinzio

12/2017

BeTechnology: Uso di Sensori di Prossimita' per la Personalizzazione dell'esperienza In-Shop Tesi Aziendale

Laurea base

Location-Based Information, User Profiling

PHP

Stefano Corsetti

12/2017

Il Framework Unity per lo sviluppo di Giochi in HTML5

Laurea base

Sviluppo Mobile

Unity

Tiziano Colella

10/2017

Analisi Tracciati di Missione Tesi Aziendale

Laurea magistrale

Applicazioni Web

Java, Javascript

E' disponibile una tesi di laurea magistrale, da svolgersi presso la REISS Romoli, nell'ambito di un progetto che prevede la realizzazione di un'applicazione web per l'importazione e l'analisi di dati rappresentanti voci di spesa. Il software da realizzare dovra' essere estremamente semplice da estendere, e per questo nel realizzarlo si prevede di far uso estensivo di tecnologie di scripting. Il lavoro di tesi potra' essere preceduto da un tirocinio aziendale propedeutico, durante il quale il candidato dovra' analizzare il formato di questi dati al fine di identificare un modello comune e delle opportune procedure di mappatura che dovranno uniformarne la struttura. Verra' quindi prototipato (in linguaggio Java e/o Javascript) il sistema di importazione, prestando particolare attenzione alla sua estendibilita' futura.

Angelo Iezzi

10/2017

Java to Javascript

Laurea base o magistrale

Javascript, Web Applications

Java, Javascript

Lo scopo di questa tesi e' studiare le caratteristiche, l'applicabilita' e le limitazioni delle attuali tecniche source-to-source o bytecode-to-source per trasformare codice Java SE nel suo equivalente Javascript in maniera (semi)automatica, ad esempio il JSweet transpiler. L'indagine si occupera' prima del codice Java di base, per poi estendersi alle librerie grafiche (AWT e Swing), determinando quali elementi possono essere trasformati in maniera (semi)automatica in HTML5+CSS+Javascript. Come caso di studio, prima si convertira' in Javascript una libreria Java preesistente, e di seguito si cerchera' trasformare in applicazione HTML5 un'applicazione grafica Java Swing basata su questa libreria. Ovviamente, per lavorare su questa tesi e' richiesta un'ottima padronanza del linguaggio Javascript, oltre che una buona conoscenza di Java.

Luca Grillo

10/2017

Un'Applicazione Mobile per il Monitoriaggio Remoto di Autoveicoli Tramite Standard OBDII Tesi Aziendale

Laurea base

Sviluppo Mobile (Android o iOS), Web Applications

HTML5, Javascript, Mobile development tools, PHP, SQL

La ABALOG srl (sede di Avezzano) offre agli studenti di svolgere una tesi aziendale relativa alla tracciabilita' satellitare degli autoveicoli. Gli obiettivi del progetto sono ottimizzare la piattaforma web esistente per la gestione dei dati provenienti dai terminali GPS installati a bordo dei veicoli e ottimizzare/integrare con la piattaforma web la relativa app Android. Il progetto prevede una permanenza in azienda da 3 a 6 mesi (il lavoro relativo alla tesi vera e propria potra' concludersi in tempi piu' brevi, concordati con il relatore) con possibile assunzione a fine lavoro.

Manuel Di Pietro

10/2017

Uno studio sulla rappresentazione dell'informazione spaziale

Laurea base

Linguaggi visuali, Relazioni spaziali

Alessandro Liberato

7/2017

Monitoraggio Carriere Scolastiche

Laurea magistrale

Applicazioni Web LAMP

E' disponibile una tesi di laurea (base o magistrale), da svolgersi presso gli istituti scolastici del comprensorio aquilano e in collaborazione con i ricercatori del nostro dipartimento nell'ambito di un progetto che prevede la realizzazione di un'applicazione web (con tecnologia (L)AMP) per la raccolta di informazioni sulla carriera scolastica dei ragazzi tra i 6 e i 15 anni. Il lavoro di tesi (soprattutto nel caso della tesi di primo livello) potra' essere preceduto da un tirocinio aziendale propedeutico, durante il quale il candidato dovra' documentarsi sul software utilizzato nelle segreterie delle scuole coinvolte, interfacciandosi direttamente con queste ultime, per determinare come e in che formato e' possibile far loro esportare i dati di nostro interesse, definendo quindi il modello dei dati per il nuovo applicativo e mettendo a punto le relative procedure di esportazione-conversione-importazione.

Luca Di Chiro

3/2017

Analisi e riscrittura di un framework aziendale in PHP: i vantaggi di una corretta applicazione del paradigma a oggetti Tesi Aziendale

Laurea magistrale

Applicazioni Web

PHP

Vincenzo Lanzieri

3/2017

Studio e sperimentazione di techiche per la reingegnerizzazione di database DB2 di grandi dimensioni Tesi Aziendale

Laurea magistrale

DBMS

DB2

Francesco Proietti

3/2017

WebMiddle: JSX Framework fur multi-layer web data integration

Laurea magistrale

Information Aggregation, Semantic Web

Javascript

Manuel Dell'Elce

3/2017

Un'applicazione web per la registrazione spese e la gestione flusso di cassa Tesi Aziendale

Laurea base

PHP

Armando Angeloni

3/2017

EasyMove, Un'Applicazione Web per migliorare la Mobilita' Quotidiana

Laurea base

PHP

Leonardo Ruggeri

3/2017

AskUnivAQ: un sistema collaborativo per il tutoraggio e l'orientamento, prima parte

Laurea base

Collaborative Content Creation, Web Development

PHP

Carlos Bellesso

12/2016

AskUnivAQ: un sistema collaborativo per il tutoraggio e l'orientamento, seconda parte

Laurea base

Collaborative Content Creation, Web Development

PHP

Charlie Bellesso

12/2016

Gestione del ciclo di sviluppo di un sistema IVR su piattaforma plivo per la gestione di consegne domiciliari Tesi Aziendale

Laurea magistrale

Applicazioni Web

PHP, Plivo

Gabriella Palumbo

10/2016

Un servizio per l'analisi, la classificazione e il riconoscimento dei documenti di identita' Tesi Aziendale

Laurea magistrale

Grafica, Web Services

OpenCV

Luca Mangifesta

7/2016

Il Framework Microsoft Xamarine per lo Sviluppo di App Crossplatform

Laurea base

Sviluppo Mobile

Gianni Ferrari

7/2016

Applicazione Web per un gruppo di ricerca biomedica Tesi Aziendale

Laurea base

Progettazione applicativo web

MySQL, PHP

La tesi (triennale) si propone di progettare un applicativo web multifunzionale per un'azienda operante nell'ambito della ricerca biomedica, e di implementarne poi una parte da stabilire. L'applicativo web, oltre a una parte statica di tipo pubblicitario e divulgativo per l'attivita' (il cui design dovra' essere preferibilmente adattabile anche a tablet e smartphone), conterra' diverse sezioni dinamiche mirate alla pubblicazione degli studi portati avanti dal laboratorio e all'interfacciamento con i collaboratori esterni, che dovranno poter aggiornare via web alcuni dati e compilare dei questionari online. L'azienda presso la quale si svolgera' la tesi e' una startup operante nella zona di Pescara, tuttavia per questo lavoro di tesi non sara' strettamente necessaria la presenza in loco. Vista la complessita' del lavoro, e' richiesta una buona preparazione di base nelle tecnologie LAMP e capacita' nel design di siti web. La selezione del candidato verra' effettuata sulla base di questi criteri.

Paolo Leoni

3/2016

Editor assistito di query visuali

Laurea base

Query visuali, Relazioni spaziali

La tesi consistera' in una prima parte teorica, in cui si studiera' il contesto e dovra' venir formalizzato un algoritmo di formulazione incrementale di query visuali basate su relazioni spaziali, e di una successiva parte di implementazione e sperimentazione dell'algoritmo su un caso di studio nel web, per la quale e' richiesta buona conoscenza del linguaggio Javascript e del DOM HTML.

Andrea Di Stefano

3/2016

Grafica 3D, XML e il Web

Laurea base

Grafica 3D, X3D

Javascript, X3DOM

La tesi si propone di esplorare le caratteristiche dello standard X3D (www.web3d.org/x3d/what-x3d), in particolare per quel che riguarda il suo uso sul web, grazie al supporto WebGL nativo in molti browser e a librerie come X3DOM (www.x3dom.org). Come caso di studio, nell'ambito della tesi cercheremo di realizzare una pianta 3D degli edifici di Coppito.

Marco De Toma

3/2016

Specifica di gestures con relazioni spaziali

Laurea base

Gestures, Relazioni spaziali

Java

La tesi partira' da uno studio sul riconoscimento e sulla codifica delle gestures utilizzate estensivamente sulla moderne interfacce tattili, analizzando la ricerca scientifica in questo campo e le applicazioni pratiche correntemente in uso. Cercheremo poi di definire una metodologia per la codifica delle gestures basata su un formalismo di relazioni spaziali indipendente dall'applicazione, realizzando come caso di studio un piccolo prototipo di riconoscitore scritto in Java.

Roberto Ortenzi

3/2016

Gestione Web di Associazioni Culturali Tesi Aziendale

Laurea base

Sviluppo Web

Java

Matteo Gemmiti

3/2016

Studio delle problematiche di sicurezza per server e servizi RESTful

Laurea magistrale

SOA, Sicurezza, Web

Ivan Letteri

3/2016

ReST: Una App per Appassionati di Serie TV Tesi Aziendale

Laurea base

Sviluppo Mobile

HTML5, Javascript, PHP

Matteo Alessandroni

3/2016

Studio sull'Armonizzazione dei Web di Ateneo Tesi Aziendale

Laurea magistrale

Sviluppo Web

Maria Maddalena Fornari

3/2016

Un Sistema Gestionale per i vigili del Fuoco Tesi Aziendale

Laurea base

Sviluppo Web

PHP

Alessio Di Cristofaro

12/2015

Un confronto tra i game engine per il web 2.0

Laurea base

Alessandro Napoli

7/2015

Aggiornamento della piattaforma tecnologica di un'applicazione J2EE Tesi Aziendale

Laurea magistrale

Gianluca Di Vincenzo

7/2015

Un applicativo per la gestione delle fatture elettroniche verso la pubblica amministrazione Tesi Aziendale

Laurea base

Gian Marco Cinalli

3/2015

Cook together: un’applicazione social per la condivisione di ricette Tesi Aziendale

Laurea base

Federico Piccirilli

3/2015

Progettazione di un social operating system

Laurea base

Matteo Maria Fiore

7/2014

Sviluppo di un gioco con il framework unity: programmazione della logica di gioco Tesi Aziendale

Laurea base

Stefano Pisciella

7/2014

Sviluppo di un Gioco con il framework Unity: programmazione della GPU con il linguaggio CG Tesi Aziendale

Laurea base

Luca Pierabella

7/2014

Gestione remota via web di un applicativo di housekeeping Tesi Aziendale

Laurea base

Fabio Ricchiuti

7/2014

Grafica dinamica e interattiva nel web 2.0 : WEBGL & SVG

Laurea base

Alessio Di Crescenzo

3/2014

Automatizzazione delle procedure gestionali aziendali in conformità con la normativa ISO 9001 Tesi Aziendale

Laurea base

Andrea Vaccarelli

10/2013

Progettazione e implementazione di un software gestionale per autonoleggi Tesi Aziendale

Laurea base

Alessandro Bernardi

3/2013

Sviluppo di un sistema a plugin per l'estrazione visuale di informazione da domini eterogenei

Laurea magistrale

Information Extraction

Java, Swing

Scopo della tesi e' quello di riorganizzare una complessa applicazione Java preesistente, che realizza diverse funzionalita' di information extraction su vari domini applicativi, dotandola di un'architettura a plugin. Sara' quindi necessario isolare il nucleo comune a tutte le funzionalita' e creare un'interfaccia uniforme tra questo e il codice delle funzionalita' specifiche, che andra' quindi estratto, permettendo all'applicazione principale di caricarlo su richiesta, sotto forma di plugin.

Matteo Sabatini

12/2012

Un linguaggio grafico per la definizione e l'esecuzione di processi di trasferimento dati

Laurea magistrale

DBMS, Linguaggi di programmazione

Java, PHP, XML

Armando Contestabile

12/2012

Uno studio su query parametriche per l'estrazione visuale di informazioni

Laurea base

Michele Lauriola

12/2012

eLearning 2.0: le nuove frontiere dell'apprendimento online con la piattaforma eLQ Tesi Aziendale

Laurea magistrale

eLearning

.NET, Silverlight

Stefano D'Alessandro

10/2012

Sviluppo di un'Applicazione sulla Multimedia Home Platform Per La Televisone Digitale

Laurea base

DVB-T

MHP

Fabio Di Bacco

10/2012

Applicazione degli OBDD al model checking esplicito

Laurea base

Model Checking, OBDD

CUDD, Linguaggio C, Murphi

Scopo della tesi e' quello di implementare, partendo da codice di base gia' sviluppato, un indice ibrido a due livelli, in cui il primo livello e' una hash table e il secondo un insieme di OBDD. Gli OBDD (ordered binary decision diagrams) sono strutture capaci di memorizzare in maniera estremamente efficiente espressioni logiche qualsiasi. Per crearli e manipolarli verra' utilizzata la libreria CUDD. Le prestazioni di questo schema di memorizzazione andranno inizialmente valutate confrontandole con una semplice implementazione basata solo sulle hash table. L'algoritmo dovra' poi essere integrato in un model cheker preesistente, affettuando altri esperimenti per valutare l'impatto del nuovo indice sul processo di verifica. E' richiesta una buona conoscenza dei linguaggi C/C++.

Renato Perini

7/2012

Un'applicazione Java ME per gli studenti del corso di laurea in Informatica

Laurea base

JavaME, Mobile Development

JSON, Java, LWUIT

Jari Lyoi

7/2012

Realizzazione di un editor modulare per un linguaggio XML

Laurea base

Design di Interfacce Utente, XML

JAXP, Java, Swing

Stefano Bevini

7/2012

Il Real Time secondo HTML5: le WebSocket

Laurea base

Sviluppo Web

HTML5, PHP

Francesco Tucceri

7/2012

Un framework Java per il web advertising Tesi Aziendale

Laurea base

Sviluppo Web

AJAX, PHP

Michele Tomaiuolo

7/2012

un sistema di telediagnosi OBD basato su dispositivi mobili Android Tesi Aziendale

Laurea magistrale

Telediagnostica

Android, OBD-II

Paolo Cipriani

7/2012

Integrazione della libreria numerica GSL in un tool di planning

Laurea base

Model Checking, Planning

UPMurphi, Yacc

La tesi prevede lo studio e l'integrazione di una libreria di risoluzione di equazioni differenziali all'interno di un'applicazione preesistente. Il candidato dovra' modificare l'applicazione in modo che individui e interpreti in modo appropriato le espressioni matematiche di competenza del solutore, compilandole nelle apposite strutture dati e delegandone l'esecuzione alla libreria esterna, per poi riportare i risultati all'interno dell'applicazione di partenza. E' richiesta un'ottima conoscenza dei linguaggi C/C++.

Piero Iezzi

3/2012

Un libretto universitario elettronico per dispositivi Android

Laurea base

Android, Mobile Development

C/C++

Gianni Sabetti

3/2012

Un'applicazione Android per gli studenti del corso di laurea in Informatica

Laurea base

Android, Mobile Development

C/C++, JSON

Francesco Di Iorio

12/2011

Generazione assistita di documenti legali nell'ambito della compravendita di aziende Tesi Aziendale

Laurea base

Generazione automatica di documenti

PHP

Marco Peca

12/2011

Un UI toolkit adattabile per applicazioni Java su trminali mobili

Laurea base

JavaME, Mobile Development

Java

Davide Perini

12/2011

Un'applicazione iPhone per gli studenti del corso di laurea in Informatica

Laurea base

Mobile Development, iOS

JSON, Objective C

Marco Recchiuti

7/2011

Confronto tra le piattaforme J2EE e .NET per lo sviluppo di applicazioni Web

Laurea base

Web Development

.NET, J2EE

Michele Camorchia

3/2011

Estrazione Visuale di Informazioni da Dati Biomedici

Laurea magistrale

Information Extraction

Java

Gianfranco Murador

3/2011

Un'Applicazione dell'Estrazione Visuale di Informazioni al Geomarketing

Laurea base

GIS, Geomarketing, Information Extraction

Fabio Guaiani

3/2011

Implementazione di un Modello Geometrico Generale per l'Estrazione Visuale di Informazioni

Laurea base

Information Extraction

Java

Marco Mancinelli

3/2011

Rilevazione Automatica delle Vulnerabilità nelle Applicazioni Web

Laurea base

Vulnerability Discovery

Java

Ivan Letteri

3/2011

Generatore di Applicazioni CRUD Multipiattaforma

Laurea base

Applicazioni CRUD, Generazione automatica di codice

Java, PHP

Fabio Epifani

3/2011

Planning con Algoritmi Genetici

Laurea magistrale

Algoritmi Genetici, Planning

C++, PDDL+

Francesco Scoccia

12/2010

Uso degli OBDD per la generazione di sistemi di controllo

Laurea base

Model checking, Sistemi di controllo

C++, CUDD

Lo scopo della tesi e' quello di realizzare un algoritmo per la sintesi automatica di sistemi di controllo basato su un particolare tipo di OBDD (Ordered Binary Decision Diagram). L'algoritmo dovra' essere implementato come estensione di un tool gia' esistente che, data la specifica di un sistema, ne esplora il grafo di transizione memorizzando tutti i cammini minimi che lo portano ad un insieme di stati goal. L'insieme di questi cammini costituisce il sistema di controllo. L'introduzione degli OBDD all'interno di questo processo avra' lo scopo di aumentare la capacita' di esplorazione del tool comprimendo in maniera opportuna le strutture dati attualmente in uso, in particolare le hash tables.

Riccardo Iovenitti

7/2010

Studio comparativo di planner per sistemi ibridi

Laurea base

Model Checking, Planning

PDDL+

Matteo Sabatini

3/2010

Analisi Strutturale di Documenti PDF

Laurea base

Linguaggi Visuali, Portable Document format

Java

Andrea Cherri

1/2010

Un Sistema Grafico per la Definizione Interattiva di Relazioni Spaziali

Laurea magistrale

Interfacce grafiche, Linguaggi visuali

Java, Librerie Java SWING

Lo scopo della tesi e' la realizzazione di un applicativo Java la cui interfaccia permetta all'utente di definire graficamente, su un piano di dimensioni arbitrarie e rispetto a una serie predefinita di punti di riferimento, relazioni spaziali specificate attraverso aree aperte o limitate da contorni poligonali, eventualmente componendole tramite operazioni di somma e differenza. L'applicativo, infine, dovra' essere in grado di importare ed esportare la definizione delle aree cosi' specificate tramite un apposito linguaggio testuale. E' richiesta una buona preparazione di base sulla programmazione Java.

Luca Schiazza

12/2009

Un Sistema Per L'estrazione Visuale Di Dati Da Shapefiles Geografici

Laurea magistrale

GIS, Linguaggi Formali, OpenMap, Relazioni Spaziali

Java

Stefano Pace

10/2009

Pianificazione di un processo di produzione chimica tramite tecniche di planning basate su model checking

Laurea magistrale

Model Checking, Planning

PDDL+, UPMurphi

Luigi Grassano

10/2009

Tecniche di compressione per la verifica di hardware modulare

Laurea magistrale

Hardware Description Languages, Model Checking

C, Verolog

Lara D'amore

3/2009

Un'applicazione per la gestione degli accessi in galleria nei Laboratori Nazionali del Gran Sasso ai sensi della legge 626 Tesi Aziendale

Laurea base

Interfacce web, Sicurezza del lavoro

PHP

Luca Di Vincenzo

3/2009

L'interfaccia Apple iPhone: nuove frontiere nell'interazione uomo-macchina per i dispositivi mobili

Laurea base

Interazione uomo-macchina, Interfacce grafiche

ObjectiveC

Mauro Mazzei

3/2009

Una Tecnica per l'Estrazione Visuale di Informazioni dal Web

Laurea base

Interfacce grafiche, Linguaggi Formali, Relazioni Spaziali

Java

Stefano De Ingeniis

3/2009

Un framework web-based per la logistica collaborativa Tesi Aziendale

Laurea magistrale

Applicazioni web, Tecniche e tool di pianificazione

C, PHP/Java servlets, Tool di ottimizzazione

Lo scopo della tesi e' la realizzazione di un framework web-based per la gestione e l'ottimizzazione di un sistema di logistica collaborativa. Questo sistema si propone di gestire al meglio lo spostamento di merci all'interno di una comunita' di dimensioni medio-grandi, pianificando i trasporti con lo scopo di minimizzarne i costi. Il sistema di pianificazione, da realizzare in collaborazione con il gruppo di Ricerca Operativa, interagira' con gli utenti tramite un'interfaccia web intuitiva con la quale sara' possibile definire la richiesta e valutare le offerte dei trasportatori, realizzando un processo iterativo che converga ad una soluzione soddisfacente sia per i clienti che per i trasportatori. La tesi prendera' spunto da alcuni risultati gia' ottenuti in precedenti lavori, completando lo sviluppo della parte web e realizzando il sistema di pianificazione vero e proprio, che andra' opportunamente connesso al sistema web.

Marco De Angelis

12/2008

Interfaccia Grafica Java per un Tool di Verifica

Laurea base

Interfacce grafiche

Java, Librerie Java SWING

Lo scopo della tesi e' la realizzazione di un'interfaccia grafica scritta in linguaggio Java per il tool di verifica CMurphi. Quest'ultimo e' un programma C a linea di comando, e l'interfaccia da realizzare dovra' fornire un supporto piu' user-friendly al suo uso, realizzando le seguenti funzionalita': 1) editor (testuale) per le specifiche da passare in input al programma 2) sistema di lancio del tool con selezione semplificata delle opzioni da inserire nella linea di comando 3) analisi (parsing) in tempo reale del log generato dal programma e visualizzazione dello stato di avanzamento/risultato finale dello stesso.

Fabrizio Amedei

12/2008

Un Sistema di Editing e Verifica per Centri di Controllo Spaziale Tesi Aziendale

Laurea base

Applicazioni Web, Gestione Dati

PHP

Scopo di questa tesi e' stato lo sviluppo di un'applicazione di supporto all'editing e alla verifica dei dati di telemetria e telecomando gestiti dai centri di controllo spaziale. Il sistema realizzato si interfaccia con le complesse strutture dati definite dagli standard ESA e permette di compilarle in maniera assistita ed eseguire automaticamente su di esse un gran numero di controlli di consistenza e correttezza.

Giuseppe Dante

12/2008

Un'Applicazione Web per il Loan Management nel contesto Micron Tesi Aziendale

Laurea base

Applicazioni Web

.NET framework

La tesi e' consistita nello sviluppo di un software, integrato nel sistema Micron ITInventory, in grado di gestire le richieste di materiale informatico all'interno dell'Azienda e seguirne il flusso d'approvazione, contattando automaticamente tutti i soggetti coinvolti ed operando nel rispetto dei rigidi protocolli aziendali.

Luca Benedetto Giffi

10/2008

Un Servizio Web per il Dimensionamento di Impianti Solari Termici

Laurea base

Impianti Solari, Servizi Web

Google GWT, Linguaggio Java

La tesi e' consistita nello sviluppo di un servizio web che guida l'utente in un dettagliato processo di analisi e preventivazione del risparmio energetico ottenibile attraverso l'uso di energie alternative nella propria abitazione.

Sara D'Alia

10/2008

Un Universal Planner PDDL+ Basato su Tecniche di Model Checking

Laurea magistrale

Model Checking, Planning

Linguaggio C++, Linguaggio PDDL+

Fabio Mercorio

10/2008

Trasformazione di lookup tables con codifica OBDD in codice C ottimizzato

Laurea magistrale

Generazione automatica di codice

C++, CUDD, VHDL

Lo scopo della tesi e' quello di realizzare un algoritmo per la trasformazione di un particolare tipo di OBDD (Ordered Binary Decision Diagram), che codifica una tabella di lookup, in un programma C e/o nella specifica logica di un circuito realizzata con linguaggi come il VHDL. A partire dall'OBDD, tramite trasformazioni logiche, si dovranno ottenere una serie di funzioni che restituiscano i singoli bit dei valori contenuti nella tabella di lookup. Queste funzioni dovranno poi essere codificate in linguaggio C e/o in una specifica circuitale. La realizzazione di una o entrambe queste trasformazioni determinera' il livello (base o specialistica) della tesi.

Emilio Santavicca

7/2008

Backend Web per un Sistema di Gestione di Beni Culturali Tesi Aziendale

Laurea base

Basi di Dati, Web Programming

Java

Libero Guerra

12/2007

Tecnologie XML per il reporting nei sistemi SCADA Tesi Aziendale

Laurea magistrale

Estrazione e manipolazione di dati

Java, SVG, XML, XSLT

Fabio Zannelli

4/2007

Un Sistema per l'Aggiornamento Automatico di Applicazioni Basate sulla Piattaforma OSCommerce Tesi Aziendale

Laurea base

Programmazione PHP

PHP

Alessandro Monaco

4/2007

Steering Interattivo in un'Applicazione per la Simulazione della Dinamica Molecolare Tesi Aziendale

Laurea base

Informatica grafica

Tcl/Tk

Antonella Maggi

4/2007

Traduzione Automatica di Controllori Tabulari in Diagrammi di Decisione Binari

Laurea magistrale

Controller generation, Model Checking

C++

Nadia Lauri

4/2007

Gestione Web di Processi di Calcolo su Piattaforma UNIX

Laurea base

Sistemi Operativi, Web Programming

PHP

Francesco Orneto

4/2007

Un Sistema di eCommerce per la Piccola Impresa: Gestione della Clientela Tesi Aziendale

Laurea magistrale

Design interfacce utente, Programmazione dispositivi mobili e wireless

C++, Java, Mobile SDKs

Mauro Ciccarelli

1/2007

Un Sistema di eCommerce per la Piccola Impresa: Backoffice Aziendale Tesi Aziendale

Laurea magistrale

Commercio elettronico, Programmazione dispositivi mobili e wireless

C++, Java, Mobile SDKs

Elena Pellicciotta

1/2007

Un Framework Resource-Aware per la Realizzazione di Servizi di eBusiness

Laurea magistrale

Mobile computing, eBusiness Applications

Java

Pasquale De Medio

1/2007

Una Componente per la Gestione di Connessioni Multiple nell'Architettura SEDA Tesi Aziendale

Laurea base

Architettura SEDA

Java

Marco D'Alia

1/2007

Una Soluzione Basata sul Model Checking al Problema dell'Idle Speed Control

Laurea base

Model checking

Murphi

Luigi Grassano

1/2007

Tecnologie per la gestione automatica di help desk

Laurea base

Applicazioni Web, Design di Interfacce Utente, Information Extraction, Logica Fuzzy

Mysql, PHP

Leila Porcelli

7/2006

Proprieta' dei grafi di transizione di sistemi software

Laurea base

Model Checking

C++

Claudia Pagliariccio

7/2006

FreeCity: una Guida Turistica Mobile

Laurea quinquennale o specialistica

Basi di Dati, Mobile Programming

Java, MySQL

Daniele Cianci

7/2006

Un'applicazione web per la gestione della modulistica elettronica

Laurea base

Processi Documentali, XML, eGoverment

Java Servlets, XML, XML Signature, XSLT

La tesi estende e completa la precedente tesi 'Una metodologia per la definizione e la distribuzione della modulistica' fornendo un supporto lato server per la raccolta, la distribuzione, la compilazione assistita, la firma digitale e il recapito della modulistica.

Monica Aguzzi

4/2006

Un'applicazione web per l'orientamento in ingresso degli studenti

Laurea base

Applicazioni Web, Design di Interfacce Utente

Mysql, PHP

Daniela Roselli

04/2006

Configurazione e gestione di un sistema Voice over IP Tesi Aziendale

Laurea base

Design di Interfacce Utente, Protocolli di comunicazione, Voice over IP

Asterisk, Java

Simone Marinelli

4/2006

Sintesi automatica di controllori fuzzy con algoritmi genetici

Laurea quinquennale o specialistica

Algoritmi genetici, Logica fuzzy, Sistemi di controllo

C++

Francesca Fallucchi

4/2006

Algoritmi probabilistici per l'esplorazione del web

Laurea base

Algoritmi di Visita Probabilistici, Applicazioni Web

C++

Tommaso Sacramone

1/2006

Un sistema per il controllo e la validazione automatica dei piani di studio

Laurea base

Applicazioni Web, Design di Interfacce Utente

Mysql, PHP

Alessandra De Patre

1/2006

Un sistema per il riconoscimento ottico dei veicoli in sosta

Laurea quinquennale o specialistica

Algoritmi di manipolazione grafica, Logica Fuzzy, OCR

C++

Costanzo Sozio

12/2005

Un'Applicazione web per la Creazione e la Manipolazione di Scenari

Laurea base

Ingengeria del Software, Java, XML

JSP, Java Servlets, XML, XSLT

La tesi consiste nello sviluppo di un framwework web-based che integra una serie di tool per la creazione e la manipolazione di scenari, basato sul formalismo SDML. Il framework implementa anche una serie di algoritmi che permettono di derivare state diagrams e test models direttamente dagli scenari, e offre una visualizzazione grafica dinamica su tutte le specifiche formali.

Valerio De Luca

10/2005

Editor Visuale per codice OpenGL

Laurea base

Design di Interfacce Utente, Grafica 2D e 3D

C++, OpenGL

Stefano Pace

10/2005

Editor visuale per interfacce XUL

Laurea base, Laurea quinquennale o specialistica

Design di Interfacce Utente, Tecnologie XML

Java, XML

XUL e' un linguaggio di definizione di interfacce sviluppato dal Mozilla group. Il linguaggio permette di generare interfacce molto sofisticate tramite una semplice descrizione XML interpretata a runtime. E' possibile aggiungere dinamica all'interfaccia usando JavaScript per catturare gli eventi e gestirli, ed eventualmente interfacciandosi con librerie esterne tramite opportune interfacce. Lo scopo di questa tesi e' realizzare un editor visuale che permetta di 'comporre' una interfaccia (in maniera simile agli editor presenti in molti ambienti di sviluppo come JBuilder o Visual Studio) gestendo la generazione del file XUL corrispondente

Letizia Iacovone

7/2005

Un DBMS virtuale e distribuito

Laurea base

Database

Java, XML

Alfredo D'Agostino

3/2005

Algoritmi genetici per lo user profiling

Laurea base

Algoritmi Genetici, Applicazioni Web, User Profiling

Javascript, Mysql, PHP, RSS

Alessandro Roberti

3/2005

Strumenti per la Verifica e il Testing di Software per Telecomunicazioni

Laurea quinquennale o specialistica

Definizione delle Specifiche Software, Model Checking

C++, Verificatori Software

Maria Risi

12/2004

Algoritmi Distribuiti per la Verifica di Sistemi Software

Laurea base

Algoritmi Distribuiti, Model Cheching

C++

La tesi consiste nello sviluppo di un approccio distribuito alla verifica esplicita di sistemi software, basato sul verificatore Murphi. L'architettura di verifica studiata si propone di realizzare una distribuzione efficiente e trasparente del lavoro di verifica tra vari client posti su meacchine diverse, con la possibilita' di variarne dinamicamente il numero.

Francesco Angelone

12/2004

Un sistema di visualizzazione di State Diagrams basato sul Formalismo SVG

Laurea base

Scalable Vector Graphics, XML

Java, SVG, XML, XSLT

Fabio Borriello

12/2004

Un Sistema per la Gestione Intelligente del Relevance Feedback

Laurea base

Applicazioni Web, Design di Interfacce Utente, Logica Fuzzy

Java, Mysql, PHP

Romina Spalazzese

10/2004

Un sistema per la generazione automatica delle prove scritte d'esame

Laurea base

Automazione della didattica, Database

Java, MySQL

La tesi ha come obiettivo la realizzazione di un'applicazione per la generazione automatica di test a risposta multipla o libera, altamente configurabile e adattabile alle esigenze specifiche dei singoli corsi, per fornire supporto ai docenti. L'applicazione offre anche supporto durante la correzione dei test e gestisce un archivio storico degli stessi.

Mariella Lolli

7/2004

Algoritmi di Verifica basati sull'apprendimento automatico

Laurea base

Data Mining, Model Checking

C++

Vincenzo Di Nino

7/2004

Un news aggregator con profiling dinamico dell'utenza

Laurea quinquennale o specialistica

Applicazioni Web, User Profiling

Javascript, Mysql, PHP, RSS

Lucio Brighella

7/2004

Un sistema di gestione per i progetti d'esame

Laurea base

Automazione della didattica, Database, Web applications

Javascript, MySQL, PHP

La tesi si propone di realizzare un sistema per la gestione automatica della consegna e della revisione dei progetti d'esame. Il sistema gestisce i gruppi di lavoro, le specifiche dei progetti, il loro versioning, la pubblicazione dei progetti piu' meritevoli in un'area pubblica, e la valutazione del docente.

Anna Lucia Paoletti

4/2004

Sicurezza e crittorgafia in XML

Laurea base

Crittografia, Sicurezza, XML

XML

La tesi analizza le caratteristiche della crittografia XML, intesa come sistema di standardizzazione delle numerose tecniche di crittografia esistenti e come metodologia specifica di crittografia applicata alle strutture XML. La tesi tratta sia gli aspetti teorici che quelli implementativi di questa nuova tecnologia.

Fabio Zanelli

4/2004

Firma digitale e crittografia a chiave pubblica in xml

Laurea base

Firma Digitale, Sicurezza, XML

XML

La tesi analizza le tecniche di firma digitale per documenti XML e il protocollo XML per la gestione delle chiavi pubbliche. La tesi tratta sia gli aspetti teorici che quelli implementativi di questa nuova tecnologia.

Pasquale Campomizzi

4/2004

Una metodologia per la definizione e la distribuzione della modulistica

Laurea base

Processi Documentali, XML, eGoverment

Javascript, XML, XSL-FO, XSLT

La tesi sviluppa un nuovo linguaggio XML per la descrizione uniforme di una vasta gamma di modulistica elettronica e cartacea. Vengono forniti due fogli di stile, capaci di generare dalla descrizione astratta del modulo una sua rappresentazione elettronica in HTML e una versione cartacea in PDF. In entrambi i casi vengono applicate le ottimizzazioni, le convenzioni strutturali e di formato tipiche dello specifico tipo di modulistica, ottenendo in output moduli molto compatti, leggibili e dalla struttura lineare. Viene inoltre fornita una terza trasformazione per la generazione di schemi XML per la validazione dei dati inseriti nei moduli elettronici.

Dora Tortola

4/2004

Un sistema di pubblicazione di tesi e curriculum per neolaureati

Laurea base

Automazione della didattica, Database, Web Applications

Javascript, Mysql, PHP

LA tesi sviluppa un sito web con il duplice intento di assistere lo studente neolaureato nella compliazione del suo curriculum e nella pubblicazione della sua tesi sulla rete, e di dare visibilita' a questi due importanti documenti, fornendo potenti strumenti di ricerca e catalogazione degli stessi.

Francesco Natanni

4/2004

Un servizio web per la condivisione dei documenti strutturati

Laurea base

Database, Web Services, XML

JWSDP, Java, MySQL

La tesi si propone di sviluppare un servizio web generico e altamente configurabile per la gestione e la condivisione di documenti XML.

Alessandro D'Amore

4/2004

Metodologie di sviluppo per web services su piattaforme java

Laurea quinquennale o specialistica

Web Services, XML

Apache AXIS, JWSDP, Java

La tesi mette a confronto, tramite un caso di studio, le tecnologie piu' note per lo sviluppo di servizi web in ambiente Java.

Leonardo Alessi

4/2004

Generazione Automatica di Test Cases

Laurea base

Ingegneria del Software

XML, XSLT

Il lavoro di tesi si propone la definizione di un nuovo approccio finalizzato alla generazione semiautomatica dei software test, in particolare modo dei system e performance test, a partire dalle specifiche software formalizzate tramite il linguaggio SDML (Scenario Description Markup Language).

Marco Antonelli

12/2003

Generazione automatica di strutture relazionali a partire da diagrammi Entita'-Relazione

Laurea base

Database

Modelli Entita' elazione e Relazionale, XSLT

Marco Brunelli

12/2003

Un Ambiente di Editing per lo Scenario Description Markup Language

Laurea base

Design di Interfacce Utente, Ingegneria del Software

Java, XML

Il lavoro di tesi si propone la realizzazione di un editor visuale per la rappresentazione e la manipolazione degli elementi del linguaggio SDML (Scenario Description Markup Language).

Giuseppe Astore

10/2003

Un Editor Visuale per State Diagrams

Laurea base

Design di Interfacce Utente, Ingegneria del Software

Java, XML

Il lavoro di tesi si propone la realizzazione di un editor visuale per la rappresentazione e la manipolazione degli elementi del linguaggio SCDML (Statechart Description Markup Language). L'editor dovra' supportare due diverse tipologie di creazione di statechart: sia attraverso le funzioni classiche dell'editor, sia importando documenti scritti in SDML.

Fabrizio Variano

10/2003

Analisi del formalismo XML Schema nella Gerarchia di Chomsky

Laurea quinquennale o specialistica

Linguaggi Formali, XML

La tesi si propone di analizzare la classificazione degli schemi XSLT, visti come un particolare formalismo grammaticale, all'interno della gerarchia dei linguaggi formali.

Marzia Egizii Di Marco

10/2003

Mapping di documenti XML su strutture relazionali

Laurea base

Database, Schemi XML

XML, XSLT

Paolo Cardilli

10/2003

Verifica automatica dei criteri di accessibilita' ai contenuti web

Laurea base

Accessibilita', Applicazioni Web

HTML, PHP

Viviana Ciuffetelli

3/2003

Penetration Testing avanzato

Laurea base

Cyber Security, Penetration Testing

Python, RESTful web services

E' disponibile una tesi su tematiche di cyber security, avente come argomento l'inserimento di una nuova funzionalita' di controllo all'interno di un tool di penetration testing su reti virtualizzate sviluppato nel nostro dipartimento. Per l'implementazione di questa funzionalita' sono gia' disponibili progetti open source, che andranno quindi adattati e incorporati nel tool stesso. Il linguaggio di programmazione e' python, di cui si richiede al candidato una conoscenza di base. E' richiesta anche la conoscenza dello stile architetturale REST. Lo sviluppo della tesi potra' cominciare fin da subito, ma considerato il lavoro da svolgere e il tempo a disposizione il candidato potra' laurearsi a partire da ottobre 2018. Lo svolgimento della tesi richiedera' una serie cadenzata di incontri di aggiornamento, alcuni dei quali potranno comunque svolgersi per vie telematiche.

Matteo Ficorilli

Sviluppo di un'Applicazione Modulare di Analisi Dati Tesi Aziendale

Laurea magistrale

Sviluppo applicazioni web modulari

Java

Xenia S.p.A., azienda specializzata in servizi di accommodation alberghiera, hospitality process, knowhow ed expertise nella travel industry con oltre venticinqe anni di attivita', offre a laureandi magistrali in informatica con buona esperienza di sviluppo delle tesi di secondo livello, da integrare possibilmente con un periodo iniziale di tirocinio. Il progetto di tesi prevede lo sviluppo di un'applicazione web modulare per l'analisi di tracciati dati. In particolare, si dovra' da prima prototipare l'applicazione base e quindi sviluppare un modulo di analisi di esempio da integrare in quest'ultima. Lo sviluppo avra' come punto di partenza un'architettura gia' definita e prototipata in Java, comprendente il supporto alla modularita' e alla generazione dell'output della analisi. Gli algoritmi di analisi di base, invece, sono gia' stati progettati da un team di statistici (a dispsizione del tesista) e dovranno essere sviluppati e incorporati nel nuovo sistema a moduli. Al termine del periodo di tesi, sulla base della valutazione dei risultati ottenuti, l'azienda potra' proporre allo studente un contratto di lavoro nel team di sviluppo dell'applicazione. La sede del tirocinio/tesi e' Guardiagrele (CH), ma sara' possibile lavorare anche in remoto recandosi in sede a intervalli regolari per aggiornare il team sullo stato di avanzamento del progetto e/o per ricevere supporto.

Luciano De Nicola