Salvatore LA TORRE | Progetti
Salvatore LA TORRE Progetti
13 Progetti di ricerca
Filtro
Con l'avanzamento tecnologico i sistemi digitali diventano sempre più complessi e c'è una richiesta crescente di strumenti automatici per la loro verifica. Il bounded model-checking è una delle tecniche di maggior successo per l'individuazione di bugs e rispetto ad altre tecniche, quali ad esempio il testing, presenta una migliore capacità nell'individuazione di bugs che si manifestano raramente n
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 2.730,68 euro | |
| Periodo | 31 Luglio 2023 - 31 Luglio 2026 | |
| Dettaglio |
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
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 2.709,27 euro | |
| Periodo | 25 Luglio 2022 - 25 Luglio 2025 | |
| Dettaglio |
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
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 3.060,47 euro | |
| Periodo | 22 Novembre 2021 - 22 Novembre 2024 | |
| Dettaglio |
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 3.074,88 euro | |
| Periodo | 15 Febbraio 2021 - 30 Settembre 2024 | |
| Dettaglio |
Concluso
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
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 3.108,54 euro | |
| Periodo | 18 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
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 3.284,24 euro | |
| Periodo | 11 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
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 6.409,99 euro | |
| Periodo | 20 Novembre 2017 - 20 Novembre 2020 | |
| Proroga | 20 febbraio 2021 | |
| Dettaglio |
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 6.454,77 euro | |
| Periodo | 29 Luglio 2016 - 20 Settembre 2018 | |
| Proroga | 20 settembre 2019 | |
| Dettaglio |
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 63.269,00 euro | |
| Periodo | 28 Luglio 2015 - 28 Luglio 2017 | |
| Proroga | 28 Luglio 2018 | |
| Dettaglio |
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 6.620,26 euro | |
| Periodo | 7 Novembre 2014 - 7 Novembre 2016 | |
| Proroga | 7 novembre 2017 | |
| Dettaglio |
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Finanziamenti da bandi regionali, comunali ed enti locali | |
| Finanziatori | COMMISSIONE EUROPEA | |
| Importo | 338.377,00 euro | |
| Periodo | 1 Luglio 2014 - 31 Dicembre 2015 | |
| Dettaglio |
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Fondi dell'ateneo | |
| Finanziatori | Università degli Studi di SALERNO | |
| Importo | 6.480,46 euro | |
| Periodo | 11 Dicembre 2013 - 11 Dicembre 2015 | |
| Proroga | 11 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"
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore (Coordinatore Progetto) | |
| Tipo di finanziamento | Finanziamenti da altre attività di ricerca | |
| Finanziatori | ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" | |
| Importo | 8.000,00 euro | |
| Periodo | 18 Marzo 2014 - 17 Marzo 2015 | |
| Dettaglio |
Fonte dati U-GOV dal 1 Gennaio 2013
