Salvatore LA TORRE | Projects
Salvatore LA TORRE Projects
16 Funded projects
Filter
La verifica dei sistemi digitali è un'area di ricerca di grande interesse e c'è una richiesta crescente di strumenti automatici di verifica dovuta anche alla notevole complessità dei sistemi da analizzare. I metodi formali hanno giocato e giocano un ruolo rilevante in questa area e hanno portato allo sviluppo di strumenti automatici di verifica di successo come ad esempio i model-checkers. Se da u
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 3.501,59 euro | |
| Project duration | 25 November 2024 - 25 November 2027 | |
| Detail |
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
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 2.730,68 euro | |
| Project duration | 31 July 2023 - 31 July 2026 | |
| Detail |
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
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 2.709,27 euro | |
| Project duration | 25 July 2022 - 25 July 2025 | |
| Detail |
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
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 3.060,47 euro | |
| Project duration | 22 November 2021 - 22 November 2024 | |
| Proroga | 25 Luglio 2025 | |
| Detail |
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 3.074,88 euro | |
| Project duration | 15 February 2021 - 30 September 2024 | |
| Detail |
Concluded
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
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 3.108,54 euro | |
| Project duration | 18 May 2020 - 18 May 2023 | |
| Detail |
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | COSTAGLIOLA Gennaro (Project Coordinator) | |
| Funding | Finanziamenti da bandi nazionali Ministeriali ed altri EEPP | |
| Funders | COMMISSIONE EUROPEA | |
| Cost | 52.484,18 euro | |
| Project duration | 1 January 2020 - 31 December 2022 | |
| Detail |
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | COSTAGLIOLA Gennaro (Project Coordinator) | |
| Funding | Finanziamenti da bandi nazionali Ministeriali ed altri EEPP | |
| Funders | COMMISSIONE EUROPEA | |
| Cost | 299.800,00 euro | |
| Project duration | 1 January 2020 - 31 December 2022 | |
| Proroga | 30 giugno 2023 | |
| Detail |
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
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 3.284,24 euro | |
| Project duration | 11 March 2019 - 10 March 2022 | |
| Detail |
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
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 6.409,99 euro | |
| Project duration | 20 November 2017 - 20 November 2020 | |
| Proroga | 20 febbraio 2021 | |
| Detail |
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 6.454,77 euro | |
| Project duration | 29 July 2016 - 20 September 2018 | |
| Proroga | 20 settembre 2019 | |
| Detail |
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 63.269,00 euro | |
| Project duration | 28 July 2015 - 28 July 2017 | |
| Proroga | 28 Luglio 2018 | |
| Detail |
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 6.620,26 euro | |
| Project duration | 7 November 2014 - 7 November 2016 | |
| Proroga | 7 novembre 2017 | |
| Detail |
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | Finanziamenti da bandi regionali, comunali ed enti locali | |
| Funders | COMMISSIONE EUROPEA | |
| Cost | 338.377,00 euro | |
| Project duration | 1 July 2014 - 31 December 2015 | |
| Detail |
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | University funds | |
| Funders | Università degli Studi di SALERNO | |
| Cost | 6.480,46 euro | |
| Project duration | 11 December 2013 - 11 December 2015 | |
| Proroga | 11 dicembre 2016 | |
| Detail |
Progetto di ricerca "GNCS-INdAM 2014" Automi, giochi e logiche temporali per la verifica e la sintesi di controllori in sistemi Safety-Critical"
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore (Project Coordinator) | |
| Funding | Funds from other research activities | |
| Funders | ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" | |
| Cost | 8.000,00 euro | |
| Project duration | 18 March 2014 - 17 March 2015 | |
| Detail |
Data source U-GOV dal 1 Gennaio 2013
