| 2026 | CAV | TACO: A Toolsuite for the Verification of Threshold Automata. | Paul Eichler, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Vlp, Swen Jacobs |
| 2026 | CSL | Parametric Disjunctive Timed Networks. | tienne Andr, Swen Jacobs, Engel Lefaucheux |
| 2025 | VMCAI | Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. | Paul Eichler, Swen Jacobs, Chana Weil-Kennedy |
| 2024 | AAAI | Learning Broadcast Protocols. | Dana Fisman, Noa Izsak, Swen Jacobs |
| 2024 | ATVA | Learning Broadcast Protocols with LeoParDS. | Noa Izsak, Dana Fisman, Swen Jacobs |
| 2024 | FM | Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. | Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Vlp |
| 2024 | VMCAI | Parameterized Verification of Disjunctive Timed Networks. | tienne Andr, Paul Eichler, Swen Jacobs, Shyam Lal Karra |
| 2024 | VMCAI | Automatic and Incremental Repair for Speculative Information Leaks. | Joachim Bard, Swen Jacobs, Yakir Vizel |
| 2023 | TACAS | Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. | Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta |
| 2022 | FMCAD | Automatic Repair and Deadlock Detection for Parameterized Systems. | Swen Jacobs, Mouhammad Sakr, Marcus Vlp |
| 2021 | CAV | AIGEN: Random Generation of Symbolic Transition Systems. | Swen Jacobs, Mouhammad Sakr |
| 2020 | CAV | Parameterized Verification of Systems with Global Synchronization and Guards. | Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta |
| 2020 | CAV | Validation of Abstract Side-Channel Models for Computer Architectures. | Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs |
| 2020 | VMCAI | Promptness and Bounded Fairness in Concurrent and Parameterized Systems. | Swen Jacobs, Mouhammad Sakr, Martin Zimmermann |
| 2019 | ATVA | Efficient Information-Flow Verification Under Speculative Execution. | Roderick Bloem, Swen Jacobs, Yakir Vizel |
| 2018 | ATVA | A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. | Swen Jacobs, Mouhammad Sakr |
| 2018 | OPODIS | Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. | Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour |
| 2018 | VMCAI | Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. | Swen Jacobs, Mouhammad Sakr |
| 2016 | CAV | Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. | Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs |
| 2016 | VMCAI | Tight Cutoffs for Guarded Protocols with Fairness. | Simon Auerlechner, Swen Jacobs, Ayrat Khalimov |
| 2015 | TACAS | Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. | Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Knighofer |
| 2014 | VMCAI | Parameterized Model Checking of Token-Passing Systems. | Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin |
| 2013 | CAV | PARTY Parameterized Synthesis of Token Rings. | Ayrat Khalimov, Swen Jacobs, Roderick Bloem |
| 2013 | VMCAI | Reductions for Synthesis Procedures. | Swen Jacobs, Viktor Kuncak, Philippe Suter |
| 2013 | VMCAI | Towards Efficient Parameterized Synthesis. | Ayrat Khalimov, Swen Jacobs, Roderick Bloem |
| 2012 | TACAS | Parameterized Synthesis. | Swen Jacobs, Roderick Bloem |
| 2012 | VMCAI | Lazy Synthesis. | Bernd Finkbeiner, Swen Jacobs |
| 2011 | VMCAI | Towards Complete Reasoning about Axiomatic Specifications. | Swen Jacobs, Viktor Kuncak |
| 2010 | IFM | Automatic Verification of Parametric Specifications with Complex Topologies. | Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2009 | CAV | Incremental Instance Generation in Local Reasoning. | Swen Jacobs |
| 2008 | TACAS | On Local Reasoning in Verification. | Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2007 | ATVA | Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. | Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2007 | IFM | Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. | Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2005 | TABLEAUX | Comparing Instance Generation Methods for Automated Reasoning. | Swen Jacobs, Uwe Waldmann |