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

Sfoglia per Serie  

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 21 a 29 di 29
Titolo Data di pubblicazione Autore(i) File
On the Complexity of Ltl Model-Checking of Recursive State Machines 1-gen-2007 SALVATORE LA, Torre; Parlato, G
Policy analysis for self-administrated role-based access control 1-gen-2013 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 1-gen-2013 Pranav, Garg; P., Madhusudan; Parlato, G
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 1-gen-2009 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Smart Cities as "EnvironMental" Cities 1-gen-2013 DE BONIS, Luciano
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 1-gen-2015 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 1-gen-2017 Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Vac - Verifier of administrative role-based access control policies 1-gen-2014 Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro
Verifying Concurrent Programs by Memory Unwinding 1-gen-2015 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Mostrati risultati da 21 a 29 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