Email

jip.spel at cs.rwth-aachen.de

Address

Room 4231
Ahornstraße 55
D-52074 Aachen

Research
I am a PhD student in the Research Training Group UnRAVeL at the Software Modeling and Verification Group (MOVES) since July 2018. My research interests include model checking of parametric probabilistic systems and monotone properties of these systems.
Bachelor/Master Theses
I am always looking forward to work with students. If you are looking for a thesis in one of the areas above, do not hesitate to contact me. Some ideas are also given in our list of open topics.
Teaching
I am currently involved in the following teaching activities:

• Advanced Topics in Formal Semantics (Seminar)
• Formal Verification Meets Machine Learning (Seminar)

Past teaching activities:

• 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)

2022
[bibtex] @conference{GDRCUPO2022, title = {Gradient-Descent for Randomized Controllers Under Partial Observability}, author = {Linus Heck and Jip Josephine Spel and Sebastian Junges and Joshua Moerman and Joost-Pieter Katoen}, publisher = {Springer}, booktitle = {LNCS}, volume = {13182, Theoretical Computer Science and General Issues}, pages = {127-150}, type = {Conference Paper}, year = {2022}, doi = {10.1007/978-3-030-94583-1_7}, url = { https://publications.rwth-aachen.de/record/841719}, }× [issue]	Linus Heck, Jip Josephine Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen. Gradient-Descent for Randomized Controllers Under Partial Observability, 23. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), Volume 13182, Theoretical Computer Science and General Issues of LNCS, 127-150, Springer, 2022.
[bibtex] @conference{PCOB2022, title = {POMDP Controllers with Optimal Budget}, author = {Jip Josephine Spel and Svenja Maria Stein and Joost-Pieter Katoen}, publisher = {Springer}, booktitle = {LNCS}, volume = {13479}, pages = {107-130}, type = {Conference Paper}, year = {2022}, doi = {10.1007/978-3-031-16336-4_6}, url = { https://publications.rwth-aachen.de/record/854105}, }× [issue]	Jip Josephine Spel, Svenja Maria Stein, Joost-Pieter Katoen. POMDP Controllers with Optimal Budget, 19. International Conference on Quantitative Evaluation of SysTems (QEST 2022), Volume 13479 of LNCS, 107-130, Springer, 2022.
2021
[bibtex] @conference{FPOMC2021, title = {Finding Provably Optimal Markov Chains}, author = {Jip Josephine Spel and Sebastian Junges and Joost-Pieter Katoen}, publisher = {Springer}, booktitle = {LNCS}, volume = {12651}, pages = {173-190}, type = {Conference Paper}, year = {2021}, doi = {10.1007/978-3-030-72016-2_10}, url = { https://publications.rwth-aachen.de/record/818128}, }× [issue]	Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen. Finding Provably Optimal Markov Chains, 27. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Volume 12651 of LNCS, 173-190, Springer, 2021.
[bibtex] @conference{TOPTA2021, title = {Tweaking the Odds in Probabilistic Timed Automata}, author = {Arnd Hartmanns and Joost-Pieter Katoen and Bram Kohlen and Jip Josephine Spel}, publisher = {Springer}, booktitle = {LNCS}, volume = {12846}, pages = {39-58}, type = {Conference Paper}, year = {2021}, doi = {10.1007/978-3-030-85172-9_3}, url = { https://publications.rwth-aachen.de/record/828609}, }× [issue]	Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Josephine Spel. Tweaking the Odds in Probabilistic Timed Automata, 18. International Conference on Quantitative Evaluation of Systems (QEST 2021), Volume 12846 of LNCS, 39-58, Springer, 2021.
Show all