Swen Jacobs

According to our database, Swen Jacobs authored at least 60 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., October, 2024

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction.

Paul Eichler, Swen Jacobs, Chana Weil-Kennedy

CoRR, 2024

Parameterized Verification of Timed Networks with Clock Invariants.

Étienne André, Swen Jacobs, Shyam Lal Karra, Ocan Sankur

CoRR, 2024

Automatic and Incremental Repair for Speculative Information Leaks.

Joachim Bard, Swen Jacobs, Yakir Vizel

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Parameterized Verification of Disjunctive Timed Networks.

Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.

Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp

Proceedings of the Formal Methods - 26th International Symposium, 2024

Learning Broadcast Protocols.

Dana Fisman, Noa Izsak, Swen Jacobs

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112).

Swen Jacobs, Kenneth L. McMillan, Roopsha Samanta, Ilya Sergey

Dagstuhl Reports, March, 2023

The Temporal Logic Synthesis Format TLSF v1.2.

Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier

CoRR, 2023

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Current Challenges in Reliable and Secure Clock Synchronization.

Swen Jacobs, Christoph Lenzen

Bull. EATCS, 2022

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

CoRR, 2022

Automatic Repair and Deadlock Detection for Parameterized Systems.

Swen Jacobs, Mouhammad Sakr, Marcus Völp

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

QuickSilver: modeling and parameterized verification for distributed agreement-based systems.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

Proc. ACM Program. Lang., 2021

Parameterized Repair of Concurrent Systems.

Swen Jacobs, Mouhammad Sakr, Marcus Völp

CoRR, 2021

AIGEN: Random Generation of Symbolic Transition Systems.

Swen Jacobs, Mouhammad Sakr

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Parameterized Reasoning for Distributed Systems with Consensus.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

CoRR, 2020

Parameterized synthesis of self-stabilizing protocols in symmetric networks.

Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour

Acta Informatica, 2020

A symbolic algorithm for lazy synthesis of eager strategies.

Swen Jacobs, Mouhammad Sakr

Acta Informatica, 2020

Promptness and Bounded Fairness in Concurrent and Parameterized Systems.

Swen Jacobs, Mouhammad Sakr, Martin Zimmermann

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Validation of Abstract Side-Channel Models for Computer Architectures.

Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Parameterized Verification of Systems with Global Synchronization and Guards.

Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker

CoRR, 2019

Efficient Information-Flow Verification Under Speculative Execution.

Roderick Bloem, Swen Jacobs, Yakir Vizel

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Distributed synthesis for parameterized temporal logics.

Swen Jacobs, Leander Tentrup, Martin Zimmermann

Inf. Comput., 2018

Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.

Swen Jacobs, Mouhammad Sakr

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Design Understanding: From Logic to Specification^*.

Görschwin Fey, Tara Ghasempouri, Swen Jacobs, Gianluca Martino, Jaan Raik, Heinz Riener

Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration, 2018

Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings.

Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

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, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., 2017

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, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

2016

Decidability in Parameterized Verification.

Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder

SIGACT News, 2016

Distributed PROMPT-LTL Synthesis.

Swen Jacobs, Leander Tentrup, Martin Zimmermann

Proceedings of the Seventh International Symposium on Games, 2016

A High-Level LTL Synthesis Format: TLSF v1.0.

Swen Jacobs, Felix Klein

CoRR, 2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond.

Swen Jacobs, Roderick Bloem

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

A High-Level LTL Synthesis Format: TLSF v1.1.

Swen Jacobs, Felix Klein, Sebastian Schirmer

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Tight Cutoffs for Guarded Protocols with Fairness.

Simon Außerlechner, Swen Jacobs, Ayrat Khalimov

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems.

Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder

Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02011-7, 2015

The Second Reactive Synthesis Competition (SYNTCOMP 2015).

Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information.

Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Parameterized Synthesis.

Swen Jacobs, Roderick Bloem

Log. Methods Comput. Sci., 2014

Extended AIGER Format for Synthesis.

Swen Jacobs

CoRR, 2014

Parameterized Synthesis Case Study: AMBA AHB.

Roderick Bloem, Swen Jacobs, Ayrat Khalimov

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

How to Handle Assumptions in Synthesis.

Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Parameterized Model Checking of Token-Passing Systems.

Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013

Towards Efficient Parameterized Synthesis.

Ayrat Khalimov, Swen Jacobs, Roderick Bloem

Proceedings of the Verification, 2013

Reductions for Synthesis Procedures.

Swen Jacobs, Viktor Kuncak, Philippe Suter

Proceedings of the Verification, 2013

PARTY Parameterized Synthesis of Token Rings.

Ayrat Khalimov, Swen Jacobs, Roderick Bloem

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Lazy Synthesis.

Bernd Finkbeiner, Swen Jacobs

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011

Towards Complete Reasoning about Axiomatic Specifications.

Swen Jacobs, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2010

Automatic Verification of Parametric Specifications with Complex Topologies.

Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

Hierarchic decision procedures for verification.

Swen Jacobs

PhD thesis, 2009

Incremental Instance Generation in Local Reasoning.

Swen Jacobs

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

On Local Reasoning in Verification.

Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

Comparing Instance Generation Methods for Automated Reasoning.

Swen Jacobs, Uwe Waldmann

J. Autom. Reason., 2007

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.

Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs

Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007

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

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Applications of Hierarchical Reasoning in the Verification of Complex Systems.

Swen Jacobs, Viorica Sofronie-Stokkermans

Proceedings of the Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), 2006