PARLATO, GENNARO

PARLATO, GENNARO  

Dipartimento di Matematica/DIPMAT  

Mostra records
Risultati 1 - 20 di 40 (tempo di esecuzione: 0.076 secondi).
Titolo Data di pubblicazione Autore(i) File
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 1-gen-2020 LA TORRE, Salvatore; Parlato, Gennaro
A Robust Class of Context-Sensitive Languages 1-gen-2007 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro; LA TORRE, Salvatore
A Robust Class of Context-Sensitive Languages 1-gen-2007 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
A Unifying Approach for Multistack Pushdown Automata 1-gen-2014 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time 1-gen-2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 1-gen-2022 Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G.
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 1-gen-2017 Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Context-Bounded Analysis of Concurrent Queue Systems 1-gen-2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
Context-Bounded Analysis of Concurrent Queue Systems 1-gen-2008 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
Fast payment schemes for truthful mechanisms with verification 1-gen-2009 Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 1-gen-2005 Alessandro, Ferrante; Parlato, Gennaro; F., RANCESCO SORRENTINO; Carmine, Ventre
Lazy sequentialization for the safety verification of unbounded concurrent programs 1-gen-2016 Nguyen, Truc L; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 1-gen-2016 Tomasco, E.; Nguyen, T. L.; Inverso, O.; Fischer, B.; LA TORRE, Salvatore; Parlato, Gennaro
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 1-gen-2017 Nguyen, Truc L.; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 1-gen-2015 Inverso, Omar; Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Model Checking BDI Logics over Finite-state Worlds 1-gen-2019 LA TORRE, Salvatore; Parlato, Gennaro
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 1-gen-2010 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces. 1-gen-2010 SALVATORE LA, Torre; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces. 1-gen-2010 SALVATORE LA, Torre; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces. 1-gen-2010 SALVATORE LA, Torre; Parlato, Gennaro