Person

Jip Spel

M. Sc.

Promotionsstudentin

Jip Spel
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)

Adresse

Gebäude: 2353 (E1), 2. OG

Raum: 4207

Ahornstr. 55

52074 Aachen

Kontakt

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

Sprechstunde

n.V.
 
Promotionsprojekt
Monotonicity in parametric Markov chains
Kollaborationen
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

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Bericht]
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.
[Buchbeitrag, Beitrag zu einem Tagungsband]
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