Gennaro Parlato

According to our database, Gennaro Parlato authored at least 60 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verifying Programs by Bounded Tree-Width Behavior Graphs.

Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Reachability Games Modulo Theories with a Bounded Safety Player.

Marco Faella, Gennaro Parlato

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization.

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

ACM Trans. Program. Lang. Syst., 2022

CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory.

Bernd Fischer, Salvatore La Torre, Gennaro Parlato, Peter Schrammel

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Reasoning About Data Trees Using CHCs.

Marco Faella, Gennaro Parlato

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Automated Planning Through Program Verification.

Salvatore La Torre, Gennaro Parlato

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2020

Reachability of scope-bounded multistack pushdown systems.

Salvatore La Torre, Margherita Napoli, Gennaro Parlato

Inf. Comput., 2020

A Fixed-point Model-checker for BDI Logics over Finite-state Worlds.

Salvatore La Torre, Gennaro Parlato

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

On the Model-Checking of Branching-time Temporal Logic with BDI Modalities.

Salvatore La Torre, Gennaro Parlato

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq.

Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Model Checking BDI Logics over Finite-state Worlds.

Salvatore La Torre, Gennaro Parlato

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2017

Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution).

Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models.

Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Concurrent Program Verification with Lazy Sequentialization and Interval Analysis.

Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Networked Systems - 5th International Conference, 2017

Parallel bug-finding in concurrent programs via reduced interleaving instances.

Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Preventing Unauthorized Data Flows.

Emre Uzun, Gennaro Parlato, Vijayalakshmi Atluri, Anna Lisa Ferrara, Jaideep Vaidya, Shamik Sural, David Lorenzi

Proceedings of the Data and Applications Security and Privacy XXXI, 2017

2016

Scope-Bounded Pushdown Languages.

Salvatore La Torre, Margherita Napoli, Gennaro Parlato

Int. J. Found. Comput. Sci., 2016

MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution).

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Lazy sequentialization for TSO and PSO via shared memory abstractions.

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs.

Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Verifying Concurrent Programs by Memory Unwinding.

Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs.

Omar Inverso, Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Security analysis for temporal role based access control.

Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya, Shamik Sural, Anna Lisa Ferrara, Gennaro Parlato, P. Madhusudan

J. Comput. Secur., 2014

On the Path-Width of Integer Linear Programming.

Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution).

Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution).

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

A Unifying Approach for Multistack Pushdown Automata.

Salvatore La Torre, Margherita Napoli, Gennaro Parlato

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Context-Bounded Analysis of TSO Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization.

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Vac - Verifier of Administrative Role-Based Access Control Policies.

Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Policy Analysis for Self-administrated Role-Based Access Control.

Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

CSeq: A Sequentialization Tool for C - (Competition Contribution).

Bernd Fischer, Omar Inverso, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists.

Pranav Garg, P. Madhusudan, Gennaro Parlato

Proceedings of the Static Analysis - 20th International Symposium, 2013

CSeq: A concurrency pre-processor for sequential C verification tools.

Bernd Fischer, Omar Inverso, Gennaro Parlato

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Sequentializing Parameterized Programs

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

Analyzing temporal role based access control models.

Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Gennaro Parlato, Anna Lisa Ferrara, Parthasarathy Madhusudan

Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width.

Salvatore La Torre, Gennaro Parlato

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Security Analysis of Role-Based Access Control through Program Verification.

Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

On Sequentializing Concurrent Programs.

Ahmed Bouajjani, Michael Emmi, Gennaro Parlato

Proceedings of the Static Analysis - 18th International Symposium, 2011

Decidable logics combining heap structures and data.

P. Madhusudan, Gennaro Parlato, Xiaokang Qiu

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

The tree width of auxiliary storage.

P. Madhusudan, Gennaro Parlato

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem.

Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato

Proceedings of the Network Optimization - 5th International Conference, 2011

Getting Rid of Store-Buffers in TSO Analysis.

Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

The Language Theory of Bounded Context-Switching.

Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato

Proceedings of the LATIN 2010: Theoretical Informatics, 2010

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces.

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Fast payment schemes for truthful mechanisms with verification.

Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre

Theor. Comput. Sci., 2009

Analyzing recursive programs using a fixed-point calculus.

Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Reducing Context-Bounded Concurrent Reachability to Sequential Reachability.

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Verification of scope-dependent hierarchical state machines.

Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato

Inf. Comput., 2008

Context-Bounded Analysis of Concurrent Queue Systems.

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

An Infinite Automaton Characterization of Double Exponential Time.

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

A Robust Class of Context-Sensitive Languages.

Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Verification of Succinct Hierarchical State Machines.

Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

On the Complexity of LtlModel-Checking of Recursive State Machines.

Salvatore La Torre, Gennaro Parlato

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2005

A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds.

Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato

Inf. Process. Lett., 2005

Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents.

Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre

Proceedings of the Approximation and Online Algorithms, Third International Workshop, 2005

2004

Minimum Weighted Feedback Vertex Set on Diamonds.

Francesco Carrabs, Raffaele Cerulli, Monica Gentili, Gennaro Parlato

Electron. Notes Discret. Math., 2004

2003

Hierarchical and Recursive State Machines with Context-Dependent Properties.

Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003