LITA - Laboratoire d'Informatique Théorique et Appliquée - Université de Lorraine
Université de Lorraine - Laboratoire d'Informatique Théorique et Appliquée (LITA)
Université de Lorraine - Site de Metz - Île du Saulcy
57045 METZ CEDEX 1
Tel. : 03 87 31 54 45 - Fax : 03 87 31 53 09

Laboratoire d'Informatique Théorique et Appliquée (LITA)

Stratulat Sorin
UFR MIM - Département Informatique

MCF, membre Permanent du LITA.
Membre du conseil de laboratoire

equipe Calculs, Graphes et Logique

UFR MIM - E105
Téléphone0387315329
e-mailsorin.stratulat@univ-lorraine.fr
Webhttp://www.lita.univ-lorraine.fr/~stratula

Publications

Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l'HCRES

2017 Mechanically certifying formula-based Noetherian induction reasoning []
S. Stratulat
Journal of Symbolic Computation, Volume 80, Part 1. Pages 209-249
2016 Mechanically Certifying Formula-based Noetherian Induction Reasoning [ACL85]
S. Stratulat
Journal of Symbolic Computation. 50 pages. à paraître

Articles dans les proceedings de conférences internationales avec comité de lecture

2016 Structural vs. cyclic induction: a report on some experiments with Coq []
S. Stratulat
SYNASC 2016 : Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE Computer Society. Pages 27-34
2016 A case study on Algorithm Discovery from Proofs : The insert Function on Binary Trees []
I. Dramnesc, T. Jebelean, S. Stratulat
SACI 2016 : 11th IEEE International Symposium on Applied Computational Intelligence and Informatics, IEEE, pages 231-236
2016 Proof-based Synthesis of Sorting Algorithms for Trees [ACTI69]
I. Dramnesc, T. Jebelean, S. Stratulat
In LATA 2016: Proceedings of the 10th International Conference on Language and Automata Theory and Applications. LNCS, Springer Verlag, pages 562-575
2016 Combinatorial Techniques for Proof-based Synthesis of Sorting Algorithms [ACTI70]
I. Dramnesc, T. Jebelean, S. Stratulat
In SYNASC 2015: Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Society. à paraître
2015 Theory exploration of binaries trees [ACTI67]
I. Dramnesc, T. Jebelean, S. Stratulat
In SISY 2015: 13th IEEE International Symposium on INtelligent Systems and Informatics, IEEE Publishing, pages 139-144
2015 Better Carriers for Transnational European Students ? A Case Study for French-German Diploma Alumni. [ACTI68]
G. Michel, V. Jeanclaude, S. Stratulat
In ICEUTE 2015: 6th International Conference on EUropean Transnational Education. In Advances in Intelligent Systems and Computing 369, Springer, pages 517-524
2014 Decision procedures for proving inductive theorems without induction [ACTI74]
T. Aoto, S. Stratulat
In Proc. of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), pages 237–248
2014 Implementing reasoning modules in implicit induction theorem provers. [ACTI75]
S. Stratulat
In SYNASC 2014: Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Society, pages 133-140
2013 Performing implicit induction reasoning with certifying proof environments [ACTI84]
A. Henaien, S. Stratulat
In Adel Bouhoula and Tetsuo Ida and Fairouz Kamareddine éditeur : SCSS’ 2013 (International Symposium on Symbolic Computation in Software Science), pages 97-108, EPTCS (Electronic Proceedings in Theoretical Computer Science), 2013
2012 A Unified View of Induction Reasoning for First-Order Logic [ACTI92]
S. Stratulat
In Turing-100 (The Alan Turing Centenary Conference), Manchester. Volume 10 of EPiC Series. pages 326-352. Attribution d'un des prix 'Best Paper'
2011 Creating transnational courses : Feedback and solutions [ACTI98]
G. Michel, S. Stratulat
In ICEUTE
2011 Automated certification of implicit induction proofs [ACTI99]
S. Stratulat, V. Demange
In CPP'2011 (First International Conference on Certified Programs and Proofs), LNCS, vol. 7086, Kenting (Taiwan), Springer Verlag, pages 37-53

Ouvrages scientifiques (ou chapitres de ces ouvrages).

2012 Preuves par récurrence avec ensembles couvrants contextuels [OS6]
S. Stratulat
Editions Universitaires Européennes. 200p