Marcel Hark

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 11

Top Topics

Multistage Stochastic

Integer Program

Probabilistic Relational

Top Venues

Proc. ACM Program. Lang.

The Logic of Software. A Tasting Menu of Formal Methods

Publications

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer
Improving Automatic Complexity Analysis of Integer Programs. CoRR (2022)
Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer
Improving Automatic Complexity Analysis of Integer Programs. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Fabian Meyer, Marcel Hark, Jürgen Giesl
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes. TACAS (1) (2021)
Fabian Meyer, Marcel Hark, Jürgen Giesl
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes. CoRR (2020)
Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen
Aiming low is harder: induction for lower bounds in probabilistic program verification. Proc. ACM Program. Lang. 4 (POPL) (2020)
Marcel Hark, Florian Frohn, Jürgen Giesl
Polynomial Loops: Beyond Termination. LPAR (2020)
Florian Frohn, Marcel Hark, Jürgen Giesl
Termination of Polynomial Loops. SAS (2020)
Jürgen Giesl, Peter Giesl, Marcel Hark
Computing Expected Runtimes for Constant Probability Programs. CoRR (2019)
Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen
Aiming Low Is Harder - Inductive Proof Rules for Lower Bounds on Weakest Preexpectations in Probabilistic Program Verification. CoRR (2019)
Florian Frohn, Marcel Hark, Jürgen Giesl
On the Decidability of Termination for Polynomial Loops. CoRR (2019)
Jürgen Giesl, Peter Giesl, Marcel Hark
Computing Expected Runtimes for Constant Probability Programs. CADE (2019)