Concepedia

Gennaro Parlato

GP

26

Publications

970

Citations

19

H-Index

2005

Active since

Affiliations

University of Salerno(Current)

University of Southampton

University of Illinois Urbana-Champaign

Stellenbosch University

Centre National de la Recherche Scientifique

Gennaro Parlato is an author at University of Salerno specializing in formal verification, engineering, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsProgram AnalysisSoftware AnalysisVerificationAutomated ReasoningComputer EngineeringParallel Computing

Publications per year

2005–2023

26

Publications

26

A Robust Class of Context-Sensitive Languages

Salvatore La Torre, P. Madhusudan, Gennaro Parlato · 2007 · 133 citations

Engineering, Multi-stack Pushdown Automata, Verification +22

Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2013

Anna-Lisa Ferrara, P. Madhusudan, Gennaro Parlato · Springer US · 2013 · 130 citations

System Of System, Model-based System Engineering, Engineering +14

The tree width of auxiliary storage

P. Madhusudan, Gennaro Parlato · ACM SIGPLAN Notices · 2011 · 82 citations

Engineering, Storage Management, Pushdown Automaton +16

Decidable logics combining heap structures and data

P. Madhusudan, Gennaro Parlato, Xiaokang Qiu · ACM SIGPLAN Notices · 2011 · 70 citations

Applied Logic, Engineering, Decidable Logics +18

Analyzing recursive programs using a fixed-point calculus

Salvatore La Torre, P. Madhusudan, Gennaro Parlato · 2009 · 49 citations

Program Checking, Engineering, Verification +16

Rows per page

1–5 of 26