Gennaro Parlato

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 21

Top Topics

Top Venues

Publications

Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco
Verifying Programs by Bounded Tree-Width Behavior Graphs. EUMAS (2023)
Marco Faella, Gennaro Parlato
Reachability Games Modulo Theories with a Bounded Safety Player. AAAI (2023)
Marco Faella, Gennaro Parlato
Reasoning About Data Trees Using CHCs. CAV (2) (2022)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Bernd Fischer, Salvatore La Torre, Gennaro Parlato, Peter Schrammel
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. ASE (2022)
Salvatore La Torre, Gennaro Parlato
Automated Planning Through Program Verification. OVERLAY@GandALF (2021)
Salvatore La Torre, Margherita Napoli, Gennaro Parlato
Reachability of scope-bounded multistack pushdown systems. Inf. Comput. 275 (2020)
Salvatore La Torre, Gennaro Parlato
On the Model-Checking of Branching-time Temporal Logic with BDI Modalities. AAMAS (2020)
Salvatore La Torre, Gennaro Parlato
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds. OVERLAY (2020)
Bernd Fischer, Salvatore La Torre, Gennaro Parlato
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq. ASE (2019)
Salvatore La Torre, Gennaro Parlato
Model Checking BDI Logics over Finite-state Worlds. OVERLAY@AI*IA (2019)
Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Parallel bug-finding in concurrent programs via reduced interleaving instances. ASE (2017)
Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. SEFM (2017)
Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. NETYS (2017)
Emre Uzun, Gennaro Parlato, Vijayalakshmi Atluri, Anna Lisa Ferrara, Jaideep Vaidya, Shamik Sural, David Lorenzi
Preventing Unauthorized Data Flows. DBSec (2017)
Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
On the path-width of integer linear programming. Inf. Comput. 253 (2017)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy sequentialization for TSO and PSO via shared memory abstractions. FMCAD (2016)
Salvatore La Torre, Margherita Napoli, Gennaro Parlato
Scope-Bounded Pushdown Languages. Int. J. Found. Comput. Sci. 27 (2) (2016)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). TACAS (2016)
Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. ATVA (2016)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Verifying Concurrent Programs by Memory Unwinding. TACAS (2015)
Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). TACAS (2015)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). TACAS (2015)
Omar Inverso, Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. ASE (2015)
Salvatore La Torre, Margherita Napoli, Gennaro Parlato
A Unifying Approach for Multistack Pushdown Automata. MFCS (1) (2014)
Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
Context-Bounded Analysis of TSO Systems. FPS@ETAPS (2014)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV (2014)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). TACAS (2014)
Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato
Vac - Verifier of Administrative Role-Based Access Control Policies. CAV (2014)
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
On the Path-Width of Integer Linear Programming. GandALF (2014)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). TACAS (2014)
Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya, Shamik Sural, Anna Lisa Ferrara, Gennaro Parlato, P. Madhusudan
Security analysis for temporal role based access control. J. Comput. Secur. 22 (6) (2014)
Salvatore La Torre, Margherita Napoli, Gennaro Parlato
Scope-Bounded Pushdown Languages. Developments in Language Theory (2014)
Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato
Policy Analysis for Self-administrated Role-Based Access Control. TACAS (2013)
Bernd Fischer, Omar Inverso, Gennaro Parlato
CSeq: A concurrency pre-processor for sequential C verification tools. ASE (2013)
Pranav Garg, P. Madhusudan, Gennaro Parlato
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists CoRR (2013)
Bernd Fischer, Omar Inverso, Gennaro Parlato
CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS (2013)
Pranav Garg, P. Madhusudan, Gennaro Parlato
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists. SAS (2013)
Salvatore La Torre, Gennaro Parlato
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width. FSTTCS (2012)
Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato
Security Analysis of Role-Based Access Control through Program Verification. CSF (2012)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Sequentializing Parameterized Programs FIT (2012)
Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Gennaro Parlato, Anna Lisa Ferrara, Parthasarathy Madhusudan
Analyzing temporal role based access control models. SACMAT (2012)
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)
P. Madhusudan, Gennaro Parlato
The tree width of auxiliary storage. POPL (2011)
Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
Getting Rid of Store-Buffers in TSO Analysis. CAV (2011)
P. Madhusudan, Gennaro Parlato, Xiaokang Qiu
Decidable logics combining heap structures and data. POPL (2011)
Ahmed Bouajjani, Michael Emmi, Gennaro Parlato
On Sequentializing Concurrent Programs. SAS (2011)
Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
The Language Theory of Bounded Context-Switching. LATIN (2010)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV (2010)
Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
Analyzing recursive programs using a fixed-point calculus. PLDI (2009)
Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre
Fast payment schemes for truthful mechanisms with verification. Theor. Comput. Sci. 410 (8-10) (2009)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV (2009)
Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Verification of scope-dependent hierarchical state machines. Inf. Comput. 206 (9-10) (2008)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Context-Bounded Analysis of Concurrent Queue Systems. TACAS (2008)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
An Infinite Automaton Characterization of Double Exponential Time. CSL (2008)
Salvatore La Torre, Gennaro Parlato
On the Complexity of LtlModel-Checking of Recursive State Machines. ICALP (2007)
Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Verification of Succinct Hierarchical State Machines. LATA (2007)
Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
A Robust Class of Context-Sensitive Languages. LICS (2007)
Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. WAOA (2005)
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) (2005)
Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato
Minimum Weighted Feedback Vertex Set on Diamonds. CTW (2004)
Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato
Minimum Weighted Feedback Vertex Set on Diamonds. Electron. Notes Discret. Math. 17 (2004)
Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP (2003)