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