PARLATO, Gennaro
PARLATO, Gennaro
DIPARTIMENTO DI BIOSCIENZE E TERRITORIO
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds
2004-01-01 Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds
2005-01-01 Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G
A Robust Class of Context-Sensitive Languages
2007-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem
2011-01-01 Carrabs, F; Cerulli, R; Gentili, M; Parlato, G
A Unified Automata-Theoretic Approach to LTLf Modulo Theories
2024-01-01 Faella, Marco; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Analyzing Recursive Programs using Fixed-point Calculus
2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Analyzing temporal role based access control models
2012-01-01 Emre, Uzun; Vijayalakshmi, Atluri; Shamik, Sural; Jaideep, Vaidya; Parlato, G; Ferrara, Anna Lisa; Parthasarathy, Madhusudan
Analyzing temporal role based access control models
2012-01-01 Uzun, E; Atluri, V; Sural, S; Vaidya, J; Parlato, G; Ferrara, Anna Lisa; Madhusudan, P.
Automated Planning Through Program Verification
2021-01-01 La Torre, Salvatore; Parlato, Gennaro
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014-01-01 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization
2022-01-01 Inverso, Omar; Tomasco, Ermenegildo; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
2022-01-01 Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P.
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
2017-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Context-Bounded Analysis of Concurrent Queue Systems
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Context-Bounded Analysis of TSO Systems
2014-01-01 Mohamed Faouzi, Atig; Ahmed, Bouajjani; Parlato, G
CSeq: A concurrency pre-processor for sequential C verification tools
2013-01-01 Bernd, Fischer; Omar, Inverso; Parlato, G
CSeq: A Sequentialization Tool for C
2013-01-01 Bernd, Fischer; Omar, Inverso; Parlato, G
Decidable logics combining heap structures and data
2011-01-01 P., Madhusudan; Parlato, G; Qiu, X
Fast payment schemes for truthful mechanisms with verification
2009-01-01 Alessandro, Ferrante; Parlato, G; Francesco, Sorrentino; Carmine, Ventre
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds | 1-gen-2004 | Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G | |
| A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds | 1-gen-2005 | Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G | |
| A Robust Class of Context-Sensitive Languages | 1-gen-2007 | LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
| A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem | 1-gen-2011 | Carrabs, F; Cerulli, R; Gentili, M; Parlato, G | |
| A Unified Automata-Theoretic Approach to LTLf Modulo Theories | 1-gen-2024 | Faella, Marco; Parlato, Gennaro | |
| An Infinite Automaton Characterization of Double Exponential Time | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
| 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 | |
| CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory | 1-gen-2022 | Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P. | |
| 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 |