Dr. Swen Jacobs

While being a member of this group or in collaboration with us.

• A Symbolic Algorithm for Lazy Synthesis of Eager Strategies
  Swen Jacobs and Mouhammad Sakr · ATVA 2018
• Distributed Synthesis for Parameterized Temporal Logics
  Swen Jacobs, Leander Tentrup and Martin Zimmermann · Information and Computation
• Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
  Swen Jacobs and Mouhammad Sakr · VMCAI 2018
• Proceedings of the Sixth Workshop on Synthesis (SYNT 2017)
  Dana Fisman and Swen Jacobs · SYNT 2017
• The 4th Reactive Synthesis Competition <notextile>(SYNTCOMP 2017)</notextile>: Benchmarks, Participants and Results
  Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur and Leander Tentrup · SYNT 2017
• Distributed Synthesis for Parameterized Temporal Logics
  Swen Jacobs, Leander Tentrup and Martin Zimmermann · arXiv
• A High-Level LTL Synthesis Format: TLSF v1.1
  Swen Jacobs, Felix Klein and Sebastian Schirmer · SYNT 2016
• The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond
  Swen Jacobs and Roderick Bloem · SYNT 2016
• The Third Reactive Synthesis Competition <notextile>(SYNTCOMP 2016)</notextile>: Benchmarks, Participants and Results
  Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup and Adam Walker · SYNT 2016
• Distributed PROMPT-LTL Synthesis
  Swen Jacobs, Leander Tentrup and Martin Zimmermann · GandALF 2016
• Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems
  Roderick Bloem, Nicolas Braud-Santoni and Swen Jacobs · CAV 2016
• Decidability in Parameterized Verification
  Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith and Josef Widder · ACM SIGACT News
• The First Reactive Synthesis Competition <notextile>(SYNTCOMP 2014)</notextile>
  Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup and Adam Walker · STTT
• The Second Reactive Synthesis Competition <notextile>(SYNTCOMP 2015)</notextile>
  Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup and Adam Walker · SYNT 2015
• Tight Cutoffs for Guarded Protocols with Fairness
  Simon Außerlechner, Swen Jacobs and Ayrat Khalimov · VMCAI 2016
• Decidability of Parameterized Verification
  Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith and Josef Widder · Synthesis Lectures in Distributed Computing Theory
• Distributed PROMPT-LTL Synthesis
  Swen Jacobs, Leander Tentrup and Martin Zimmermann · arXiv:1509.05144
• Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
  Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs and Robert Könighofer · TACAS 2015
• Lazy Synthesis
  Bernd Finkbeiner and Swen Jacobs · VMCAI 2012