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
Informatica teorica
Formal languages and automata theory
Informatica teorica
Semantics and reasoning
Ingegneria del Software e Sicurezza
Software notations and tools
Ingegneria del Software e Sicurezza
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