Faculty
2022: DFG Individual Research Grant "GSP&Co"
2015-2019: DFG Individual Research Grant "ASDPS"
Dr. Swen Jacobs ist Faculty am CISPA, wo er die Gruppe Rigorous Analysis and Design leitet. Von 2014 bis 2018 leitete er eine Forschungsgruppe innerhalb der Reactive Systems Gruppe an der Universität des Saarlandes. Zuvor war Swen als Postdoktorand an der TU Graz (mit Roderick Bloem) und an der EPFL (mit Viktor Kuncak) und war Gastprofessor an der Universität von Ljubljana. Er hat 2010 an der Universität des Saarlandes promoviert, basierend auf seiner Arbeit am Max-Planck-Institut für Informatik.
Computer Aided Verification (CAV) TACO: A Toolsuite for the Verification of Threshold Automata
OVERLAY'26: 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis. Learning Formal Models of Parametrized Systems
Annual Conference on Computer Science Logic (CSL) Parametric Disjunctive Timed Networks
Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) Parameterized Verification of Timed Networks with Clock Invariants
Formal methods in system design Automatic WSTS-based repair and deadlock detection of parameterized systems
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI) Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
International Symposium on Automated Technology for Verification and Analysis (ATVA) Learning Broadcast Protocols with LeoParDS
Formal Methods (FM) Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
International Journal on Software Tools for Technology Transfer The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
International Journal on Software Tools for Technology Transfer The Reactive Synthesis Competition (SYNTCOMP): 2018–2021