Swen Jacobs

Swen Jacobs

Contact

Swen Jacobs
Reactive Systems Group
Universität des Saarlandes
Saarland Informatics Campus
Phone: +49 681 302 5666
eMail: jacobs@react.uni-saarland.de
Office: Building E 1.1, room 1.13
Office hour: Whenever the door is open

Recently published (Sep 2015):

photo

Teaching | Events | Publications | CV

I am a postdoctoral researcher in the Reactive Systems Group at Saarland University and the principle investigator of a DFG project on Automatic Synthesis of Distributed and Parameterized Systems (ASDPS).

  • Verification and Synthesis of Distributed and Parameterized Systems
  • Decision Procedures: Development, Applications
  • Hierarchical Reasoning: Local Theory Extensions




Co-organizer:

  • SYNT 2017
  • SYNTCOMP (Reactive Synthesis Competition), annually since 2014
  • FRIDA 2016 (3rd Workshop on Formal Reasoning in Distributed Algorithms)

PC member:

  • PDP 2017 (25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Special Track on Formal Approaches to Parallel and Distributed Systems)

Artifact Evaluation Committee:

  • CAV 2017 (29th International Conference on Computer Aided Verification)

(Also find publication lists at Google Scholar and DBLP)

2016

2015

2014

2013

2012

  • Lazy Synthesis (with B. Finkbeiner)
    in VMCAI 2012, LNCS 7148, pages 219-234.

-2011


(pdf)