A general framework to build contextual cover set induction provers S Stratulat Journal of Symbolic Computation 32 (4), 403-445, 2001 | 73 | 2001 |
A unified view of induction reasoning for first-order logic S Stratulat Turing-100, The Alan Turing Centenary Conference, 2012 | 32 | 2012 |
Incorporating decision procedures in implicit induction A Armando, M Rusinowitch, S Stratulat Journal of Symbolic Computation 34 (4), 241-258, 2002 | 31 | 2002 |
Validation of the JavaCard platform with implicit induction techniques G Barthe, S Stratulat International Conference on Rewriting Techniques and Applications, 337-351, 2003 | 26 | 2003 |
Mechanical verification of an ideal incremental ABR conformance algorithm M Rusinowitch, S Stratulat, F Klay Journal of Automated Reasoning 30, 153-177, 2003 | 22 | 2003 |
Mechanically certifying formula-based Noetherian induction reasoning S Stratulat Journal of Symbolic Computation 80, 209-249, 2017 | 21 | 2017 |
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques I Drămnesc, T Jebelean, S Stratulat Journal of Symbolic Computation 90, 3-41, 2019 | 18 | 2019 |
Automatic Descente infinieinduction reasoning S Stratulat International Conference on Automated Reasoning with Analytic Tableaux and
, 2005 | 17 | 2005 |
Cyclic proofs with ordering constraints S Stratulat International Conference on Automated Reasoning with Analytic Tableaux and
, 2017 | 16 | 2017 |
Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications S Stratulat Université Henri Poincaré-Nancy I, 2000 | 13 | 2000 |
Theory exploration of binary trees I Drâmnesc, T Jebelean, S Stratulat 2015 IEEE 13th International Symposium on Intelligent Systems and
, 2015 | 12 | 2015 |
Validating back-links of FOLID cyclic pre-proofs S Stratulat arXiv preprint arXiv:1810.07374, 2018 | 11 | 2018 |
Decision procedures for proving inductive theorems without induction T Aoto, S Stratulat Proceedings of the 16th International Symposium on Principles and Practice
, 2014 | 11 | 2014 |
Integrating implicit induction proofs into certified proof environments S Stratulat International Conference on Integrated Formal Methods, 320-335, 2010 | 11 | 2010 |
Automated certification of implicit induction proofs S Stratulat, V Demange International Conference on Certified Programs and Proofs, 37-53, 2011 | 10 | 2011 |
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm M Rusinowitch, S Stratulat, F Klay Computer Aided Verification: 12th International Conference, CAV 2000
, 2000 | 10 | 2000 |
Combining rewriting with Noetherian induction to reason on non-orientable equalities S Stratulat International Conference on Rewriting Techniques and Applications, 351-365, 2008 | 9 | 2008 |
Structural vs. cyclic induction: a report on some experiments with Coq S Stratulat 2016 18th International Symposium on Symbolic and Numeric Algorithms for
, 2016 | 8 | 2016 |
Combinatorial techniques for proof-based synthesis of sorting algorithms I Drämnesc, T Jebelean, S Stratulat 2015 17th International Symposium on Symbolic and Numeric Algorithms for
, 2015 | 8 | 2015 |
Analysing feature interactions with automated deduction systems F Klay, M Rusinowitch, S Stratulat | 8 | 1998 |