Jip Spel
- jip.spel@cs.rwth-aachen.de
- Member until
- Mar 2023
- Address
- Room 4231
Ahornstraße 55
D-52074 Aachen
Research
I was a PhD student in the Research Training Group UnRAVeL at the Software Modeling and Verification Group (MOVES), which I joined in July 2018. My research at MOVES focused on model checking of parametric probabilistic systems and monotone properties of these systems.
Teaching
During my time at MOVES, I was involved in the following teaching activities:
- Advanced Topics in Formal Semantics (Seminar) (WS21/22)
- Formal Verification Meets Machine Learning (Seminar) (WS21/22)
- Semantics and Verification of Software (SS21)
- Model Checking (WS20/21)
- Algorithmen und Datenstrukturen (Proseminar) (WS20/21)
- Datenstrukturen und Algorithmen (SS20)
- Introduction to Program Analysis (Proseminar) (SS20)
- Formal Semantics of Programming Languages (Proseminar) (WS19/20)
- Introduction to Program Analysis (Proseminar) (SS19)
- Algorithms and Data Structures (Proseminar) (WS18/19)
- Modeling and Verification of Probabilistic Systems (WS18/19)
Publications
Own publications
2026
- Conference paper
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
Automated technology for verification and analysis
2023
2022
- Conference paper
Gradient-Descent for Randomized Controllers Under Partial Observability
Verification, Model Checking, and Abstract Interpretation
2021
- Conference paper
Finding Provably Optimal Markov Chains
Tools and Algorithms for the Construction and Analysis of Systems
2020
- Technical report
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic
2019
- Conference paper
Are Parametric Markov Chains Monotonic?
Automated technology for verification and analysis
Supervised theses
2020
- Master’s thesis
Parameter synthesis in probabilistic timed automata
RWTH Aachen University
Advisers: Joost-Pieter Katoen, Erika Ábrahám
Consultants: Jip Josephine Spel
- Bachelor’s thesis
Gradient descent on parametric Markov Chains
RWTH Aachen University
Advisers: Joost-Pieter Katoen, Thomas Noll, Jip Josephine Spel