| 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 | 31 | 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 | 23 | 2003 |
| Mechanically certifying formula-based Noetherian induction reasoning S Stratulat Journal of Symbolic Computation 80, 209-249, 2017 | 20 | 2017 |
| Automatic ‘Descente infinie’induction reasoning S Stratulat International Conference on Automated Reasoning with Analytic Tableaux and …, 2005 | 17 | 2005 |
| 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 | 16 | 2019 |
| Cyclic proofs with ordering constraints S Stratulat International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 15 | 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 |
| 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 | 11 | 2015 |
| Integrating implicit induction proofs into certified proof environments S Stratulat International Conference on Integrated Formal Methods, 320-335, 2010 | 11 | 2010 |
| Validating back-links of FOLID cyclic pre-proofs S Stratulat arXiv preprint arXiv:1810.07374, 2018 | 10 | 2018 |
| Decision procedures for proving inductive theorems without induction T Aoto, S Stratulat Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 10 | 2014 |
| 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 |
| Analysing feature interactions with automated deduction systems F Klay, M Rusinowitch, S Stratulat 7th International Conference on Telecommunication Systems Modeling …, 1999 | 8 | 1999 |
