Gennaro Parlato

Cited by

	All	Since 2018
Citations	1955	731
h-index	25	16
i10-index	40	25

260

130

195

200720082009201020112012201320142015201620172018201920202021202220235 26 18 40 60 110 100 179 198 191 242 155 118 141 128 106 83

Public access

View all

19 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, ItalyVerified email at gssi.it
ermenegildo tomascoUniversity of SouthamptonVerified email at soton.ac.uk
Truc Lam NguyenUniversity of SouthamptonVerified email at soton.ac.uk
Anna Lisa FerraraUniversita' del MoliseVerified email at unimol.it
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified email at irif.fr
Shamik SuralProfessor, Dept. of Computer Science & Engineering, Indian Institute of Technology, Kharagpur, IndiaVerified email at cse.iitkgp.ac.in
Jaideep VaidyaDistinguished Professor, Rutgers UniversityVerified email at business.rutgers.edu
Emre UzunVerified email at rutgers.edu
Vijayalakshmi AtluriProfessor of Information Systems, Rutgers UniverstiyVerified email at rutgers.edu
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Raffaele CERULLIUniversity of SalernoVerified email at unisa.it
Monica GentiliIndustrial Engineering Department, University of LouisvilleVerified email at louisville.edu
Carrabs FrancescoUniversity of SalernoVerified email at unisa.it
Mimmo ParenteProfessor Universita' di SalernoVerified email at unisa.it
Xiaokang QiuPurdue UniversityVerified email at purdue.edu
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
Michael EmmiAmazon Web ServicesVerified email at amazon.com

Gennaro Parlato

Associate Professor of Computer Science, University of Molise

Verified email at unimol.it - Homepage

Formal methods Program Verification Automata Theory Security Tools


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A robust class of context-sensitive languages S La Torre, P Madhusudan, G Parlato 22nd Annual IEEE symposium on logic in computer science (LICS 2007), 161-170, 2007	175	2007
Reducing context-bounded concurrent reachability to sequential reachability S La Torre, P Madhusudan, G Parlato International Conference on Computer Aided Verification, 477-492, 2009	132	2009
Context-bounded analysis of concurrent queue systems S La Torre, P Madhusudan, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2008	130	2008
The tree width of auxiliary storage P Madhusudan, G Parlato ACM SIGPLAN Notices 46 (1), 283-294, 2011	123	2011
Bounded model checking of multi-threaded C programs via lazy sequentialization O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	110	2014
Model-checking parameterized concurrent programs using linear interfaces S La Torre, P Madhusudan, G Parlato International Conference on Computer Aided Verification, 629-644, 2010	97	2010
Decidable logics combining heap structures and data P Madhusudan, G Parlato, X Qiu Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011	90	2011
Getting rid of store-buffers in TSO analysis MF Atig, A Bouajjani, G Parlato Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	83	2011
Analyzing recursive programs using a fixed-point calculus S La Torre, M Parthasarathy, G Parlato ACM Sigplan Notices 44 (6), 211-222, 2009	62	2009
Lazy-cseq: A context-bounded model checking tool for multi-threaded c-programs O Inverso, TL Nguyen, B Fischer, S La Torre, G Parlato 2015 30th IEEE/ACM International Conference on Automated Software …, 2015	60	2015
Verifying concurrent programs by memory unwinding E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	49	2015
Lazy-CSeq: A Lazy Sequentialization Tool for C: (Competition Contribution) O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	47	2014
Analyzing temporal role based access control models E Uzun, V Atluri, S Sural, J Vaidya, G Parlato, AL Ferrara, M Parthasarathy Proceedings of the 17th ACM symposium on Access Control Models and …, 2012	47	2012
CSeq: A concurrency pre-processor for sequential C verification tools B Fischer, O Inverso, G Parlato 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	45	2013
On sequentializing concurrent programs A Bouajjani, M Emmi, G Parlato Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011	45	2011
Security analysis of role-based access control through program verification AL Ferrara, P Madhusudan, G Parlato 2012 IEEE 25th Computer Security Foundations Symposium, 113-125, 2012	40*	2012
Policy analysis for self-administrated role-based access control AL Ferrara, P Madhusudan, G Parlato Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	39	2013
Scope-bounded pushdown languages SL Torre, M Napoli, G Parlato International Journal of Foundations of Computer Science 27 (02), 215-233, 2016	36	2016
Scope-bounded multistack pushdown systems: Fixed-point, sequentialization, and tree-width S La Torre, P Gennaro	34	2012
Lazy sequentialization for TSO and PSO via shared memory abstractions E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato 2016 Formal Methods in Computer-Aided Design (FMCAD), 193-200, 2016	33	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors