フォロー
Gennaro Parlato
Gennaro Parlato
Full Professor of Computer Science, University of Molise, Italy
確認したメール アドレス: unimol.it - ホームページ
タイトル
引用先
引用先
年
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
1732007
Reducing context-bounded concurrent reachability to sequential reachability
S La Torre, P Madhusudan, G Parlato
International Conference on Computer Aided Verification, 477-492, 2009
1392009
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
1342008
The tree width of auxiliary storage
P Madhusudan, G Parlato
ACM SIGPLAN Notices 46 (1), 283-294, 2011
1252011
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
1242014
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
982011
Model-checking parameterized concurrent programs using linear interfaces
S La Torre, P Madhusudan, G Parlato
International Conference on Computer Aided Verification, 629-644, 2010
982010
Getting rid of store-buffers in TSO analysis
MF Atig, A Bouajjani, G Parlato
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
862011
Analyzing recursive programs using a fixed-point calculus
S La Torre, M Parthasarathy, G Parlato
ACM Sigplan Notices 44 (6), 211-222, 2009
692009
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
652015
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
502015
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
502013
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
492014
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
492012
On sequentializing concurrent programs
A Bouajjani, M Emmi, G Parlato
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
462011
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
412013
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
41*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
362016
Scope-bounded pushdown languages
SL Torre, M Napoli, G Parlato
International Journal of Foundations of Computer Science 27 (02), 215-233, 2016
362016
Scope-bounded multistack pushdown systems: Fixed-point, sequentialization, and tree-width
S La Torre, P Gennaro
352012
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20