DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). - Dennis Guck; Jip Spel; Mariëlle Stoelinga (ICFEM, 2015)

Are Parametric Markov Chains Monotonic? - Jip Spel; Sebastian Junges; Joost-Pieter Katoen (ATVA, 2019)

Tweaking the Odds in Probabilistic Timed Automata. - Arnd Hartmanns; Joost-Pieter Katoen; Bram Kohlen; Jip Spel (QEST, 2021)

Finding Provably Optimal Markov Chains. - Jip Spel; Sebastian Junges; Joost-Pieter Katoen (TACAS (1), 2021)

Gradient-Descent for Randomized Controllers under Partial Observability (Artifact). - Linus Heck; Jip Spel; Sebastian Junges; Joshua Moerman; Joost-Pieter Katoen (Zenodo, 2021)

POMDP Controllers with Optimal Budget. - Jip Spel; Svenja Stein; Joost-Pieter Katoen (QEST, 2022)

Gradient-Descent for Randomized Controllers Under Partial Observability. - Linus Heck; Jip Spel; Sebastian Junges; Joshua Moerman; Joost-Pieter Katoen (VMCAI, 2022)

Finding Provably Optimal Markov Chains (Artifact). - Jip Spel; Sebastian Junges; Joost-Pieter Katoen (Zenodo, 2022)

POMDP Controllers With Optimal Budget (Artifact). - Jip Spel; Svenja Stein; Joost-Pieter Katoen (Zenodo, 2022)

Monotonicity in Markov models. - Jip Spel (2023)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. - Linus Heck; Tim Quatmann; Jip Spel; Joost-Pieter Katoen; Sebastian Junges (CoRR, 2025)