Swen Jacobs

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 45

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

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

Swen Jacobs.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Swen Jacobs