HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://sjunges.github.io/projects/
access-control-allow-origin: *
expires: Tue, 30 Dec 2025 10:54:28 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: B07F:36A0B4:9F9266:B32FA8:6953AD0C
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 10:44:28 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210036-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767091468.389784,VS0,VE203
vary: Accept-Encoding
x-fastly-request-id: e2010a1105dd7ed18614dfd4b5a4f5417388da61
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 11 Oct 2025 21:04:38 GMT
access-control-allow-origin: *
etag: W/"68eac666-2bd8"
expires: Tue, 30 Dec 2025 10:54:28 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 27C3:36A0B4:9F926C:B32FAD:6953AD0C
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 10:44:28 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210036-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767091469.606488,VS0,VE218
vary: Accept-Encoding
x-fastly-request-id: 21a89463ec155104d3745c5d8a535f58f089649c
content-length: 3341
Projects - Sebastian Junges
Projects
On this page, I give an overview of externally funded projects that I participated in as a (co)-PI.
In this project, we aim to combine symbolic probabilistic model checking methods with inductive synthesis to quickly analyze many
different models. The novel methods in this project shall boost the PAYNT tool.
In this project, we investigate runtime monitoring under uncertainty. Technically, we consider a white-box setting where we are given a Markov model of the system and aim to extract all sequences of events that should be classified as dangerous.
In this project, we aim to improve the usability of our open source model checker Storm.
