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

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

Attività

Strutture

Condividi