Person

Jip Spel

M. Sc.

Doctoral researcher

Jip Spel
Computer Science Departement, RTG UnRAVeL

Address


 

Contact

WorkPhone
Phone: +49 241 80 21202
Fax Fax: +49 241 80 22217

Office Hours

n.V.
 
Dissertation project
Monotonicity in parametric Markov chains
Collaborations
Sebastian Junges: Parameter synthesis in Markov models
Tobias Winkler: Programming and Verifying Uncertain Phenomena
Engagement

MFCS 2019 organising committee 11.2018- 08.2019

Member of organisation committee, 03.2019
Talks
Bi-Weekly Talk: Jip Spel: Finding Provably Optimal Markov Chains
Bi-Weekly Talk: Jip Spel: Are Parametric Markov Chains Monotonic?
Präsentation: Jip Spel
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
Finding Provably Optimal Markov Chains
In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / Editors: Jan Friso GrooteKim Guldstrand Larsen. - Part I, 173-190, 2021
[DOI: 10.1007/978-3-030-72016-2_10]
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
Dannert, Katrin M.
Lindner, Peter
et al.
[Contribution to a book, Contribution to a conference proceedings]
Are Parametric Markov Chains Monotonic?
In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 479-496, 2019
[DOI: 10.1007/978-3-030-31784-3_28]
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter