Direkteinstieg

Portrait of Person: Swen Jacobs

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

Veröffentlichungen:

Title Date Date
 2016
2016
 Swen Jacobs, Felix Klein, Sebastian Schirmer
 NRA2
 Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
 2018
ATVA
2018
 Swen Jacobs, Mouhammad Sakr
 NRA2
 International Symposium on Automated Technology for Verification and Analysis (ATVA)
 2018
2018
 Swen Jacobs, Mouhammad Sakr
 NRA2
 Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings
 2015
TACAS
2015
 Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
 NRA2
 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
 2016
2016
 Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
 NRA2
 SIGACT News
 2015
2015
 Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
 NRA2
 2016
2016
 Swen Jacobs, Leander Tentrup, Martin Zimmermann
 NRA2
 Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016.
 2018
2018
 Swen Jacobs, Leander Tentrup, Martin Zimmermann
 NRA2
 Information and Computation
 2014
2014
 Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer
 
 Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014.
 2012
2012
 Bernd Finkbeiner, Swen Jacobs
 NRA2
 Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'12)
 2013
CAV
2013
 Ayrat Khalimov, Swen Jacobs, Roderick Bloem
 
 Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
 2014
2014
 Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
 
 Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
 2012
2012
 Swen Jacobs, Roderick Bloem
 
 Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proce
 2014
2014
 Roderick Bloem, Swen Jacobs, Ayrat Khalimov
 
 Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014.
 2018
2018
 Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
 NRA2
 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China
 2013
2013
 Swen Jacobs, Viktor Kuncak, Philippe Suter
 
 Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
 2016
CAV
2016
 Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs
 NRA2
 Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
 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
 NRA2
 Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
 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
 NRA2
 Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.
 2016
2016
 Swen Jacobs, Roderick Bloem
 NRA2
 Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
 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
 NRA2
 Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015.
 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
 NRA2
 STTT
 2016
2016
 Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
 NRA2
 Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
 2011
2011
 Swen Jacobs, Viktor Kuncak
 
 Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
 2013
2013
 Ayrat Khalimov, Swen Jacobs, Roderick Bloem
 
 Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings