Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gennaro Parlato
2010 – today
- 2013
[c23]Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato: Policy Analysis for Self-administrated Role-Based Access Control. TACAS 2013: 432-447- [c22]Bernd Fischer, Omar Inverso, Gennaro Parlato: CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS 2013: 616-618
- [i1]Pranav Garg, P. Madhusudan, Gennaro Parlato: Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists. CoRR abs/1304.0660 (2013)
- 2012
- [c21]Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato: Security Analysis of Role-Based Access Control through Program Verification. CSF 2012: 113-125
- [c20]Salvatore La Torre, Gennaro Parlato: Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width. FSTTCS 2012: 173-184
- [c19]Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Gennaro Parlato, Anna Lisa Ferrara, Parthasarathy Madhusudan: Analyzing temporal role based access control models. SACMAT 2012: 177-186
- [c18]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Sequentializing Parameterized Programs. FIT 2012: 34-47
- 2011
- [c17]Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato: Getting Rid of Store-Buffers in TSO Analysis. CAV 2011: 99-115
- [c16]Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato: A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem. INOC 2011: 589-602
- [c15]
- [c14]P. Madhusudan, Gennaro Parlato, Xiaokang Qiu: Decidable logics combining heap structures and data. POPL 2011: 611-622
- [c13]Ahmed Bouajjani, Michael Emmi, Gennaro Parlato: On Sequentializing Concurrent Programs. SAS 2011: 129-145
- 2010
- [c12]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV 2010: 629-644
- [c11]Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: The Language Theory of Bounded Context-Switching. LATIN 2010: 96-107
2000 – 2009
- 2009
- [j4]Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre: Fast payment schemes for truthful mechanisms with verification. Theor. Comput. Sci. 410(8-10): 886-899 (2009)
- [c10]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV 2009: 477-492
- [c9]Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: Analyzing recursive programs using a fixed-point calculus. PLDI 2009: 211-222
- 2008
- [j3]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of scope-dependent hierarchical state machines. Inf. Comput. 206(9-10): 1161-1177 (2008)
- [c8]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: An Infinite Automaton Characterization of Double Exponential Time. CSL 2008: 33-48
- [c7]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Context-Bounded Analysis of Concurrent Queue Systems. TACAS 2008: 299-314
- 2007
- [c6]Salvatore La Torre, Gennaro Parlato: On the Complexity of LtlModel-Checking of Recursive State Machines. ICALP 2007: 937-948
- [c5]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of Succinct Hierarchical State Machines. LATA 2007: 485-496
- [c4]Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: A Robust Class of Context-Sensitive Languages. LICS 2007: 161-170
- 2005
- [j2]Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato: A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds. Inf. Process. Lett. 94(1): 29-35 (2005)
- [c3]Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre: Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. WAOA 2005: 147-160
- 2004
- [j1]Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato: Minimum Weighted Feedback Vertex Set on Diamonds. Electronic Notes in Discrete Mathematics 17: 87-91 (2004)
- [c2]Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato: Minimum Weighted Feedback Vertex Set on Diamonds. CTW 2004: 81-85
- 2003
- [c1]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP 2003: 776-789
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-03 21:42 CEST by the dblp team