Research | Projects

L¿obiettivo del progetto è quello di sviluppare la ricerca nel campo dei linguaggi formali e degli automi, esaminandone aspetti teorici e possibili applicazioni in ambiti diversi. Più in particolare, si prevede di sviluppare le seguenti linee di ricerca: studio delle proprietà strutturali dei codici, studio delle proprietà delle picture, con particolare riferimento all¿overlap con errori, analisi

Il progetto ha lo scopo di esplorare alcune importanti questioni, sia di tipo metodologico/teorico che di natura applicativa, che sorgono nell'ambito delle reti complesse. In particolare, gli obiettivi della ricerca sono volti ad ottenere un avanzamento dello stato dell'arte relativamente alle seguenti tematiche: 1. Problemi algoritmici che sorgono nello studio delle connessioni che legano, tr

Ci si propone di formulare ed analizzare modelli stocastici, markoviani e gaussiani-markoviani, di sistemi complessi in evoluzione stocastica quali sistemi di servizio, modelli di attività neuronale, crescite di popolazioni.Il confronto tra i vari modelli proposti verrà effettuato tramite l'individuazione e la determinazione di adeguate misure prestazionali e darà la possibilità di discutere marg

L¿obiettivo del progetto di ricerca si focalizza sulla gestione della qualità software, con particolare riferimenti ai seguenti contesti: 1) definizione di strumenti automatici e semi-automatici che possano supportare gli sviluppatori durante le attività di identificazione di problemi di progettazione a diversi livelli di astrazione nel codice sorgente e la successiva loro rimozione 2) definizione

La ricerca di bugs nei sistemi concorrenti è un'attività molto complessa soprattutto se questi si manifestano solo in un numero esiguo di interleavings. In questi casi, strumenti tradizionali quali il testing faticano ad individuarli, e quindi sono da preferire tecniche quali il model-checking che invece effettuano una ricerca esaustiva su tutti i possibili interleavings. In questo progetto si vuo

La ricerca sul data profiling mira a sviluppare metodi e strumenti capaci di estrarre metadati utili, come ad esempio le dipendenze funzionali rilassate (RFD). Questo tipo di metadato può essere utilizzato per il problema del missing value imputation, dove permetterebbe di identificare i valori candidabili alla sostituzione anche in scenari incrementali. Obiettivo di questa ricerca è quello di svi

Il progetto si articola sulle direttrici di ricerca:?- Modelli ed algoritmi per il rilevamento di attacchi/anomalie?- Progettazione ed analisi di protocolli crittografici lightweight?- Progettazione ed analisi di schemi per l¿autenticazione in sistemi distribuiti?- Algoritmi efficienti per l'utilizzo del canale a multiaccesso con feedback limitato- Progettazione di algoritmi con applicazioni

Il progetto ha l'obiettivo di indagare alcune tra le principali problematiche, sia di tipo metodologico/teorico che di natura applicativa, che sorgono nell¿ambito delle reti sociali. Più in dettaglio,il progetto è volto ad ottenere un avanzamento dello stato dell'arte relativamente allo studio delle seguenti tematiche specifiche: 1.Sviluppo di metodi algoritmici e/o basati sulla teoria dei gra

Obiettivo della ricerca è il miglioramento delle attuali tecniche di interazione su dispositivi dotati di touch screen. Tra questi, includiamo dispositivi di varie dimensioni e tecnologie, come ad esempio smartphone e tablet, wearable, smart TV e touch table. Tra le tecniche da sperimentare includiamo tecniche di immissione ed editing di testo e diagrammi, sistemi interattivi di supporto alla divu

L'obiettivo del progetto è sviluppare la ricerca nell'area della combinatoria delle parole e dei linguaggi formali. La ricerca riguarderà i linguaggi bidimensionali, i codici a lunghezza variabile e i linguaggi regolari generati da sistemi splicing. Per quanto riguarda gli aspetti applicativi, si intende proseguire lo studio di alcune classi di stringhe, note in letteratura, che hanno recentement

La ricerca sarà orientata alla formulazione e all'analisi di modelli stocastici di tipo markoviano e gaussiano-markoviano da utilizzare per la descrizione di sistemi complessi in evoluzione stocastica quali sistemi di servizio, modelli di attività neuronale, crescite di popolazioni.Allo scopo di confrontare i vari modelli analizzati verranno individuate opportune misure prestazionali che sarann

L¿obiettivo del progetto di ricerca è l¿investigazione di metodi e strumenti per la gestione della qualità del prodotto e del processo software, con particolare riferimenti ai seguenti ambiti: 1) strumenti semi-automatici che possano supportare gli sviluppatori durante le attività di identificazione di problemi di progettazione nel codice sorgente e la successiva loro rimozione; 2) metodi per migl

L'utilizzo di tecniche automatiche di verifica sono fondamentali per la ricerca sistematica di errori nei sistemi digitali. Se utilizzate sin dalle prime fasi della progettazione contribuiscono a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra queste tecniche il model-checking occupa un posto di rilievo e si sta gradualmente affermando anche su scala industriale. In questo pro

L'estrazione delle dipendenze funzionali (functional dependencies - FD) dai dati è un'importante tecnica di data profiling. Oggi esistono diversi algoritmi per scoprirle in modo automatico a partire dai dati. Tuttavia, in molti scenari emergenti è necessario il supporto online per l¿estrazione di FD da dati in continuo cambiamento, senza la possibilità di poter memorizzare l'intero dataset in inpu

Il progetto di ricerca si focalizzerà sulla progettazione e lo sviluppo di sistemi intelligenti, in diversi ambiti: 1) studio delle risposte dell¿utente in realtà virtuale per analizzare informazioni biometriche e di ¿soft biometric¿ dell¿utente stesso; 2) modelli di architettura software per lo sviluppo di sistemi per la prevenzione e la gestione di emergenze che integrano fonti eterogenee d¿info

Obiettivo della ricerca è il miglioramento delle attuali tecniche di interazione su dispositivi dotati di touch screen. Tra questi, includiamo dispositivi di varie dimensioni e tecnologie, come ad esempio smartphone e tablet, wearable e smart TV. Tra le tecniche che si vogliono proporre e sperimentare includiamo tecniche di immissione ed editing di testo e diagrammi, considerando anche lo sviluppo

L'obiettivo del progetto è sviluppare la ricerca nell'area della combinatoria delle parole e dei linguaggi formali, sia per quanto riguarda gli aspetti teorici che quelli applicativi. Per quanto riguarda la combinatoria delle parole, la ricerca riguarderà alcune classi di stringhe, note in letteratura, che hanno recentemente suscitato interesse per la loro applicazione alla bioinformatica. La rice

Il progetto si articola su 5 direttrici di ricerca fondamentali che individuano specifici task:- Sviluppo di modelli, tecniche ed algoritmi innovativi a supporto della classificazione automatica del traffico ed al rilevamento di attacchi e anomalie zero-day.- Progettazione ed analisi di schemi di autenticazione lightweight ed ultralightweight. - Progettazione ed analisi di schemi che consentano

La ricerca si pone come obiettivo la formulazione e lo studio di modelli stocastici markoviani e gaussian-markoviani per la descrizione di sistemi in evoluzione stocastica quali sistemi di servizio, modelli di attività neuronale, crescite di popolazioni.La ricerca sarà orientata anche all'individuazione di opportune misure prestazionali per lo studio ed il confronto dei vari sistemi in esame anch

L¿obiettivo del progetto di ricerca è l¿investigazione di metriche e tecniche per l¿analisi della qualità nella produzione del software, con particolare riferimenti ai seguenti ambiti: la riorganizzazione del codice sorgente, il riuso del codice, il testing automatico, le tecniche per migliorare l'accuratezza dei modelli di predizione (per esempio dei difetti, dei costi di sviluppo e della manuten

L'utilizzo di tecniche automatiche di verifica sono fondamentali per la ricerca sistematica di errori nei sistemi digitali. Se utilizzate sin dalle prime fasi della progettazione contribuiscono a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra queste tecniche il model-checking occupa un posto di rilievo e si sta gradualmente affermando anche su scala industriale. In questo pro

Le dipendenze funzionali rilassate (relaxed functional dependency - RFD) sono dipendenze funzionali approssimate con un'accresciuta capacita` di esprimere relazioni tra i dati. L'estrazione delle RFD dai dati è un'importante tecnica di data profiling. Esistono diversi algoritmi per l¿estrazione automatica di RFD dai dati, i quali però hanno problemi di scalabilità su big data, in quanto diventano

Il progetto di ricerca si focalizzerà sulla progettazione e lo sviluppo di sistemi informativi e applicazioni software, così come degli strumenti a supporto, tenendo conto diversi ambiti: 1) testing e stiama dei costi nella produzione del software; 2) il del Coverage Path Planning(CPP) e stimare la posa di un soggetto identificato dal drone nel contesto della videosorveglianza 3) identificazione d

Il progetto ha l'obiettivo di indagare i meccanismi che governano l'evoluzione di processi dinamici in reti complesse. Più in dettaglio, investigheremo questioni algoritmiche che sorgono nei seguenti ambiti: 1. Studio delle dinamiche di propagazione dell'informazione in reti sociali. Il fine è di sviluppare algoritmi che permettano la diffusione di influenza e/o informazioni in modo rapido, effi

Obiettivo della ricerca è il miglioramento delle attuali tecniche di interazione su dispositivi dotati di touch screen. Tra questi, includiamo dispositivi di varie dimensioni e tecnologie, come ad esempio smartphone e tablet, ma anche dispositivi wearable, come gli smart watch e dispositivi di grandi dimensioni come smart TV. L'interazione può avvenire sia con gesti effettuati sulla superficie del

L'obiettivo del progetto è sviluppare la ricerca nell¿area dei codici, della combinatoria delle parole e dei linguaggi formali, sia per quanto riguarda gli aspetti teorici che quelli applicativi. La ricerca sui codici sarà rivolta all'estensione della teoria nel caso bidimensionale o in contesti più generali degli insiemi di stringhe e allo studio di proprietà di fattorizzazione dei codici. Sarann

- Modellazione, progettazione ed analisi di schemi probabilistici per la condivisione di segreti - Progettazione ed analisi di schemi per autenticazione utente unilaterale che non necessitino di condivisione di informazione tra le parti- Sviluppo di architetture, modelli, protocolli ed algoritmi a supporto delle comunicazioni sicure ed affidabili in ambito Internet of Things (IoT)- Sviluppo e

Le reti complesse sono intensamente studiate da un'ampia comunità di ricercatori. Questo progetto indagherà alcune tra le principali problematiche, sia di tipo metodologico/teorico che di natura applicativa, che sorgono nell¿ambito di tali reti. Particolare attenzione verrà rivolta allo studio di problematiche che sorgono nell¿area delle Reti Sociali.Gli obiettivi della ricerca sono volti ad

La ricerca sarà orientata alla formulazione e all'analisi di modelli stocastici markoviani e non per la descrizione di sistemi in evoluzione stocastica di interesseinformatico e cibernetico: sistemi di servizio, modelli di attività neuronale, crescite di popolazioni. Ci si propone di individuare opportune misure prestazionali per lo studio ed il confronto dei vari sistemi in esame anche allo sco

L¿obiettivo del progetto di ricerca è l¿investigazione di metodi e tecniche per l¿ingegneria del software, con particolare riferimenti ai seguenti ambiti: 1) Identificazione e risoluzione di problemi di progettazione nel codice sorgente, 2) Definizione di metodologie e tecniche per migliorare l'accuratezza di modelli per la predizione di difetti software; 3) Stima dei costi in fase di sviluppo (da

L'utilizzo di tecniche automatiche di verifica sin dalle prime fasi della progettazione contribuisce a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra le diverse metodologie una tecnica che si sta affermando anche a livello industriale è il model-checking. In questo progetto si vuole contribuire all'avanzamento dello stato dell¿arte di alcune tecniche di verifica automatica di

Le dipendenze funzionali rilassate (relaxed functional dependencies ¿ rfd) sono dipendenze funzionali approssimate con un¿accresciuta capacità di esprimere relazioni tra i dati. Grazie all¿introduzione di criteri approssimati di validità e di confronto tra i valori degli attributi, le rfd possono catturare proprietà utili per scopi molteplici, quali l¿identificazione di inconsistenze nei dati, pat

Il progetto di ricerca si focalizzerà sulla definizione, il progetto e l¿analisi di strumenti a supporto dello sviluppo di sistemi informativi e applicazioni software, in diversi ambiti 1) sistemi di autenticazione basato sul riconoscimento dell¿iride, che risulti essere efficace ed efficiente anche in ambito mobile; 2) testing di sistemi software e applicazioni; 3) la stima dei costi per il loro