Swen Jacobs

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6161057	2023-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q5091107	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
Reductions for Synthesis Procedures	2014-11-03	Paper
Towards Efficient Parameterized Synthesis	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Swen Jacobs