Proposte di tesi | Area di ricerca |
---|---|
Analisi automatica della complessità di algoritmi | Argomenti vari |
Analisi automatica di deadlock e robustezza di Java Bytecode | Argomenti vari |
Analisi di sicurezza in codice mobile (firewalls intelligenti) | Argomenti vari |
Analisi probabilistica di programmi | Argomenti vari |
Combinazione di tecniche di accelerazione del punto fisso con trasformazioni di dominio in analisi statica | Argomenti vari |
Domini astratti per l'analisi di sistemi real-time | Argomenti vari |
Interpretazione astratta e analisi di immagini: Analisi di immagini con metodi formali | Argomenti vari |
Spazi metrici e teoremi di contrazione come fondamenti per l'analisi statica di programmi concorrenti | Argomenti vari |
Struttura e complessità dei domini per l'analisi statica di programmi | Argomenti vari |
******** CSS e script comuni siti DOL - frase 9957 ********p>