conf.researchr.org / Swen Jacobs

Registered user since Thu 14 Oct 2021

Name:Swen Jacobs
Country:Germany
Affiliation:CISPA

Contributions

SPLASH 2021 Author of QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems within the OOPSLA-track
VMCAI 2020 Author of Promptness and Bounded Fairness in Concurrent and Parameterized Systems within the VMCAI 2020-track