IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 125
Titolo Tipologia Data di pubblicazione Autore(i) File
Regression test prioritization leveraging source code similarity with tree kernels 1.1 Articolo in rivista 2024 Altiero, Francesco; Corazza, Anna; Di Martino, Sergio; Peron, Adriano; Libero Lucio Starace, Luigi
Change-Aware Regression Test Prioritization using Genetic Algorithms 4.1 Articoli in Atti di convegno 2023 Altiero, Francesco; Colella, Giovanni; Corazza, Anna; DI MARTINO, Sergio; Peron, Adriano; Starace, LUIGI LIBERO LUCIO
Taming Strategy Logic: Non-Recurrent Fragments 1.1 Articolo in rivista 2023 Benerecetti, Massimo; Mogavero, Fabio; Peron, Adriano
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 1.1 Articolo in rivista 2023 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Interval Temporal Logic for Visibly Pushdown Systems 1.1 Articolo in rivista 2023 Bozzelli, L.; Montanari, A.; Peron, A.
Taming Strategy Logic: Non-Recurrent Fragments 4.1 Articoli in Atti di convegno 2022 Benerecetti, Massimo; Mogavero, Fabio; Peron, Adriano
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
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 4.1 Articoli in Atti di convegno 2022 Saddem-Yagoubi, Rim; Sanwal, Muhammad Usman; Libutti, Simone; Benerecetti, Massimo; Beugin, Julie; Flammini, Francesco; Ghazel, Mohamed; Janssen, Bob; Marrone, Stefano; Mogavero, Fabio; Nardone, Roberto; Peron, Adriano; Seceleanu, Cristina
Context-free timed formalisms: Robust automata and linear temporal logics 1.1 Articolo in rivista 2022 Bozzelli, L.; Murano, A.; Peron, A.
Parametric Interval Temporal Logic over Infinite Words 4.1 Articoli in Atti di convegno 2022 Bozzelli, L.; Peron, A.
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.
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.
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 4.1 Articoli in Atti di convegno 2022 Bozzelli, L.; Peron, A.; Sanchez, C.
A Quantitative Extension of Interval Temporal Logic over Infinite Words 4.1 Articoli in Atti di convegno 2022 Bozzelli, L.; 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
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
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.
Complexity analysis of a unifying algorithm for model checking interval temporal logic 1.1 Articolo in rivista 2021 Bozzelli, L.; Montanari, A.; Peron, A.
Asynchronous Extensions of HyperLTL 4.1 Articoli in Atti di convegno 2021 Bozzelli, L.; Peron, A.; Sanchez, C.
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.
Mostrati risultati da 1 a 20 di 125
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile