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
 2018
2018
 Swen Jacobs, Mouhammad Sakr
 Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings
 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.
 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
 STTT
 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
 2016
CAV
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
 2016
2016
 Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
 SIGACT News
 2016
2016
 Swen Jacobs, Roderick Bloem
 Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
 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.
 2016
2016
 Swen Jacobs, Felix Klein, Sebastian Schirmer
 Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
 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.
 2015
TACAS
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
 2015
2015
 Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
 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.
 2012
2012
 Bernd Finkbeiner, Swen Jacobs
 Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'12)