E-LIB Suche - Ergebnisse für: Rusch, Neea

1

pymwp: A Static Analyzer Determining Polynomial Growth Boun..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea. - p. 263-275 , 2023

Link: https://doi.org/10.1007/..

2

Distributing and Parallelizing Non-canonical Loops:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea. - p. 1-24 , 2023

Link: https://doi.org/10.1007/..

3

Formally Verified Resource Bounds through Implicit Computat..:

, In: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Rusch, Neea - p. 17-20 , 2022

Link: https://dl.acm.org/doi/1..

4

pymwp: MWP analysis on C code in Python:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
https://github.com/statycc/pymwp/tree/0.4.1. , 2023

Link: https://zenodo.org/recor..

5

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/arxiv/2206.08760. , 2023

Link: https://hal.science/hal-..

6

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1. , 2023

Link: https://hal.science/hal-..

7

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1. , 2023

Link: https://hal.science/hal-..

8

Certifying Complexity Analysis:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
hal-04083105. , 2023

Link: https://hal.science/hal-..

9

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1. , 2023

Link: https://hal.science/hal-..

10

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
https://zenodo.org/record/7938758. , 2023

Link: https://zenodo.org/recor..

11

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1. , 2023

Link: https://hal.science/hal-..

12

pymwp: A Static Analyzer Determining Polynomial Growth Boun..:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/arxiv/2107.00097. , 2023

Link: https://hal.science/hal-..

13

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1. , 2023

Link: https://hal.science/hal-..

14

pymwp: A Static Analyzer Determining Polynomial Growth Boun..:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/arxiv/2107.00097. , 2023

Link: https://hal.science/hal-..

15

pymwp: MWP analysis on C code in Python:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
https://github.com/statycc/pymwp/tree/profile-latest. , 2023

Link: https://zenodo.org/recor..