Progetti

Salvatore LA TORRE Progetti

11 Progetti di ricerca
Filtro
La ricerca di bugs nei sistemi concorrenti è un'attività molto complessa soprattutto se questi si manifestano solo in un numero esiguo di interleavings. In questi casi, strumenti tradizionali quali il testing faticano ad individuarli, e quindi sono da preferire tecniche quali il model-checking che invece effettuano una ricerca esaustiva su tutti i possibili interleavings. In questo progetto si vuo
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFondi dell'ateneo
FinanziatoriUniversità  degli Studi di SALERNO
Importo3.060,47 euro
Periodo22 Novembre 2021 - 22 Novembre 2024
Dettaglio
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFondi dell'ateneo
FinanziatoriUniversità  degli Studi di SALERNO
Importo3.074,88 euro
Periodo15 Febbraio 2021 - 15 Febbraio 2024
Dettaglio
L'utilizzo di tecniche automatiche di verifica sono fondamentali per la ricerca sistematica di errori nei sistemi digitali. Se utilizzate sin dalle prime fasi della progettazione contribuiscono a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra queste tecniche il model-checking occupa un posto di rilievo e si sta gradualmente affermando anche su scala industriale. In questo pro
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFondi dell'ateneo
FinanziatoriUniversità  degli Studi di SALERNO
Importo3.108,54 euro
Periodo18 Maggio 2020 - 18 Maggio 2023
Dettaglio
L'utilizzo di tecniche automatiche di verifica sono fondamentali per la ricerca sistematica di errori nei sistemi digitali. Se utilizzate sin dalle prime fasi della progettazione contribuiscono a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra queste tecniche il model-checking occupa un posto di rilievo e si sta gradualmente affermando anche su scala industriale. In questo pro
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFondi dell'ateneo
FinanziatoriUniversità  degli Studi di SALERNO
Importo3.284,24 euro
Periodo11 Marzo 2019 - 10 Marzo 2022
Dettaglio
L'utilizzo di tecniche automatiche di verifica sin dalle prime fasi della progettazione contribuisce a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra le diverse metodologie una tecnica che si sta affermando anche a livello industriale è il model-checking. In questo progetto si vuole contribuire all'avanzamento dello stato dell¿arte di alcune tecniche di verifica automatica di
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFondi dell'ateneo
FinanziatoriUniversità  degli Studi di SALERNO
Importo6.409,99 euro
Periodo20 Novembre 2017 - 20 Novembre 2020
Proroga20 febbraio 2021
Dettaglio
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFondi dell'ateneo
FinanziatoriUniversità  degli Studi di SALERNO
Importo6.454,77 euro
Periodo29 Luglio 2016 - 20 Settembre 2018
Proroga20 settembre 2019
Dettaglio
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFondi dell'ateneo
FinanziatoriUniversità  degli Studi di SALERNO
Importo63.269,00 euro
Periodo28 Luglio 2015 - 28 Luglio 2017
Proroga28 Luglio 2018
Dettaglio
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFondi dell'ateneo
FinanziatoriUniversità  degli Studi di SALERNO
Importo6.620,26 euro
Periodo7 Novembre 2014 - 7 Novembre 2016
Proroga7 novembre 2017
Dettaglio
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFinanziamenti da bandi regionali, comunali ed enti locali
FinanziatoriCOMMISSIONE EUROPEA
Importo338.377,00 euro
Periodo1 Luglio 2014 - 31 Dicembre 2015
Dettaglio
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFondi dell'ateneo
FinanziatoriUniversità  degli Studi di SALERNO
Importo6.480,46 euro
Periodo11 Dicembre 2013 - 11 Dicembre 2015
Proroga11 dicembre 2016
Dettaglio
Progetto di ricerca "GNCS-INdAM 2014" Automi, giochi e logiche temporali per la verifica e la sintesi di controllori in sistemi Safety-Critical"
StrutturaDipartimento di Informatica/DI
ResponsabileLA TORRE Salvatore (Coordinatore Progetto)
Tipo di finanziamentoFinanziamenti da altre attività di ricerca
FinanziatoriISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI"
Importo8.000,00 euro
Periodo18 Marzo 2014 - 17 Marzo 2015
Dettaglio

  Fonte dati U-GOV dal 1 Gennaio 2013