- 2
- 1
- 1
Thomas Seiller
4
Documents
Publications
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 3
- 1
|
pymwp: A Static Analyzer Determining Polynomial Growth BoundsAutomated 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 DetectionAutomated Technology for Verification and Analysis. ATVA 2017, pp.91-108, 2017, ⟨10.1007/978-3-319-68167-2_7⟩
Chapitre d'ouvrage
hal-02345688v1
|
|
Certifying Complexity Analysis2023
Pré-publication, Document de travail
hal-04083105v1
|
|
An extended and more practical mwp flow analysis2021
Pré-publication, Document de travail
hal-03269096v2
|