Applications of Hierarchical Reasoning in the Verification of Complex Systems. - Swen Jacobs; Viorica Sofronie-Stokkermans (PDPAR/PaUL@FLoC, 2006)

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 001; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (ATVA, 2007)

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. - Viorica Sofronie-Stokkermans; Carsten Ihlemann; Swen Jacobs (Deduction and Decision Procedures, 2007)

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. - Johannes Faber; Swen Jacobs; Viorica Sofronie-Stokkermans (IFM, 2007)

Comparing Instance Generation Methods for Automated Reasoning. - Swen Jacobs; Uwe Waldmann (J. Autom. Reason., 2007)

On Local Reasoning in Verification. - Carsten Ihlemann; Swen Jacobs; Viorica Sofronie-Stokkermans (TACAS, 2008)

Incremental Instance Generation in Local Reasoning. - Swen Jacobs (CAV, 2009)

Hierarchic decision procedures for verification. - Swen Jacobs (2009)

Automatic Verification of Parametric Specifications with Complex Topologies. - Johannes Faber; Carsten Ihlemann; Swen Jacobs; Viorica Sofronie-Stokkermans (IFM, 2010)

Towards Complete Reasoning about Axiomatic Specifications. - Swen Jacobs; Viktor Kuncak (VMCAI, 2011)

Lazy Synthesis. - Bernd Finkbeiner; Swen Jacobs (VMCAI, 2012)

PARTY Parameterized Synthesis of Token Rings. - Ayrat Khalimov 001; Swen Jacobs; Roderick Bloem (CAV, 2013)

Reductions for Synthesis Procedures. - Swen Jacobs; Viktor Kuncak; Philippe Suter (VMCAI, 2013)

Towards Efficient Parameterized Synthesis. - Ayrat Khalimov 001; Swen Jacobs; Roderick Bloem (VMCAI, 2013)

Parameterized Model Checking of Token-Passing Systems. - Benjamin Aminof; Swen Jacobs; Ayrat Khalimov 001; Sasha Rubin (VMCAI, 2014)

How to Handle Assumptions in Synthesis. - Roderick Bloem; Rüdiger Ehlers; Swen Jacobs; Robert Könighofer (SYNT, 2014)

Parameterized Synthesis Case Study: AMBA AHB. - Roderick Bloem; Swen Jacobs; Ayrat Khalimov 001 (SYNT, 2014)

Extended AIGER Format for Synthesis. - Swen Jacobs (CoRR, 2014)

Parameterized Synthesis. - Swen Jacobs; Roderick Bloem (Log. Methods Comput. Sci., 2014)

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. - Roderick Bloem; Krishnendu Chatterjee; Swen Jacobs; Robert Könighofer (TACAS, 2015)

The Second Reactive Synthesis Competition (SYNTCOMP 2015). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; Adam Walker (SYNT, 2015)

Decidability of Parameterized Verification - Roderick Bloem; Swen Jacobs; Ayrat Khalimov 001; Igor Konnov 001; Sasha Rubin; Helmut Veith; Josef Widder (Morgan & Claypool Publishers, 2015)

Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. - Roderick Bloem; Nicolas Braud-Santoni; Swen Jacobs (CAV (1), 2016)

Tight Cutoffs for Guarded Protocols with Fairness. - Simon Außerlechner; Swen Jacobs; Ayrat Khalimov 001 (VMCAI, 2016)

A High-Level LTL Synthesis Format: TLSF v1.1. - Swen Jacobs; Felix Klein 001; Sebastian Schirmer (SYNT@CAV, 2016)

The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. - Swen Jacobs; Roderick Bloem (SYNT@CAV, 2016)

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov 001; Felix Klein 001; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; et al. (SYNT@CAV, 2016)

A High-Level LTL Synthesis Format: TLSF v1.0. - Swen Jacobs; Felix Klein 001 (CoRR, 2016)

Distributed PROMPT-LTL Synthesis. - Swen Jacobs; Leander Tentrup; Martin Zimmermann 002 (GandALF, 2016)

Decidability in Parameterized Verification. - Roderick Bloem; Swen Jacobs; Ayrat Khalimov 001; Igor Konnov 001; Sasha Rubin; Helmut Veith; Josef Widder (SIGACT News, 2016)

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. - Swen Jacobs; Nicolas Basset; Roderick Bloem; Romain Brenguier; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Thibaud Michaud; Guillermo A. Pérez 001; Jean-François Raskin; et al. (SYNT@CAV, 2017)

The first reactive synthesis competition (SYNTCOMP 2014). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Rüdiger Ehlers; Timotheus Hell; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (Int. J. Softw. Tools Technol. Transf., 2017)

Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. - Nahal Mirzaie; Fathiyeh Faghih; Swen Jacobs; Borzoo Bonakdarpour (OPODIS, 2018)

Design Understanding: From Logic to Specification*. - Görschwin Fey; Tara Ghasempouri; Swen Jacobs; Gianluca Martino; Jaan Raik; Heinz Riener (VLSI-SoC, 2018)

Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. - Swen Jacobs; Mouhammad Sakr (VMCAI, 2018)

Distributed synthesis for parameterized temporal logics. - Swen Jacobs; Leander Tentrup; Martin Zimmermann 002 (Inf. Comput., 2018)

Efficient Information-Flow Verification Under Speculative Execution. - Roderick Bloem; Swen Jacobs; Yakir Vizel (ATVA, 2019)

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Michael Luttenberger; Philipp J. Meyer; Thibaud Michaud; Mouhammad Sakr; Salomon Sickert; et al. (CoRR, 2019)

Parameterized Verification of Systems with Global Synchronization and Guards. - Nouraldin Jaber; Swen Jacobs; Christopher Wagner; Milind Kulkarni 001; Roopsha Samanta (CAV (1), 2020)

Validation of Abstract Side-Channel Models for Computer Architectures. - Hamed Nemati; Pablo Buiras; Andreas Lindner; Roberto Guanciale; Swen Jacobs (CAV (1), 2020)

Promptness and Bounded Fairness in Concurrent and Parameterized Systems. - Swen Jacobs; Mouhammad Sakr; Martin Zimmermann 002 (VMCAI, 2020)

A symbolic algorithm for lazy synthesis of eager strategies. - Swen Jacobs; Mouhammad Sakr (Acta Informatica, 2020)

Parameterized synthesis of self-stabilizing protocols in symmetric networks. - Nahal Mirzaie; Fathiyeh Faghih; Swen Jacobs; Borzoo Bonakdarpour (Acta Informatica, 2020)

Parameterized Reasoning for Distributed Systems with Consensus. - Nouraldin Jaber; Christopher Wagner; Swen Jacobs; Milind Kulkarni 001; Roopsha Samanta (CoRR, 2020)

AIGEN: Random Generation of Symbolic Transition Systems. - Swen Jacobs; Mouhammad Sakr (CAV (2), 2021)

Parameterized Repair of Concurrent Systems. - Swen Jacobs; Mouhammad Sakr; Marcus Völp (CoRR, 2021)

QuickSilver: modeling and parameterized verification for distributed agreement-based systems. - Nouraldin Jaber; Christopher Wagner; Swen Jacobs; Milind Kulkarni 001; Roopsha Samanta (Proc. ACM Program. Lang., 2021)

Automatic Repair and Deadlock Detection for Parameterized Systems. - Swen Jacobs; Mouhammad Sakr; Marcus Völp (FMCAD, 2022)

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification. - Nouraldin Jaber; Christopher Wagner; Swen Jacobs; Milind Kulkarni 001; Roopsha Samanta (CoRR, 2022)

Current Challenges in Reliable and Secure Clock Synchronization. - Swen Jacobs; Christoph Lenzen 001 (Bull. EATCS, 2022)

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. - Nouraldin Jaber; Christopher Wagner; Swen Jacobs; Milind Kulkarni 001; Roopsha Samanta (TACAS (2), 2023)

The Temporal Logic Synthesis Format TLSF v1.2. - Swen Jacobs; Guillermo A. Pérez 001; Philipp Schlehuber-Caissier (CoRR, 2023)

Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112). - Swen Jacobs; Kenneth L. McMillan; Roopsha Samanta; Ilya Sergey (Dagstuhl Reports, 2023)

Learning Broadcast Protocols. - Dana Fisman; Noa Izsak; Swen Jacobs (AAAI, 2024)

Learning Broadcast Protocols with LeoParDS. - Noa Izsak; Dana Fisman; Swen Jacobs (ATVA, 2024)

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. - Tom Baumeister; Paul Eichler; Swen Jacobs; Mouhammad Sakr; Marcus Völp (FM (1), 2024)

Parameterized Verification of Disjunctive Timed Networks. - Étienne André; Paul Eichler; Swen Jacobs; Shyam Lal Karra (VMCAI (1), 2024)

Automatic and Incremental Repair for Speculative Information Leaks. - Joachim Bard; Swen Jacobs; Yakir Vizel (VMCAI (2), 2024)

Parameterized Verification of Timed Networks with Clock Invariants. - Étienne André; Swen Jacobs; Shyam Lal Karra; Ocan Sankur (CoRR, 2024)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. - Paul Eichler; Swen Jacobs; Chana Weil-Kennedy (VMCAI (1), 2025)