Static Analysis for Multithreading - Joint Project 2011

Data inizio: 1 gennaio 2013
Durata (mesi): 30
Dipartimenti: Informatica
Responsabili (o referenti locali): Merro Massimo

Enti finanziatori:

Julia s.r.l.: Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Alberto Lovato: Assegnista
Damiano Macedonio

Massimo Merro: Professore ordinario

Aree di ricerca coinvolte dal progetto
Algebra, Geometria e Logica Matematica Formal languages and automata theory (DI)
Algoritmi, Logica e teoria della computazione Formal languages and automata theory (DI) (DI)
Ingegneria del Software e verifica formale Formal languages and automata theory (DI)
Algebra, Geometria e Logica Matematica Semantics and reasoning (DI)
Algoritmi, Logica e teoria della computazione Semantics and reasoning (DI) (DI)
Ingegneria del Software e verifica formale Semantics and reasoning (DI)
Sicurezza informatica Software notations and tools (DI)
Ingegneria del Software e verifica formale Software notations and tools (DI)
Sicurezza informatica Software organization and properties (DI)
Ingegneria del Software e verifica formale Software organization and properties (DI)

Pubblicazioni
Titolo	Autori	Anno
Locking Discipline Inference and Checking	Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier	2016