Static Analysis for Multithreading - Joint Project 2011

  1. Home
  2. Ricerca
  3. Progetti
  4. 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
Ingegneria del Software e Verifica Formale
Formal languages and automata theory
Ingegneria del Software e Verifica Formale
Semantics and reasoning
Ingegneria del Software e Verifica Formale
Software notations and tools
Ingegneria del Software e Verifica Formale
Software organization and properties
Pubblicazioni
Titolo Autori Anno
Locking Discipline Inference and Checking Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier 2016

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi