| 2026 | TACAS | Iekk: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution). | Paolo Di Biase, Bernd Fischer, Salvatore La Torre, Peter Schrammel, Gennaro Parlato |
| 2025 | CAV | Verifying Tree-Manipulating Programs via CHCs. | Marco Faella, Gennaro Parlato |
| 2024 | ECAI | A Unified Automata-Theoretic Approach to LTL | Marco Faella, Gennaro Parlato |
| 2023 | AAAI | Reachability Games Modulo Theories with a Bounded Safety Player. | Marco Faella, Gennaro Parlato |
| 2023 | EUMAS | Verifying Programs by Bounded Tree-Width Behavior Graphs. | Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco |
| 2022 | CAV | Reasoning About Data Trees Using CHCs. | Marco Faella, Gennaro Parlato |
| 2017 | DBSEC | Preventing Unauthorized Data Flows. | Emre Uzun, Gennaro Parlato, Vijayalakshmi Atluri, Anna Lisa Ferrara, Jaideep Vaidya, Shamik Sural, David Lorenzi |
| 2017 | SEFM | Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. | Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2017 | TACAS | Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). | Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | ATVA | Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. | Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | FMCAD | Lazy sequentialization for TSO and PSO via shared memory abstractions. | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | TACAS | MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TACAS | Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). | Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TACAS | MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TACAS | Verifying Concurrent Programs by Memory Unwinding. | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | CAV | Vac - Verifier of Administrative Role-Based Access Control Policies. | Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato |
| 2014 | CAV | Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. | Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | DLT | Scope-Bounded Pushdown Languages. | Salvatore La Torre, Margherita Napoli, Gennaro Parlato |
| 2014 | MFCS | A Unifying Approach for Multistack Pushdown Automata. | Salvatore La Torre, Margherita Napoli, Gennaro Parlato |
| 2014 | TACAS | Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). | Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | TACAS | MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2013 | SAS | Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists. | Pranav Garg, P. Madhusudan, Gennaro Parlato |
| 2013 | TACAS | CSeq: A Sequentialization Tool for C - (Competition Contribution). | Bernd Fischer, Omar Inverso, Gennaro Parlato |
| 2013 | TACAS | Policy Analysis for Self-administrated Role-Based Access Control. | Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato |
| 2012 | SACMAT | Analyzing temporal role based access control models. | Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Gennaro Parlato, Anna Lisa Ferrara, Parthasarathy Madhusudan |
| 2011 | CAV | Getting Rid of Store-Buffers in TSO Analysis. | Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato |
| 2011 | INOC | A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem. | Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato |
| 2011 | POPL | The tree width of auxiliary storage. | P. Madhusudan, Gennaro Parlato |
| 2011 | POPL | Decidable logics combining heap structures and data. | P. Madhusudan, Gennaro Parlato, Xiaokang Qiu |
| 2011 | SAS | On Sequentializing Concurrent Programs. | Ahmed Bouajjani, Michael Emmi, Gennaro Parlato |
| 2010 | CAV | Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
| 2010 | LATIN | The Language Theory of Bounded Context-Switching. | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
| 2009 | CAV | Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
| 2009 | PLDI | Analyzing recursive programs using a fixed-point calculus. | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
| 2008 | CSL | An Infinite Automaton Characterization of Double Exponential Time. | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
| 2008 | TACAS | Context-Bounded Analysis of Concurrent Queue Systems. | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
| 2007 | ICALP | On the Complexity of LtlModel-Checking of Recursive State Machines. | Salvatore La Torre, Gennaro Parlato |
| 2007 | LATA | Verification of Succinct Hierarchical State Machines. | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
| 2007 | LICS | A Robust Class of Context-Sensitive Languages. | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
| 2005 | WAOA | Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. | Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre |
| 2003 | ICALP | Hierarchical and Recursive State Machines with Context-Dependent Properties. | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |