Gennaro Parlato

Gennaro Parlato

Università degli Studi del Molise - Termoli / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1804804
University of Molise
person_outline Gennaro Parlato's MOST POPULAR ARTICLES
1-) A robust class of context-sensitive languages 22nd Annual IEEE symposium on logic in computer science (LICS 2007), 161-170, 2007
2-) Reducing context-bounded concurrent reachability to sequential reachability International Conference on Computer Aided Verification, 477-492, 2009
3-) Context-bounded analysis of concurrent queue systems International Conference on Tools and Algorithms for the Construction and …, 2008
4-) The tree width of auxiliary storage ACM SIGPLAN Notices 46 (1), 283-294, 2011
5-) Bounded model checking of multi-threaded C programs via lazy sequentialization Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014