Gennaro Parlato
Gennaro Parlato
Associate Professor of Computer Science, University of Molise
Verified email at unimol.it - Homepage
TitleCited byYear
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
1492007
Reducing context-bounded concurrent reachability to sequential reachability
S La Torre, P Madhusudan, G Parlato
International Conference on Computer Aided Verification, 477-492, 2009
1052009
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
1022008
The tree width of auxiliary storage
P Madhusudan, G Parlato
ACM SIGPLAN Notices 46 (1), 283-294, 2011
912011
Decidable logics combining heap structures and data
P Madhusudan, G Parlato, X Qiu
ACM SIGPLAN Notices 46 (1), 611-622, 2011
772011
Model-checking parameterized concurrent programs using linear interfaces
S La Torre, P Madhusudan, G Parlato
International Conference on Computer Aided Verification, 629-644, 2010
742010
Getting rid of store-buffers in TSO analysis
MF Atig, A Bouajjani, G Parlato
International Conference on Computer Aided Verification, 99-115, 2011
632011
Bounded model checking of multi-threaded C programs via lazy sequentialization
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
International Conference on Computer Aided Verification, 585-602, 2014
612014
Analyzing recursive programs using a fixed-point calculus
S La Torre, M Parthasarathy, G Parlato
ACM Sigplan Notices 44 (6), 211-222, 2009
492009
Verifying concurrent programs by memory unwinding
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
392015
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
382015
CSeq: a concurrency pre-processor for sequential C verification tools
B Fischer, O Inverso, G Parlato
Proceedings of the 28th IEEE/ACM International Conference on Automated …, 2013
352013
On sequentializing concurrent programs
A Bouajjani, M Emmi, G Parlato
International Static Analysis Symposium, 129-145, 2011
352011
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
332012
Lazy-CSeq: a lazy sequentialization tool for C
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2014
292014
Scope-bounded multistack pushdown systems: Fixed-point, sequentialization, and tree-width
S La Torre, P Gennaro
292012
Policy analysis for self-administrated role-based access control
AL Ferrara, P Madhusudan, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2013
282013
An Infinite Automaton Characterization of Double Exponential Time⋆
P Salvatore La Torre1, G Parlato
Computer science logic: 22nd international workshop, CSL 2008, 17th annual …, 2008
27*2008
Scope-bounded pushdown languages
SL Torre, M Napoli, G Parlato
International Journal of Foundations of Computer Science 27 (02), 215-233, 2016
262016
CSeq: a sequentialization tool for C
B Fischer, O Inverso, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2013
262013
The system can't perform the operation now. Try again later.
Articles 1–20