Jip Spel

According to our database, Jip Spel authored at least 12 papers between 2015 and 2025.

Collaborative distances:

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

2025

Artifact for "Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains".

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

Dataset, July, 2025

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains.

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

Proceedings of the Automated Technology for Verification and Analysis, 2025

2023

Monotonicity in Markov models.

Jip Spel

PhD thesis, 2023

2022

POMDP Controllers With Optimal Budget (Artifact).

Jip Spel, Svenja Stein, Joost-Pieter Katoen

Dataset, July, 2022

Finding Provably Optimal Markov Chains (Artifact).

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

Dataset, May, 2022

Gradient-Descent for Randomized Controllers Under Partial Observability.

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

POMDP Controllers with Optimal Budget.

Jip Spel, Svenja Stein, Joost-Pieter Katoen

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Gradient-Descent for Randomized Controllers under Partial Observability (Artifact).

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

Dataset, November, 2021

Finding Provably Optimal Markov Chains.

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

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

Tweaking the Odds in Probabilistic Timed Automata.

Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2019

Are Parametric Markov Chains Monotonic?

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the Automated Technology for Verification and Analysis, 2019

2015

DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper).

Dennis Guck, Jip Spel, Mariëlle Stoelinga

Proceedings of the Formal Methods and Software Engineering, 2015