Swen Jacobs

Cited by

	All	Since 2015
Citations	925	646
h-index	19	16
i10-index	28	23

160

120

2007200820092010201120122013201420152016201720182019202012 21 21 54 31 28 41 55 68 146 108 117 99 105

Co-authors

Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Ayrat KhalimovUniversité libre de BruxellesVerified email at ulb.ac.be
Viorica Sofronie-StokkermansProfessor, University Koblenz-LandauVerified email at uni-koblenz.de
Leander TentrupSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
Sasha RubinUniversity of SydneyVerified email at sydney.edu.au
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Ocan SankurCNRS, IrisaVerified email at irisa.fr
Guillermo A. PérezAssistant Professor, University of AntwerpVerified email at uantwerpen.be
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Igor KonnovPrincipal scientist, Informal SystemsVerified email at informal.systems
Josef WidderInformal SystemsVerified email at informal.systems
Viktor KunčakEPFLVerified email at epfl.ch
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Adam WalkerNICTA/UNSWVerified email at nicta.com.au
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Leonid RyzhykVMware ResearchVerified email at vmware.com
Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Verified email at iist.unu.edu
Ruediger EhlersClausthal University of TechnologyVerified email at tu-clausthal.de

Swen Jacobs

CISPA Helmholtz Center for Information Security, Saarland Informatics Campus

Verified email at cispa.saarland - Homepage

Formal Methods Verification Synthesis Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Decidability of Parameterized Verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder Synthesis Lectures on Distributed Computing Theory 6 (1), 1-170, 2015	87	2015
On local reasoning in verification C Ihlemann, S Jacobs, V Sofronie-Stokkermans Tools and Algorithms for the Construction and Analysis of Systems, 265-281, 2008	87	2008
Parameterized Synthesis S Jacobs, R Bloem Logical Methods in Computer Science 10 (1:12), 1-29, 2014	60	2014
Parameterized Synthesis. S Jacobs, R Bloem TACAS 7214, 362-376, 2012	60	2012
Exact state set representations in the verification of linear hybrid systems with large discrete state space W Damm, S Disch, H Hungar, S Jacobs, J Pang, F Pigorsch, C Scholl, ... International Symposium on Automated Technology for Verification and …, 2007	48	2007
Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin International Conference on Verification, Model Checking, and Abstract …, 2014	44	2014
How to handle assumptions in synthesis R Bloem, R Ehlers, S Jacobs, R Könighofer Workshop on Synthesis, 2014	41	2014
Verifying CSP-OZ-DC specifications with complex data types and timing parameters J Faber, S Jacobs, V Sofronie-Stokkermans Proceedings of the 6th international conference on Integrated formal methods …, 2007	38	2007
Applications of hierarchical reasoning in the verification of complex systems S Jacobs, V Sofronie-Stokkermans Electronic Notes in Theoretical Computer Science 174 (8), 39-54, 2007	37	2007
PARTY parameterized synthesis of token rings A Khalimov, S Jacobs, R Bloem International Conference on Computer Aided Verification, 928-933, 2013	36	2013
Lazy Synthesis B Finkbeiner, S Jacobs Verification, Model Checking, and Abstract Interpretation, 2012	35	2012
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ... arXiv preprint arXiv:1711.11439, 2017	29	2017
Towards complete reasoning about axiomatic specifications S Jacobs, V Kuncak International Conference on Verification, Model Checking, and Abstract …, 2011	29	2011
Decidability in parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder ACM SIGACT News 47 (2), 53-64, 2016	28	2016
The first reactive synthesis competition (SYNTCOMP 2014) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... International Journal on Software Tools for Technology Transfer, 2016	26	2016
A high-level LTL synthesis format: TLSF v1. 1 S Jacobs, F Klein, S Schirmer arXiv preprint arXiv:1604.02284, 2016	25	2016
Synthesis of self-stabilising and byzantine-resilient distributed systems R Bloem, N Braud-Santoni, S Jacobs International Conference on Computer Aided Verification, 157-176, 2016	24	2016
Towards efficient parameterized synthesis A Khalimov, S Jacobs, R Bloem International Conference on Verification, Model Checking, and Abstract …, 2013	24	2013
Incremental instance generation in local reasoning S Jacobs Computer Aided Verification, 368-382, 2009	24	2009
Automatic Verification of Parametric Specifications with Complex Topologies J Faber, C Ihlemann, S Jacobs, V Sofronie-Stokkermans	20	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors