Scholar
Swen Jacobs
Google Scholar ID: pofIiPIAAAAJ
CISPA Helmholtz Center for Information Security, Saarland Informatics Campus
Formal Methods
Verification
Synthesis
Automated Reasoning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,571
H-index
24
i10-index
33
Publications
20
Co-authors
55
list available
Publications
3 items
TACO: A Toolsuite for the Verification of Threshold Automata
2026
Cited
0
Parametric disjunctive timed networks
2025
Cited
0
Parameterized Verification of Timed Networks with Clock Invariants
arXiv.org · 2024
Cited
0
Co-authors
10 total
Roderick Bloem
Graz University of Technology
Sasha Rubin
University of Sydney
Viorica Sofronie-Stokkermans
Professor, University of Koblenz
Guillermo A. Pérez
Associate Professor, University of Antwerp
Ocan Sankur
CNRS, Université de Rennes
Igor Konnov
Independent Security and Formal Methods Researcher
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
