Éléanore Meyer

According to our database, Éléanore Meyer authored at least 9 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Targeting Completeness: Automated Complexity Analysis of Integer Programs.

Nils Lommen, Éléanore Meyer, Jürgen Giesl

J. Autom. Reason., June, 2026

2025

SiRop.

Éléanore Meyer, Jürgen Giesl, Sophia Greiwe

Dataset, August, 2025

Deciding Termination of Simple Randomized Loops.

Éléanore Meyer, Jürgen Giesl

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

Control-Flow Refinement for Probabilistic Programs in KoAT.

Nils Lommen, Éléanore Meyer, Jürgen Giesl

CoRR, 2024

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper).

Nils Lommen, Éléanore Meyer, Jürgen Giesl

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version).

Nils Lommen, Eleanore Meyer, Jürgen Giesl

CoRR, 2023

2022

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops.

Nils Lommen, Fabian Meyer, Jürgen Giesl

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Improving Automatic Complexity Analysis of Integer Programs.

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes.

Fabian Meyer, Marcel Hark, Jürgen Giesl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021