PARLATO, GENNARO
PARLATO, GENNARO
Dipartimento di Matematica/DIPMAT
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds
2020 LA TORRE, Salvatore; Parlato, Gennaro
A Robust Class of Context-Sensitive Languages
2007 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro; LA TORRE, Salvatore
A Robust Class of Context-Sensitive Languages
2007 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
A Unifying Approach for Multistack Pushdown Automata
2014 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time
2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
2022 Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G.
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
2017 Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Context-Bounded Analysis of Concurrent Queue Systems
2008 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
Context-Bounded Analysis of Concurrent Queue Systems
2008 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
Fast payment schemes for truthful mechanisms with verification
2009 Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
2005 Alessandro, Ferrante; Parlato, Gennaro; F., RANCESCO SORRENTINO; Carmine, Ventre
Lazy sequentialization for the safety verification of unbounded concurrent programs
2016 Nguyen, Truc L; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions
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
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
2015 Inverso, Omar; Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Model Checking BDI Logics over Finite-state Worlds
2019 LA TORRE, Salvatore; Parlato, Gennaro
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
2010 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces.
2010 SALVATORE LA, Torre; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces.
2010 SALVATORE LA, Torre; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces.
2010 SALVATORE LA, Torre; Parlato, Gennaro
| 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 |