PERON, ADRIANO
PERON, ADRIANO
Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione
Change-Aware Regression Test Prioritization using Genetic Algorithms
In corso di stampa Altiero, Francesco; Colella, Giovanni; Corazza, Anna; DI MARTINO, Sergio; Peron, Adriano; Starace, LUIGI LIBERO LUCIO
ReCover: A Curated Dataset for Regression Testing Research
2022 Altiero, Francesco; Corazza, Anna; DI MARTINO, Sergio; Peron, Adriano; Starace, LUIGI LIBERO LUCIO
From Dynamic State Machines to Promela
2019 Benerecetti, Massimo; Gentile, Ugo; Nardone, Roberto; Peron, Adriano; Starace, LUIGI LIBERO LUCIO; Vittorini, Valeria; Marrone, Stefano
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete
2021 Bozzelli, L.; Montanari, A.; Sala, P.; Peron, A.
Pspace-completeness of the temporal logic of sub-intervals and suffixes
2021 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems
2021 Benerecetti, M.; Mogavero, F.; Peron, A.; Starace, L. L. L.
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION
2022 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Context-free timed formalisms: Robust automata and linear temporal logics
2022 Bozzelli, L.; Murano, A.; Peron, A.
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference
2021 Corazza, Anna; Di Martino, Sergio; Peron, Adriano; Starace, Luigi Libero Lucio
Complexity issues for timeline-based planning over dense time under future and minimal semantics
2022 Bozzelli, L.; Montanari, A.; Peron, A.
Asynchronous Extensions of HyperLTL
2021 Bozzelli, L.; Peron, A.; Sanchez, C.
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference
2021 Corazza, Anna; DI MARTINO, Sergio; Peron, Adriano; Starace, LUIGI LIBERO LUCIO
Inspecting Code Churns to Prioritize Test Cases
2020 Altiero, Francesco; Corazza, Anna; Di Martino, Sergio; Peron, Adriano; Starace, Luigi Libero Lucio
Benchmarking management techniques for massive IIoT time series in a fog architecture
2021 Riccabone, Alberto; Vitale, Vincenzo Norman; Peron, Adriano; Di Martino, Sergio
Model Checking Timeline-based Systems over Dense Temporal Domains?
2019 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases
2019 Di Martino, S.; Fiadone, L.; Peron, A.; Vitale, V. N.; Riccabone, A.
Taming the complexity of timeline-based planning over dense temporal domains
2019 Bozzelli, L.; Montanari, A.; Peron, A.
Interval temporal logic for visibly pushdown systems
2019 Bozzelli, L.; Montanari, A.; Peron, A.
Ordered multi-stack visibly pushdown automata
2016 Carotenuto, Dario; Murano, Aniello; Peron, Adriano
Complexity analysis of a unifying algorithm for model checking interval temporal logic
2021 Bozzelli, L.; Montanari, A.; Peron, A.
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Change-Aware Regression Test Prioritization using Genetic Algorithms | 4.1 Articoli in Atti di convegno | In corso di stampa | Altiero, Francesco; Colella, Giovanni; Corazza, Anna; DI MARTINO, Sergio; Peron, Adriano; Starace, LUIGI LIBERO LUCIO | |
ReCover: A Curated Dataset for Regression Testing Research | 4.1 Articoli in Atti di convegno | 2022 | Altiero, Francesco; Corazza, Anna; DI MARTINO, Sergio; Peron, Adriano; Starace, LUIGI LIBERO LUCIO | |
From Dynamic State Machines to Promela | 2.1 Contributo in volume (Capitolo o Saggio) | 2019 | Benerecetti, Massimo; Gentile, Ugo; Nardone, Roberto; Peron, Adriano; Starace, LUIGI LIBERO LUCIO; Vittorini, Valeria; Marrone, Stefano | |
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete | 4.1 Articoli in Atti di convegno | 2021 | Bozzelli, L.; Montanari, A.; Sala, P.; Peron, A. | |
Pspace-completeness of the temporal logic of sub-intervals and suffixes | 4.1 Articoli in Atti di convegno | 2021 | Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P. | |
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems | 4.1 Articoli in Atti di convegno | 2021 | Benerecetti, M.; Mogavero, F.; Peron, A.; Starace, L. L. L. | |
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION | 1.1 Articolo in rivista | 2022 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P. | |
Context-free timed formalisms: Robust automata and linear temporal logics | 1.1 Articolo in rivista | 2022 | Bozzelli, L.; Murano, A.; Peron, A. | |
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference | 4.1 Articoli in Atti di convegno | 2021 | Corazza, Anna; Di Martino, Sergio; Peron, Adriano; Starace, Luigi Libero Lucio | |
Complexity issues for timeline-based planning over dense time under future and minimal semantics | 1.1 Articolo in rivista | 2022 | Bozzelli, L.; Montanari, A.; Peron, A. | |
Asynchronous Extensions of HyperLTL | 4.1 Articoli in Atti di convegno | 2021 | Bozzelli, L.; Peron, A.; Sanchez, C. | |
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference | 3.1 Monografia o trattato scientifico | 2021 | Corazza, Anna; DI MARTINO, Sergio; Peron, Adriano; Starace, LUIGI LIBERO LUCIO | |
Inspecting Code Churns to Prioritize Test Cases | 4.1 Articoli in Atti di convegno | 2020 | Altiero, Francesco; Corazza, Anna; Di Martino, Sergio; Peron, Adriano; Starace, Luigi Libero Lucio | |
Benchmarking management techniques for massive IIoT time series in a fog architecture | 1.1 Articolo in rivista | 2021 | Riccabone, Alberto; Vitale, Vincenzo Norman; Peron, Adriano; Di Martino, Sergio | |
Model Checking Timeline-based Systems over Dense Temporal Domains? | 4.1 Articoli in Atti di convegno | 2019 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A. | |
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases | 4.1 Articoli in Atti di convegno | 2019 | Di Martino, S.; Fiadone, L.; Peron, A.; Vitale, V. N.; Riccabone, A. | |
Taming the complexity of timeline-based planning over dense temporal domains | 4.1 Articoli in Atti di convegno | 2019 | Bozzelli, L.; Montanari, A.; Peron, A. | |
Interval temporal logic for visibly pushdown systems | 4.1 Articoli in Atti di convegno | 2019 | Bozzelli, L.; Montanari, A.; Peron, A. | |
Ordered multi-stack visibly pushdown automata | 1.1 Articolo in rivista | 2016 | Carotenuto, Dario; Murano, Aniello; Peron, Adriano | |
Complexity analysis of a unifying algorithm for model checking interval temporal logic | 1.1 Articolo in rivista | 2021 | Bozzelli, L.; Montanari, A.; Peron, A. |