Swen Jacobs

Cited by

	All	Since 2017
Citations	1122	626
h-index	20	15
i10-index	28	19

160

120

200720082009201020112012201320142015201620172018201920202021202214 20 20 53 31 21 42 58 68 148 106 122 100 120 151 26

Public access

View all

39 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Ayrat KhalimovUniversité libre de BruxellesVerified email at ulb.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 SankurUniv Rennes, CNRSVerified email at irisa.fr
Guillermo A. PérezAssistant Professor, University of AntwerpVerified email at uantwerp.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
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Viktor KunčakEPFLVerified email at epfl.ch
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
Mouhammad SakrPostdoctoral Researcher, CritiX, Luxembourg UniversityVerified email at uni.lu
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	127	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	92	2008
Parameterized Synthesis S Jacobs, R Bloem Logical Methods in Computer Science 10 (1:12), 1-29, 2014	64*	2014
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	55	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	51	2014
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	49	2017
How to handle assumptions in synthesis R Bloem, R Ehlers, S Jacobs, R Könighofer Workshop on Synthesis, 2014	49	2014
A high-level LTL synthesis format: TLSF v1. 1 S Jacobs, F Klein, S Schirmer arXiv preprint arXiv:1604.02284, 2016	40	2016
Lazy Synthesis B Finkbeiner, S Jacobs Verification, Model Checking, and Abstract Interpretation, 2012	40	2012
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	39	2007
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	38	2016
PARTY parameterized synthesis of token rings A Khalimov, S Jacobs, R Bloem International Conference on Computer Aided Verification, 928-933, 2013	38	2013
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	37	2016
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	36	2007
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	29	2016
Towards efficient parameterized synthesis A Khalimov, S Jacobs, R Bloem International Conference on Verification, Model Checking, and Abstract …, 2013	29	2013
Towards complete reasoning about axiomatic specifications S Jacobs, V Kuncak International Conference on Verification, Model Checking, and Abstract …, 2011	29	2011
Tight cutoffs for guarded protocols with fairness S Außerlechner, S Jacobs, A Khalimov International Conference on Verification, Model Checking, and Abstract …, 2016	24	2016
Incremental instance generation in local reasoning S Jacobs Computer Aided Verification, 368-382, 2009	24	2009
The Second Reactive Synthesis Competition (SYNTCOMP 2015) S Jacobs, R Bloem, R Brenguier, R Könighofer, GA Pérez, JF Raskin, ... Workshop on Synthesis, 2016	21	2016

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

Follow this author

Cited by

Co-authors