Swen Jacobs

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Data, scripts, and results from SYNTCOMP 2024	2024-06-20	Dataset
Synthesis of distributed agreement-based systems with efficiently-decidable verification	2024-04-05	Paper
Data, scripts, and results from SYNTCOMP 2023	2023-07-04	Dataset
https://portal.mardi4nfdi.de/entity/Q6161057	2023-06-26	Paper
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5015281	2021-12-07	Paper
Validation of abstract side-channel models for computer architectures	2021-02-04	Paper
Promptness and bounded fairness in concurrent and parameterized systems	2020-08-05	Paper
Efficient Information-Flow Verification Under Speculative Execution	2020-07-20	Paper
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity	2020-07-07	Paper
A symbolic algorithm for lazy synthesis of eager strategies	2020-03-06	Paper
Parameterized synthesis of self-stabilizing protocols in symmetric networks	2020-03-06	Paper
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information	2019-09-17	Paper
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems	2019-05-03	Paper
Distributed synthesis for parameterized temporal logics	2018-09-27	Paper
Tight Cutoffs for Guarded Protocols with Fairness	2016-03-23	Paper
Parameterized Model Checking of Token-Passing Systems	2015-01-13	Paper
Towards Efficient Parameterized Synthesis	2014-11-03	Paper
Reductions for Synthesis Procedures	2014-11-03	Paper
Parameterized Synthesis	2014-03-24	Paper
Applications of hierarchical reasoning in the verification of complex systems	2013-12-06	Paper
Parameterized Synthesis	2012-06-29	Paper
Lazy Synthesis	2012-06-15	Paper
Towards Complete Reasoning about Axiomatic Specifications	2011-02-15	Paper
Incremental Instance Generation in Local Reasoning	2009-06-30	Paper
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters	2009-03-06	Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space	2008-07-03	Paper
On Local Reasoning in Verification	2008-04-11	Paper
Comparing instance generation methods for automated reasoning	2007-05-04	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper

Research outcomes over time

This page was built for person: Swen Jacobs