IRIS

PERON, ADRIANO

PERON, ADRIANO  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 115 (tempo di esecuzione: 0.018 secondi).
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.