IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 20 di 29
Titolo Data di pubblicazione Autore(i) File
Assessing Deep Learning Predictions in Image-Based Malware Detection with Activation Maps 1-gen-2023 Iadarola, G.; Mercaldo, F.; Martinelli, F.; Santone, A.
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 1-gen-2017 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Context-Bounded Analysis of Concurrent Queue Systems 1-gen-2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
CSeq: A Sequentialization Tool for C 1-gen-2013 Bernd, Fischer; Omar, Inverso; Parlato, G
A Dynamic Approach to Defuse Logic Bombs in Android Applications 1-gen-2023 Fasano, F.; Guerra, M.; Milanese, R.; Oliveto, R.
Hierarchical and Recursive State Machines with Context-Dependent Properties 1-gen-2003 SALVATORE LA, Torre; Margherita, Napoli; Mimmo, Parente; Parlato, G.
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 1-gen-2005 Alessandro, Ferrante; Parlato, G; F RANCESCO, Sorrentino; Carmine, Ventre
An Infinite Automaton Characterization of Double Exponential Time 1-gen-2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Joint Use of GPR Surveys, Terrestrial and Aerial Photogrammetry for the Study of the Portico of the Cathedral of S. Pietro (Isernia, Italy) 1-gen-2022 Cozzolino, Marilena; Gentile, Vincenzo; Mauriello, Paolo; Zullo, Enza
The Language Theory of Bounded Context-Switching 1-gen-2010 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 1-gen-2016 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 1-gen-2017 Nguyen Truc, L.; Inverso, Omar; Fischer, Bernd; La Torre, Salvatore; Parlato, G
Lazy-CSeq: A Lazy Sequentialization Tool for C 1-gen-2014 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis 1-gen-2021 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 1-gen-2010 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 1-gen-2015 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
MU-CSeq 0.4: Individual Memory Location Unwindings 1-gen-2016 Ermenegildo, Tomasco; Truc L., Nguyen; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 1-gen-2014 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
A Neural-Network-Based Framework for Supporting Driver Classification and Analysis 1-gen-2021 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
On Sequentializing Concurrent Programs 1-gen-2011 Bouajjani, A; Emmi, M; Parlato, G
Mostrati risultati da 1 a 20 di 29
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