Concepedia

Swen Jacobs

SJ

12

Publications

367

Citations

11

H-Index

2011

Active since

Affiliations

Graz University of Technology(Current)

Saarland University

University of Bremen

Data61

Swen Jacobs is an author at Graz University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningDesignVerificationFormal VerificationSystems EngineeringSoftware DesignProgram Analysis

Publications per year

2011–2022

12

Publications

12

Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · ACM SIGACT News · 2016 · 95 citations

Decision Procedure, Engineering, Automated Reasoning +13

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · Synthesis lectures on distributed computing theory · 2015 · 53 citations · Full text

How to Handle Assumptions in Synthesis

Roderick Bloem, Rüdiger Ehlers, Swen Jacobs et al. · Electronic Proceedings in Theoretical Computer Science · 2014 · 48 citations · Full text

Engineering, Verification, Dynamic Environment +18

The first reactive synthesis competition (SYNTCOMP 2014)

Swen Jacobs, Roderick Bloem, Romain Brenguier et al. · International Journal on Software Tools for Technology Transfer · 2016 · 32 citations · Full text

Engineering, Design, Software Engineering +5

Parameterized Synthesis

Swen Jacobs, Roderick Bloem · Logical Methods in Computer Science · 2014 · 27 citations · Full text

Logic Synthesis, Formal Specification, Engineering +15

Rows per page

1–5 of 12