Swen Jacobs

87 papers A* 3A 3B 18C 1Journal 38Unranked 21
YearRankTypeTitle / Venue / Authors
2026 B conf
Parametric Disjunctive Timed Networks.
CSL
Étienne André, Swen Jacobs, Engel Lefaucheux
2025 J jnl
Automatic WSTS-based repair and deadlock detection of parameterized systems.
Formal Methods Syst. Des.
Tom Baumeister, Swen Jacobs, Mouhammad Sakr, Marcus Völp
2025 — conf
Insights into Learning Broadcast Protocols - (Short Paper).
CSCML
Dana Fisman, Noa Izsak, Swen Jacobs
2025 — conf
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction.
VMCAI (1)
Paul Eichler, Swen Jacobs, Chana Weil-Kennedy
2025 — conf
Parameterized Verification of Timed Networks with Clock Invariants.
FSTTCS
Étienne André, Swen Jacobs, Shyam Lal Karra, Ocan Sankur
2025 J jnl
Parametric disjunctive timed networks.
CoRR
Étienne André, Swen Jacobs, Engel Lefaucheux
2024 — conf
Automatic and Incremental Repair for Speculative Information Leaks.
VMCAI (2)
Joachim Bard, Swen Jacobs, Yakir Vizel
2024 B conf
Learning Broadcast Protocols with LeoParDS.
ATVA
Noa Izsak, Dana Fisman, Swen Jacobs
2024 A* conf
Learning Broadcast Protocols.
AAAI
Dana Fisman, Noa Izsak, Swen Jacobs
2024 — conf
Parameterized Verification of Disjunctive Timed Networks.
VMCAI (1)
Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra
2024 — conf
Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.
FM (1)
Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp
2024 J jnl
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata.
CoRR
Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp
2024 J jnl
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction.
CoRR
Paul Eichler, Swen Jacobs, Chana Weil-Kennedy
2024 J jnl
Parameterized Verification of Timed Networks with Clock Invariants.
CoRR
Étienne André, Swen Jacobs, Shyam Lal Karra, Ocan Sankur
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2023 J jnl
Automatic and Incremental Repair for Speculative Information Leaks.
CoRR
Joachim Bard, Swen Jacobs, Yakir Vizel
2023 J jnl
Learning Broadcast Protocols.
CoRR
Dana Fisman, Noa Izsak, Swen Jacobs
2023 J jnl
Parameterized Verification of Disjunctive Timed Networks.
CoRR
Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra
2023 — conf
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.
TACAS (2)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
2023 J jnl
The Temporal Logic Synthesis Format TLSF v1.2.
CoRR
Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier
2023 J jnl
Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112).
Dagstuhl Reports
Swen Jacobs, Kenneth L. McMillan, Roopsha Samanta, Ilya Sergey
2022 B conf
Automatic Repair and Deadlock Detection for Parameterized Systems.
FMCAD
Swen Jacobs, Mouhammad Sakr, Marcus Völp
2022 J jnl
Current Challenges in Reliable and Secure Clock Synchronization.
Bull. EATCS
Swen Jacobs, Christoph Lenzen
2022 J jnl
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.
CoRR
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2021 — conf
AIGEN: Random Generation of Symbolic Transition Systems.
CAV (2)
Swen Jacobs, Mouhammad Sakr
2021 J jnl
Parameterized Repair of Concurrent Systems.
CoRR
Swen Jacobs, Mouhammad Sakr, Marcus Völp
2021 J jnl
QuickSilver: modeling and parameterized verification for distributed agreement-based systems.
Proc. ACM Program. Lang.
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
2020 J jnl
A symbolic algorithm for lazy synthesis of eager strategies.
Acta Informatica
Swen Jacobs, Mouhammad Sakr
2020 J jnl
Parameterized Reasoning for Distributed Systems with Consensus.
CoRR
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
2020 — conf
Parameterized Verification of Systems with Global Synchronization and Guards.
CAV (1)
Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta
2020 J jnl
Parameterized Verification of Systems with Global Synchronization and Guards.
CoRR
Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta
2020 J jnl
Parameterized synthesis of self-stabilizing protocols in symmetric networks.
Acta Informatica
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
2020 B conf
Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
VMCAI
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann
2020 — conf
Validation of Abstract Side-Channel Models for Computer Architectures.
CAV (1)
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs
2020 J jnl
Validation of Abstract Side-Channel Models for Computer Architectures.
CoRR
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs
2019 B conf
Efficient Information-Flow Verification Under Speculative Execution.
ATVA
Roderick Bloem, Swen Jacobs, Yakir Vizel
2019 J jnl
Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
CoRR
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
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
2018 B conf
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies.
ATVA
Swen Jacobs, Mouhammad Sakr
2018 B conf
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.
VMCAI
Swen Jacobs, Mouhammad Sakr
2018 C conf
Design Understanding: From Logic to Specification
VLSI-SoC
Görschwin Fey, Tara Ghasempouri, Swen Jacobs, Gianluca Martino, Jaan Raik, Heinz Riener
2018 J jnl
Distributed synthesis for parameterized temporal logics.
Inf. Comput.
Swen Jacobs, Leander Tentrup, Martin Zimmermann
2018 B conf
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings.
OPODIS
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
2017 J jnl
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.
CoRR
Swen Jacobs, Mouhammad Sakr
2017 J jnl
Distributed Synthesis for Parameterized Temporal Logics.
CoRR
Swen Jacobs, Leander Tentrup, Martin Zimmermann
2017 — ed.
Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017.
SYNT@CAV
Dana Fisman, Swen Jacobs
2017 — conf
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
SYNT@CAV
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
2017 J jnl
The first reactive synthesis competition (SYNTCOMP 2014).
Int. J. Softw. Tools Technol. Transf.
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
2016 J jnl
A High-Level LTL Synthesis Format: TLSF v1.0.
CoRR
Swen Jacobs, Felix Klein
2016 — conf
A High-Level LTL Synthesis Format: TLSF v1.1.
SYNT@CAV
Swen Jacobs, Felix Klein, Sebastian Schirmer
2016 J jnl
Decidability in Parameterized Verification.
SIGACT News
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2016 — conf
Distributed PROMPT-LTL Synthesis.
GandALF
Swen Jacobs, Leander Tentrup, Martin Zimmermann
2016 — conf
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems.
CAV (1)
Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs
2016 — conf
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
SYNT@CAV
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
2016 — conf
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond.
SYNT@CAV
Swen Jacobs, Roderick Bloem
2016 B conf
Tight Cutoffs for Guarded Protocols with Fairness.
VMCAI
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
2015 A conf
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information.
TACAS
Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
2015 — book
Decidability of Parameterized Verification
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2015 J jnl
The First Reactive Synthesis Competition (SYNTCOMP 2014).
CoRR
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
2015 — conf
The Second Reactive Synthesis Competition (SYNTCOMP 2015).
SYNT
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
2015 J jnl
Tight Cutoffs for Guarded Protocols with Fairness.
CoRR
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
2014 J jnl
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information.
CoRR
Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
2014 J jnl
Extended AIGER Format for Synthesis.
CoRR
Swen Jacobs
2014 — conf
How to Handle Assumptions in Synthesis.
SYNT
Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer
2014 B conf
Parameterized Model Checking of Token-Passing Systems.
VMCAI
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
2014 J jnl
Parameterized Synthesis Case Study: AMBA AHB.
CoRR
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
2014 — conf
Parameterized Synthesis Case Study: AMBA AHB.
SYNT
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
2014 J jnl
Parameterized Synthesis.
Log. Methods Comput. Sci.
Swen Jacobs, Roderick Bloem
2013 A* conf
PARTY Parameterized Synthesis of Token Rings.
CAV
Ayrat Khalimov, Swen Jacobs, Roderick Bloem
2013 J jnl
Parameterized Model Checking of Token-Passing Systems.
CoRR
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
2013 B conf
Reductions for Synthesis Procedures.
VMCAI
Swen Jacobs, Viktor Kuncak, Philippe Suter
2013 B conf
Towards Efficient Parameterized Synthesis.
VMCAI
Ayrat Khalimov, Swen Jacobs, Roderick Bloem
2012 B conf
Lazy Synthesis.
VMCAI
Bernd Finkbeiner, Swen Jacobs
2012 A conf
Parameterized Synthesis.
TACAS
Swen Jacobs, Roderick Bloem
2011 B conf
Towards Complete Reasoning about Axiomatic Specifications.
VMCAI
Swen Jacobs, Viktor Kuncak
2010 J jnl
Automatic Verification of Parametric Specifications with Complex Topologies
CoRR
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
2010 B conf
Automatic Verification of Parametric Specifications with Complex Topologies.
IFM
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
2009 — —
Hierarchic decision procedures for verification.
Swen Jacobs
2009 A* conf
Incremental Instance Generation in Local Reasoning.
CAV
Swen Jacobs
2008 A conf
On Local Reasoning in Verification.
TACAS
Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
2007 J jnl
Comparing Instance Generation Methods for Automated Reasoning.
J. Autom. Reason.
Swen Jacobs, Uwe Waldmann
2007 B conf
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.
ATVA
Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2007 — conf
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.
Deduction and Decision Procedures
Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs
2007 B conf
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.
IFM
Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans
2006 — conf
Applications of Hierarchical Reasoning in the Verification of Complex Systems.
PDPAR/PaUL@FLoC
Swen Jacobs, Viorica Sofronie-Stokkermans
2005 B conf
Comparing Instance Generation Methods for Automated Reasoning.
TABLEAUX
Swen Jacobs, Uwe Waldmann