Swen Jacobs

Cited by

	All	Since 2020
Citations	1473	669
h-index	23	14
i10-index	33	21

160

120

200720082009201020112012201320142015201620172018201920202021202220232024202514 21 20 54 31 20 42 56 62 139 106 114 102 113 131 121 150 133 20

Public access

View all

32 articles

1 article

available

not available

Based on funding mandates

Co-authors

Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Ayrat KhalimovTU ClausthalVerified email at tu-clausthal.de
Sasha RubinUniversity of SydneyVerified email at sydney.edu.au
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Josef WidderInformal SystemsVerified email at informal.systems
Viorica Sofronie-StokkermansProfessor, University of KoblenzVerified email at uni-koblenz.de
Leander TentrupSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be
Mouhammad SakrPostdoctoral Researcher, CritiX, Luxembourg UniversityVerified email at uni.lu
Ocan SankurCNRS, Université de RennesVerified email at cnrs.fr
Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
Igor KonnovIndependent Security and Formal Methods ResearcherVerified email at konnov.phd
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Roopsha SamantaAssistant Professor, Purdue UniversityVerified email at purdue.edu
Adam WalkerNICTA/UNSWVerified email at nicta.com.au
Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityVerified email at purdue.edu
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Christopher WagnerPurdue UniversityVerified email at purdue.edu
Viktor KunčakEPFLVerified email at epfl.ch

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	213	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	104	2008
Parameterized Synthesis S Jacobs, R Bloem Logical Methods in Computer Science 10 (1:12), 1-29, 2014	77	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	69	2017
How to handle assumptions in synthesis R Bloem, R Ehlers, S Jacobs, R Könighofer Workshop on Synthesis, 2014	69	2014
Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin International Conference on Verification, Model Checking, and Abstract …, 2014	64	2014
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	55	2016
A high-level LTL synthesis format: TLSF v1. 1 S Jacobs, F Klein, S Schirmer arXiv preprint arXiv:1604.02284, 2016	52	2016
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	52	2007
Lazy Synthesis B Finkbeiner, S Jacobs Verification, Model Checking, and Abstract Interpretation, 2012	44	2012
PARTY Parameterized Synthesis of Token Rings A Khalimov, S Jacobs, R Bloem International Conference on Computer Aided Verification, 928-933, 2013	43	2013
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	40	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	38	2007
Tight cutoffs for guarded protocols with fairness S Außerlechner, S Jacobs, A Khalimov Verification, Model Checking, and Abstract Interpretation: 17th …, 2016	34	2016
Synthesis of self-stabilising and byzantine-resilient distributed systems R Bloem, N Braud-Santoni, S Jacobs Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016	32	2016
Towards efficient parameterized synthesis A Khalimov, S Jacobs, R Bloem International Conference on Verification, Model Checking, and Abstract …, 2013	32	2013
Assume-guarantee synthesis for concurrent reactive programs with partial information R Bloem, K Chatterjee, S Jacobs, R Könighofer International Conference on Tools and Algorithms for the Construction and …, 2015	31	2015
Towards complete reasoning about axiomatic specifications S Jacobs, V Kuncak International Conference on Verification, Model Checking, and Abstract …, 2011	30	2011
Analyzing guarded protocols: Better cutoffs, more systems, more expressivity S Jacobs, M Sakr Verification, Model Checking, and Abstract Interpretation: 19th …, 2018	28	2018
The reactive synthesis competition (syntcomp): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International Journal on Software Tools for Technology Transfer, 1-17, 2024	27	2024

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

Cited by

Co-authors