Sfoglia per Serie
On Sequentializing Concurrent Programs
2011-01-01 Bouajjani, A; Emmi, M; Parlato, G
On the Complexity of Ltl Model-Checking of Recursive State Machines
2007-01-01 SALVATORE LA, Torre; Parlato, G
Policy analysis for self-administrated role-based access control
2013-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
2013-01-01 Pranav, Garg; P., Madhusudan; Parlato, G
Reducing Context-bounded Concurrent Reachability to Sequential Reachability
2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Smart Cities as "EnvironMental" Cities
2013-01-01 DE BONIS, Luciano
Towards the Construction of a Hypothetical Map of Santa Maria de la Antigua del Darién (Colombia), The First Spanish City in the American Mainland. An Overview of Ten years of a Communitarian and Multidisciplinary Archaeological Project
2024-01-01 Cozzolino, Marilena; Gentile, Vincenzo; Mauriello, Paolo; Sarcina, Alberto
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches
2015-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models
2017-01-01 Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Vac - Verifier of administrative role-based access control policies
2014-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro
Verifying Concurrent Programs by Memory Unwinding
2015-01-01 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
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