Sorin Stratulat

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 12

Top Venues

SYNASC

J. Symb. Comput.

LPAR Complementary Volume

Ann. Math. Artif. Intell.

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

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

Sorin Stratulat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sorin Stratulat