| 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 | 187 | 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 | 142 | 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 | 138 | 2008 |
| The tree width of auxiliary storage P Madhusudan, G Parlato ACM SIGPLAN Notices 46 (1), 283-294, 2011 | 131 | 2011 |
| 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 | 125 | 2014 |
| 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 | 106 | 2011 |
| Model-checking parameterized concurrent programs using linear interfaces S La Torre, P Madhusudan, G Parlato International Conference on Computer Aided Verification, 629-644, 2010 | 100 | 2010 |
| Getting rid of store-buffers in TSO analysis MF Atig, A Bouajjani, G Parlato International Conference on Computer Aided Verification, 99-115, 2011 | 88 | 2011 |
| 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 | 71 | 2015 |
| Analyzing recursive programs using a fixed-point calculus S La Torre, M Parthasarathy, G Parlato ACM Sigplan Notices 44 (6), 211-222, 2009 | 68 | 2009 |
| 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 | 54 | 2013 |
| 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 | 53 | 2012 |
| Lazy-CSeq: A Lazy Sequentialization Tool for C: (Competition Contribution) O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2014 | 52 | 2014 |
| 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 | 51 | 2015 |
| On sequentializing concurrent programs A Bouajjani, M Emmi, G Parlato International Static Analysis Symposium, 129-145, 2011 | 48 | 2011 |
| 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 | 41 | 2013 |
| 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 |
| Scope-bounded pushdown languages SL Torre, M Napoli, G Parlato International Journal of Foundations of Computer Science 27 (02), 215-233, 2016 | 39 | 2016 |
| 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 | 36 | 2016 |
| Vac - Verifier of Administrative Role-Based Access Control Policies AL Ferrara, P Madhusudan, TL Nguyen, G Parlato International Conference on Computer Aided Verification, 184-191, 2014 | 36 | 2014 |
Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
