Sorin Stratulat

36 papers A* 1B 4C 3Misc 7Journal 7Unranked 12
YearRankTypeTitle / Venue / Authors
2024 — conf
A European Project on AI-based Robotics.
TALE
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Nikolaos Fachantidis, Gábor Kusper, Sorin Stratulat
2024 — conf
Certification of Sorting Algorithms Using Theorema and Coq.
SCSS
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2024 — conf
Certification of Tail Recursive Bubble-Sort in Theorema and Coq.
LPAR Complementary Volume
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2023 J jnl
Mechanical certification of FOL
Ann. Math. Artif. Intell.
Sorin Stratulat
2022 C conf
Experiments with Automated Reasoning in the Class.
CICM
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat
2021 — conf
E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning.
SCSS
Sorin Stratulat
2021 — book
Noetherian Induction for Computer-Assisted First-Order Reasoning. (Récurrence noethérienne pour le raisonnement de premier ordre et assisté par l'ordinateur).
Sorin Stratulat
2020 Misc conf
SPIKE, an automatic theorem prover - revisited.
SYNASC
Sorin Stratulat
2019 J jnl
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques.
J. Symb. Comput.
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2018 — conf
Validating Back-links of FOLID Cyclic Pre-proofs.
CL&C
Sorin Stratulat
2017 B conf
Cyclic Proofs with Ordering Constraints.
TABLEAUX
Sorin Stratulat
2017 J jnl
Mechanically certifying formula-based Noetherian induction reasoning.
J. Symb. Comput.
Sorin Stratulat
2016 Misc conf
A case study on algorithm discovery from proofs: The insert function on binary trees.
SACI
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2016 C conf
Proof-Based Synthesis of Sorting Algorithms for Trees.
LATA
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2016 Misc conf
Structural vs. Cyclic Induction: A Report on Some Experiments with Coq.
SYNASC
Sorin Stratulat
2015 — conf
Better Careers for Transnational European Students? - A Case Study for French-German Diploma Alumni.
CISIS-ICEUTE
Gabriel Michel, Véronique Jeanclaude, Sorin Stratulat
2015 Misc conf
Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms.
SYNASC
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2015 Misc conf
Theory exploration of binary trees.
SISY
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2014 C conf
Decision Procedures for Proving Inductive Theorems without Induction.
PPDP
Takahito Aoto, Sorin Stratulat
2014 Misc conf
Implementing Reasoning Modules in Implicit Induction Theorem Provers.
SYNASC
Sorin Stratulat
2012 — conf
A Unified View of Induction Reasoning for First-Order Logic.
Turing-100
Sorin Stratulat
2012 — conf
Performing Implicit Induction Reasoning with Certifying Proof Environments.
SCSS
Amira Henaien, Sorin Stratulat
2011 B conf
Automated Certification of Implicit Induction Proofs.
CPP
Sorin Stratulat, Vincent Demange
2010 B conf
Integrating Implicit Induction Proofs into Certified Proof Environments.
IFM
Sorin Stratulat
2008 — conf
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities.
RTA
Sorin Stratulat
2007 Misc conf
'Descente Infinie' Induction-Based Saturation Procedures.
SYNASC
Sorin Stratulat
2005 B conf
Automatic 'Descente Infinie' Induction Reasoning.
TABLEAUX
Sorin Stratulat
2003 J jnl
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm.
J. Autom. Reason.
Michaël Rusinowitch, Sorin Stratulat, Francis Klay
2003 — conf
Validation of the JavaCard Platform with Implicit Induction Techniques.
RTA
Gilles Barthe, Sorin Stratulat
2002 J jnl
Incorporating Decision Procedures in Implicit Induction.
J. Symb. Comput.
Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat
2002 — conf
Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems.
JFPLC
Abdessamad Imine, Yahya Slimani, Sorin Stratulat
2001 J jnl
A General Framework to Build Contextual Cover Set Induction Provers.
J. Symb. Comput.
Sorin Stratulat
2000 A* conf
Mechanical Verification of an Ideal Incremental
CAV
Michaël Rusinowitch, Sorin Stratulat, Francis Klay
2000 — —
Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications.
Sorin Stratulat
1995 J jnl
Virtual Shared Memory Machines - an Application of PVM.
Parallel Algorithms Appl.
Sorin Stratulat, David J. Evans
1994 — conf
Logic, Prolog, and Legal Sentence.
ICLP Workshop: Legal Application of Logic Programming
Cornell Popa, Yonut Lopatan, Sorin Stratulat