2024

Conference papers

titre

Certification of Sorting Algorithms Using Theorema and Coq

auteur

Isabela Drămnesc, Tudor Jebelean, Sorin Stratulat

article

SCSS 2024 (Symbolic Computation in Software Science), Aug 2024, Tokyo (Japan), Japan. pp.38–56, ⟨10.1007/978-3-031-69042-6_3⟩

Accès au texte intégral et bibtex

titre

Certification of Tail Recursive Bubble-Sort in Theorema and Coq

auteur

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

article

25th International Conference on Logic Programming and Automated Reasoning (LPAR)Complementary Volume, May 2024, Balaclava, Mauritius. pp.53–68

Accès au texte intégral et bibtex

2023

Journal articles

titre

Mechanical certification of FOLID cyclic proofs

auteur

Sorin Stratulat

article

Annals of Mathematics and Artificial Intelligence, 2023, 95 (5), pp.651-673. ⟨10.1007/s10472-023-09832-7⟩

Accès au texte intégral et bibtex

2022

Journal articles

titre

Automated Reasoning in the Class

auteur

Isabela Drămnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat

article

Computer-Algebra-Rundbrief, 2022, 71, pp.21-26

Accès au texte intégral et bibtex

titre

Récurrence noethérienne pour le raisonnement de premier ordre

auteur

Sorin Stratulat

article

1024 : Bulletin de la Société Informatique de France, 2022, 19, pp.157-169. ⟨10.48556/SIF.1024.19.157⟩

Accès au texte intégral et bibtex

Conference papers

titre

Experiments with Automated Reasoning in the Class

auteur

Isabela Drămnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat

article

CICM 2022 – 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩

Accès au texte intégral et bibtex

titre

ARC: An Educational Project on Automated Reasoning in the Class

auteur

Isabela Drămnesc, Tudor Jebelean, Erika Ábrahám, Gábor Kusper, Sorin Stratulat

article

EdMedia + Innovate Learning 2022 – AACE Conferences, Jun 2022, New York, United States

Accès au texte intégral et bibtex

2021

Conference papers

titre

E-Cyclist: Implementation of an Efficient Validation of FOL ID Cyclic Induction Reasoning

auteur

Sorin Stratulat

article

SCSS 2021 – 9th International Symposium on Symbolic Computation in Software Science, Sep 2021, Linz, Austria. pp.129–135

Accès au texte intégral et bibtex

Habilitation à diriger des recherches

titre

Noetherian Induction for Computer-Assisted First-Order Reasoning

auteur

Sorin Stratulat

article

Symbolic Computation [cs.SC]. Université de Lorraine, 2021

Accès au texte intégral et bibtex

2020

Conference papers

titre

SPIKE, an automatic theorem prover — revisited

auteur

Sorin Stratulat

article

SYNASC2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2020, Timisoara, Romania. pp.93-96

Accès au texte intégral et bibtex

2019

Journal articles

titre

Mechanical Synthesis of Sorting Algorithms for Binary Trees by Logic and Combinatorial Techniques

auteur

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

article

Journal of Symbolic Computation, 2019, 90, pp.3-41. ⟨10.1016/j.jsc.2018.04.002⟩

Accès au texte intégral et bibtex

Other publications

titre

Efficient Validation of FOL ID Cyclic Induction Reasoning

auteur

Sorin Stratulat

article

2019

Accès au texte intégral et bibtex

2018

Conference papers

titre

Validating Back-links of FOLID Cyclic Pre-proofs

auteur

Sorin Stratulat

article

CL&C’18 – Seventh International Workshop on Classical Logic and Computation, Jul 2018, Oxford, United Kingdom. pp.39–53

Accès au texte intégral et bibtex

2017

Journal articles

titre

Mechanically Certifying Formula-based Noetherian Induction Reasoning

auteur

Sorin Stratulat

article

Journal of Symbolic Computation, 2017, 80, Part I, pp.209-249. ⟨10.1016/j.jsc.2016.07.014⟩

Accès au texte intégral et bibtex

Conference papers

titre

Cyclic Proofs with Ordering Constraints

auteur

Sorin Stratulat

article

TABLEAUX 2017 (26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Sep 2017, Brasilia, Brazil. pp.311 – 327, ⟨10.1007/978-3-319-66902-1_19⟩

Accès au texte intégral et bibtex

2016

Conference papers

titre

Structural vs. Cyclic Induction

auteur

Sorin Stratulat

article

SYNASC’2016 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. pp.29 – 36, ⟨10.1109/SYNASC.2016.018⟩

Accès au texte intégral et bibtex

titre

A Case Study on Algorithm Discovery from Proofs: The Insert Function on Binary Trees

auteur

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

article

SACI 2016: 11th IEEE International Symposium on Applied Computational Intelligence and Informatics, May 2016, Timisoara, Romania

Accès au texte intégral et bibtex

titre

Proof–based Synthesis of Sorting Algorithms for Trees

auteur

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

article

140th International Conference on Language and Automata Theory and Applications (LATA 2016), Mar 2016, Prague, Czech Republic. pp.562-575, ⟨10.1007/978-3-319-30000-9_43⟩

Accès au texte intégral et bibtex

2015

Conference papers

titre

Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms

auteur

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

article

SYNASC 2015: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2015, Timisoara, Romania

Accès au texte intégral et bibtex

titre

Theory Exploration of Binary Trees

auteur

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

article

13th IEEE International Symposium on Intelligent Systems and Informatics, SISY 2015, Sep 2015, Subotica, Serbia. pp.139-144

Accès au texte intégral et bibtex

titre

Better Careers for Transnational European Students ? -a case study for French-German diploma alumni

auteur

Gabriel Michel, Véronique Jeanclaude, Sorin Stratulat

article

ICEUTE’15: 6th International Conference on EUropean Transnational Education, Jun 2015, Burgos, Spain

Accès au texte intégral et bibtex

2014

Conference papers

titre

Implementing Reasoning Modules in Implicit Induction Theorem Provers

auteur

Sorin Stratulat

article

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Sep 2014, Timisoara, Romania

Accès au texte intégral et bibtex

titre

Decision Procedures for Proving Inductive Theorems without Induction

auteur

Takahito Aoto, Sorin Stratulat

article

16th International Symposium on Principles and Practice of Declarative Programming (PPDP) 2014, Sep 2014, Canterbury, United Kingdom. ⟨10.1145/2643135.2643156⟩

Accès au texte intégral et bibtex

Preprints, Working Papers, …

titre

Building explicit induction schemas for cyclic induction reasoning

auteur

Sorin Stratulat

article

2014

Accès au texte intégral et bibtex

2012

Conference papers

titre

Performing Implicit Induction Reasoning with Certifying Proof Environments

auteur

Amira Henaien, Sorin Stratulat

article

SCSS’2012 – 4th International Symposium on Symbolic Computation in Software Science, Dec 2012, Gammarth, Tunisia

Accès au texte intégral et bibtex

titre

A Unified View of Induction Reasoning for First-Order Logic

auteur

Sorin Stratulat

article

Turing-100, The Alan Turing Centenary Conference, Jun 2012, Manchester, United Kingdom

Accès au texte intégral et bibtex

2011

Conference papers

titre

Automated Certification of Implicit Induction Proofs

auteur

Sorin Stratulat, Vincent Demange

article

Certified Programs and Proofs, Dec 2011, Kenting, Taiwan

Accès au texte intégral et bibtex

2010

Conference papers

titre

Integrating Implicit Induction Proofs into Certified Proof Environments

auteur

Sorin Stratulat

article

Integrated Formal Methods – IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.320-335

Accès au bibtex

titre

Good reasons to implement transnational European diploma programs in Computer Science

auteur

Gabriel Michel, Sorin Stratulat

article

ICEUTE’2010 (First International Conference on EUropean Transnational Education), 2010, Spain. pp.135-143

Accès au texte intégral et bibtex

titre

Integrating Implicit Induction Proofs into Certified Proof Environments

auteur

Sorin Stratulat

article

Integrated Formal Methods, 2010, France. pp.320-335

Accès au texte intégral et bibtex