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 | 171 | 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 | 136 | 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 | 133 | 2008 |
The tree width of auxiliary storage P Madhusudan, G Parlato ACM SIGPLAN Notices 46 (1), 283-294, 2011 | 120 | 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 | 118 | 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 | 93 | 2011 |
Getting rid of store-buffers in TSO analysis MF Atig, A Bouajjani, G Parlato Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 86 | 2011 |
Analyzing recursive programs using a fixed-point calculus S La Torre, M Parthasarathy, G Parlato ACM Sigplan Notices 44 (6), 211-222, 2009 | 65 | 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 | 59 | 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 | 49 | 2014 |
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 | 48 | 2015 |
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 | 48 | 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 |
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 | 40 | 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 | 35 | 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 |