Faculty
2022: DFG Individual Research Grant "GSP&Co"
2015-2019: DFG Individual Research Grant "ASDPS"
Dr. Swen Jacobs is a faculty at CISPA, where he leads the Rigorous Analysis and Design group. From 2014 until 2018, he led a research group within the Reactive Systems Group at Saarland University. Before that, Swen was a postdoctoral researcher at TU Graz (with Roderick Bloem) and at EPFL (with Viktor Kuncak), and was a visiting professor at the University of Ljubljana. He obtained his doctorate from Saarland University in 2010, based on work he did at the Max Planck Institute for Informatics.
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
National Conference of the American Association for Artificial Intelligence (AAAI)
Learning Broadcast Protocols
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Parameterized Verification of Disjunctive Timed Networks.
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Automatic and Incremental Repair for Speculative Information Leaks.