Accéder directement au contenu

Thomas Seiller

4
Documents

Publications

thomas-rubiano
Image document

pymwp: A Static Analyzer Determining Polynomial Growth Bounds

 Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
Automated Technology for Verification and Analysis (ATVA 2023), Oct 2023, Singapour, France. ⟨10.1007/978-3-031-45332-8_14⟩
Communication dans un congrès hal-03269121v4

Loop Quasi-Invariant Chunk Detection

 Jean-Yves Moyen , Thomas Rubiano , Thomas Seiller
Automated Technology for Verification and Analysis. ATVA 2017, pp.91-108, 2017, ⟨10.1007/978-3-319-68167-2_7⟩
Chapitre d'ouvrage hal-02345688v1
Image document

Certifying Complexity Analysis

 Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
2023
Pré-publication, Document de travail hal-04083105v1
Image document

An extended and more practical mwp flow analysis

 Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
2021
Pré-publication, Document de travail hal-03269096v2