Invariant Generation for Parametrized Systems Using Self-reflection A Sanchez, S Sankaranarayanan, C Sanchez, BYE Chang International Symposium of Static Analysis (SAS) 7460, 146-163, 2012 | 23* | 2012 |
Decision Procedures for the Temporal Verification of Concurrent Lists A Sanchez, C Sanchez International Conference on Formal Engineering Methods (ICFEM) 6447, 74--89, 2010 | 11 | 2010 |
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes A Sanchez, C Sanchez International Symposium of NASA Formal Methods (NFM) 6617, 343--358, 2011 | 10 | 2011 |
Parametrized Verification Diagrams A Sanchez, C Sanchez International Symposium on Temporal Representation and Reasoning (TIME), 132-141, 2014 | 9 | 2014 |
Parametrized Invariance for Infinite State Processes A Sanchez, S Cesar Acta Informatica, 2015 | 8 | 2015 |
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes A Sanchez, C Sanchez International Conference on Computer Aided Verification (CAV) 8559, 620-627, 2014 | 5 | 2014 |
Formal Verification of Skiplists with Arbitrarily Many Levels A Sanchez, C Sanchez International Symposium on Automated Technology for Verification and …, 2014 | 4 | 2014 |