Stebėti
Sorin Stratulat
Sorin Stratulat
LORIA
Patvirtintas el. paštas univ-lorraine.fr - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
A general framework to build contextual cover set induction provers
S Stratulat
Journal of Symbolic Computation 32 (4), 403-445, 2001
732001
A unified view of induction reasoning for first-order logic
S Stratulat
Turing-100, The Alan Turing Centenary Conference, 2012
312012
Incorporating decision procedures in implicit induction
A Armando, M Rusinowitch, S Stratulat
Journal of Symbolic Computation 34 (4), 241-258, 2002
312002
Validation of the JavaCard platform with implicit induction techniques
G Barthe, S Stratulat
International Conference on Rewriting Techniques and Applications, 337-351, 2003
262003
Mechanical verification of an ideal incremental ABR conformance algorithm
M Rusinowitch, S Stratulat, F Klay
Journal of Automated Reasoning 30, 153-177, 2003
232003
Mechanically certifying formula-based Noetherian induction reasoning
S Stratulat
Journal of Symbolic Computation 80, 209-249, 2017
202017
Automatic ‘Descente infinie’induction reasoning
S Stratulat
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
172005
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
162019
Cyclic proofs with ordering constraints
S Stratulat
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
152017
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
132000
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
132000
Theory exploration of binary trees
I Drâmnesc, T Jebelean, S Stratulat
2015 IEEE 13th International Symposium on Intelligent Systems and …, 2015
112015
Integrating implicit induction proofs into certified proof environments
S Stratulat
International Conference on Integrated Formal Methods, 320-335, 2010
112010
Validating back-links of FOLID cyclic pre-proofs
S Stratulat
arXiv preprint arXiv:1810.07374, 2018
102018
Decision procedures for proving inductive theorems without induction
T Aoto, S Stratulat
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
102014
Automated certification of implicit induction proofs
S Stratulat, V Demange
International Conference on Certified Programs and Proofs, 37-53, 2011
102011
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
M Rusinowitch, S Stratulat, F Klay
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
102000
Combining rewriting with Noetherian induction to reason on non-orientable equalities
S Stratulat
International Conference on Rewriting Techniques and Applications, 351-365, 2008
92008
Structural vs. cyclic induction: a report on some experiments with Coq
S Stratulat
2016 18th International Symposium on Symbolic and Numeric Algorithms for …, 2016
82016
Analysing feature interactions with automated deduction systems
F Klay, M Rusinowitch, S Stratulat
7th International Conference on Telecommunication Systems Modeling …, 1999
81999
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20