PARLATO, Gennaro

PARLATO, Gennaro  

DIPARTIMENTO DI BIOSCIENZE E TERRITORIO  

Mostra records
Risultati 1 - 20 di 58 (tempo di esecuzione: 0.036 secondi).
Titolo Data di pubblicazione Autore(i) File
Analyzing Recursive Programs using Fixed-point Calculus 1-gen-2009 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Analyzing temporal role based access control models 1-gen-2012 Emre, Uzun; Vijayalakshmi, Atluri; Shamik, Sural; Jaideep, Vaidya; Parlato, G; Ferrara, Anna Lisa; Parthasarathy, Madhusudan
Analyzing temporal role based access control models 1-gen-2012 Uzun, E; Atluri, V; Sural, S; Vaidya, J; Parlato, G; Ferrara, Anna Lisa; Madhusudan, P.
Automated Planning Through Program Verification 1-gen-2021 La Torre, Salvatore; Parlato, Gennaro
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 1-gen-2014 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 1-gen-2022 Inverso, Omar; Tomasco, Ermenegildo; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro
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
Context-Bounded Analysis of TSO Systems 1-gen-2014 Mohamed Faouzi, Atig; Ahmed, Bouajjani; Parlato, G
CSeq: A concurrency pre-processor for sequential C verification tools 1-gen-2013 Bernd, Fischer; Omar, Inverso; Parlato, G
CSeq: A Sequentialization Tool for C 1-gen-2013 Bernd, Fischer; Omar, Inverso; Parlato, G
Decidable logics combining heap structures and data 1-gen-2011 P., Madhusudan; Parlato, G; Qiu, X
Fast payment schemes for truthful mechanisms with verification 1-gen-2009 Alessandro, Ferrante; Parlato, G; Francesco, Sorrentino; Carmine, Ventre
Getting Rid of Store-Buffers in TSO Analysis 1-gen-2011 Atig, F; Bouajjani, A; Parlato, G
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
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 Sequentialization for TSO and PSO via Shared Memory Abstractions 1-gen-2016 Tomasco, E.; Nguyen, T. L.; Inverso, O.; Fischer, B.; La Torre, S.; Parlato, G