| theses proposals | Research area |
|---|---|
| Analisi automatica della complessità di algoritmi | Various topics |
| Analisi automatica di deadlock e robustezza di Java Bytecode | Various topics |
| Analisi di sicurezza in codice mobile (firewalls intelligenti) | Various topics |
| Analisi probabilistica di programmi | Various topics |
| Combinazione di tecniche di accelerazione del punto fisso con trasformazioni di dominio in analisi statica | Various topics |
| Domini astratti per l'analisi di sistemi real-time | Various topics |
| Interpretazione astratta e analisi di immagini: Analisi di immagini con metodi formali | Various topics |
| Spazi metrici e teoremi di contrazione come fondamenti per l'analisi statica di programmi concorrenti | Various topics |
| Struttura e complessità dei domini per l'analisi statica di programmi | Various topics |
© 2026 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
