Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Swen Jacobs

Swen Jacobs (Faculty)
 
 Campus E1 1 | 66123 Saarbrücken | 1.13

Publications:

Title Date Date Meta
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity 2018  2018   Swen Jacobs, Mouhammad Sakr  Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results 2017  2017   Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Perez, Jean-Francois Raskin, Ocan Sankur, Leander Tentrup  Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.
The first reactive synthesis competition (SYNTCOMP 2014) 2017  2017   Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Perez, Jean-Francois Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
Tight Cutoffs for Guarded Protocols with Fairness 2016  2016   Simon Außerlechner, Swen Jacobs, Ayrat Khalimov  Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems 2016  2016   Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs  Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Decidability in Parameterized Verification 2016  2016   Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond 2016  2016   Swen Jacobs, Roderick Bloem  Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results 2016  2016   Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Perez, Jean-Francois Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker  Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
A High-Level LTL Synthesis Format: TLSF v1.1 2016  2016   Swen Jacobs, Felix Klein, Sebastian Schirmer  Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
Distributed PROMPT-LTL Synthesis 2016  2016   Swen Jacobs, Leander Tentrup, Martin Zimmermann  Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016.
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information 2015  2015   Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer  Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
Decidability of Parameterized Verification 2015  2015   Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
The Second Reactive Synthesis Competition (SYNTCOMP 2015) 2015  2015   Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Perez, Jean-Francois Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker  Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015.
Lazy Synthesis 2012  2012   Bernd Finkbeiner, Swen Jacobs  Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'12)