Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Swen Jacobs
conf.researchr.org general profile
POPL 2020 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2021 profile
Registered user since Thu 14 Oct 2021
Name:
Swen Jacobs
Country:
Germany
Affiliation:
CISPA
Contributions
2025
VMCAI
Author of Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction within the VMCAI 2025-track
2024
VMCAI
Author of Parameterized Verification of Disjunctive Timed Networks within the VMCAI 2024-track
Author of Automatic and Incremental Repair for Speculative Information Leaks within the VMCAI 2024-track
2021
SPLASH
Author of QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems within the OOPSLA-track
2020
VMCAI
Author of Promptness and Bounded Fairness in Concurrent and Parameterized Systems within the VMCAI 2020-track
Share
x
Fri 26 Sep 02:54