default search action
Swen Jacobs
Person information
- affiliation: CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
- affiliation: Saarland University, SIC, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j10]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. Int. J. Softw. Tools Technol. Transf. 26(5): 551-567 (2024) - [c40]Dana Fisman, Noa Izsak
Learning Broadcast Protocols. AAAI 2024: 12016-12023 - [c39]Tom Baumeister
Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. FM (1) 2024: 638-657 - [c38]Étienne André
Parameterized Verification of Disjunctive Timed Networks. VMCAI (1) 2024: 124-146 - [c37]Joachim Bard, Swen Jacobs, Yakir Vizel:
Automatic and Incremental Repair for Speculative Information Leaks. VMCAI (2) 2024: 291-313 - [i27]Tom Baumeister, Paul Eichler
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. CoRR abs/2406.19880 (2024) - [i26]Étienne André, Swen Jacobs, Shyam Lal Karra, Ocan Sankur:
Parameterized Verification of Timed Networks with Clock Invariants. CoRR abs/2408.05190 (2024) - [i25]Paul Eichler
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. CoRR abs/2408.05954 (2024) - 2023
- [c36]Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta:
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. TACAS (2) 2023: 289-308 - [i24]Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier:
The Temporal Logic Synthesis Format TLSF v1.2. CoRR abs/2303.03839 (2023) - [i23]Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. CoRR abs/2305.07295 (2023) - [i22]Joachim Bard, Swen Jacobs, Yakir Vizel:
Automatic and Incremental Repair for Speculative Information Leaks. CoRR abs/2305.10092 (2023) - [i21]Dana Fisman, Noa Izsak, Swen Jacobs:
Learning Broadcast Protocols. CoRR abs/2306.14284 (2023) - [i20]Swen Jacobs, Kenneth McMillan, Roopsha Samanta, Ilya Sergey:
Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112). Dagstuhl Reports 13(3): 32-48 (2023) - 2022
- [j9]Swen Jacobs, Christoph Lenzen:
Current Challenges in Reliable and Secure Clock Synchronization. Bull. EATCS 138 (2022) - [c35]Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Automatic Repair and Deadlock Detection for Parameterized Systems. FMCAD 2022: 225-234 - [i19]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 abs/2206.00251 (2022) - [i18]Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta:
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification. CoRR abs/2208.12400 (2022) - 2021
- [j8]Nouraldin Jaber, Christopher Wagner, Swen Jacobs
QuickSilver: modeling and parameterized verification for distributed agreement-based systems. Proc. ACM Program. Lang. 5(OOPSLA): 1-31 (2021) - [c34]Swen Jacobs, Mouhammad Sakr:
AIGEN: Random Generation of Symbolic Transition Systems. CAV (2) 2021: 435-446 - [i17]Swen Jacobs, Mouhammad Sakr
Parameterized Repair of Concurrent Systems. CoRR abs/2111.03322 (2021) - 2020
- [j7]Swen Jacobs
A symbolic algorithm for lazy synthesis of eager strategies. Acta Informatica 57(1-2): 81-106 (2020) - [j6]Nahal Mirzaie
Parameterized synthesis of self-stabilizing protocols in symmetric networks. Acta Informatica 57(1-2): 271-304 (2020) - [c33]Hamed Nemati
Validation of Abstract Side-Channel Models for Computer Architectures. CAV (1) 2020: 225-248 - [c32]Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta:
Parameterized Verification of Systems with Global Synchronization and Guards. CAV (1) 2020: 299-323 - [c31]Swen Jacobs
Promptness and Bounded Fairness in Concurrent and Parameterized Systems. VMCAI 2020: 337-359 - [i16]Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta:
Parameterized Reasoning for Distributed Systems with Consensus. CoRR abs/2004.04613 (2020) - [i15]Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta:
Parameterized Verification of Systems with Global Synchronization and Guards. CoRR abs/2004.04896 (2020) - [i14]Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs:
Validation of Abstract Side-Channel Models for Computer Architectures. CoRR abs/2005.05254 (2020)
2010 – 2019
- 2019
- [c30]Roderick Bloem, Swen Jacobs, Yakir Vizel:
Efficient Information-Flow Verification Under Speculative Execution. ATVA 2019: 499-514 - [i13]Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR abs/1904.07736 (2019) - [i12]Swen Jacobs, Mouhammad Sakr, Martin Zimmermann:
Promptness and Bounded Fairness in Concurrent and Parameterized Systems. CoRR abs/1911.03122 (2019) - 2018
- [j5]Swen Jacobs
Distributed synthesis for parameterized temporal logics. Inf. Comput. 262: 311-328 (2018) - [c29]Swen Jacobs
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. ATVA 2018: 211-227 - [c28]Nahal Mirzaie
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. OPODIS 2018: 29:1-29:17 - [c27]Görschwin Fey
Design Understanding: From Logic to Specification*. VLSI-SoC 2018: 172-175 - [c26]Swen Jacobs
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. VMCAI 2018: 247-268 - 2017
- [j4]Swen Jacobs
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19(3): 367-390 (2017) - [c25]Swen Jacobs
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV 2017: 116-143 - [e1]Dana Fisman, Swen Jacobs:
Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. EPTCS 260, 2017 [contents] - [i11]Swen Jacobs, Leander Tentrup, Martin Zimmermann:
Distributed Synthesis for Parameterized Temporal Logics. CoRR abs/1705.08112 (2017) - [i10]Swen Jacobs, Mouhammad Sakr:
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. CoRR abs/1707.01369 (2017) - 2016
- [j3]Roderick Bloem
Decidability in Parameterized Verification. SIGACT News 47(2): 53-64 (2016) - [c24]Roderick Bloem
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. CAV (1) 2016: 157-176 - [c23]Simon Außerlechner, Swen Jacobs
Tight Cutoffs for Guarded Protocols with Fairness. VMCAI 2016: 476-494 - [c22]Swen Jacobs
A High-Level LTL Synthesis Format: TLSF v1.1. SYNT@CAV 2016: 112-132 - [c21]Swen Jacobs
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. SYNT@CAV 2016: 133-148 - [c20]Swen Jacobs
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV 2016: 149-177 - [c19]Swen Jacobs
Distributed PROMPT-LTL Synthesis. GandALF 2016: 228-241 - [i9]Swen Jacobs, Felix Klein:
A High-Level LTL Synthesis Format: TLSF v1.0. CoRR abs/1601.05228 (2016) - 2015
- [b2]Roderick Bloem
Decidability of Parameterized Verification. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2015, ISBN 978-3-031-00883-2 - [c18]Roderick Bloem
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. TACAS 2015: 517-532 - [c17]Swen Jacobs
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT 2015: 27-57 - [i8]Simon Außerlechner, Swen Jacobs, Ayrat Khalimov:
Tight Cutoffs for Guarded Protocols with Fairness. CoRR abs/1505.03273 (2015) - [i7]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 abs/1506.08726 (2015) - 2014
- [j2]Swen Jacobs
Parameterized Synthesis. Log. Methods Comput. Sci. 10(1) (2014) - [c16]Benjamin Aminof, Swen Jacobs
Parameterized Model Checking of Token-Passing Systems. VMCAI 2014: 262-281 - [c15]Roderick Bloem
How to Handle Assumptions in Synthesis. SYNT 2014: 34-50 - [c14]Roderick Bloem
Parameterized Synthesis Case Study: AMBA AHB. SYNT 2014: 68-83 - [i6]Swen Jacobs:
Extended AIGER Format for Synthesis. CoRR abs/1405.5793 (2014) - [i5]Roderick Bloem, Swen Jacobs, Ayrat Khalimov:
Parameterized Synthesis Case Study: AMBA AHB. CoRR abs/1406.7608 (2014) - [i4]Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer:
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. CoRR abs/1411.4604 (2014) - 2013
- [c13]Ayrat Khalimov, Swen Jacobs
PARTY Parameterized Synthesis of Token Rings. CAV 2013: 928-933 - [c12]Swen Jacobs
Reductions for Synthesis Procedures. VMCAI 2013: 88-107 - [c11]Ayrat Khalimov, Swen Jacobs
Towards Efficient Parameterized Synthesis. VMCAI 2013: 108-127 - [i3]Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin:
Parameterized Model Checking of Token-Passing Systems. CoRR abs/1311.4425 (2013) - 2012
- [c10]Swen Jacobs
Parameterized Synthesis. TACAS 2012: 362-376 - [c9]Bernd Finkbeiner, Swen Jacobs
Lazy Synthesis. VMCAI 2012: 219-234 - 2011
- [c8]Swen Jacobs
Towards Complete Reasoning about Axiomatic Specifications. VMCAI 2011: 278-293 - 2010
- [c7]Johannes Faber, Carsten Ihlemann, Swen Jacobs
Automatic Verification of Parametric Specifications with Complex Topologies. IFM 2010: 152-167 - [i2]Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans:
Automatic Verification of Parametric Specifications with Complex Topologies. CoRR abs/1010.1602 (2010)
2000 – 2009
- 2009
- [b1]Swen Jacobs:
Hierarchic decision procedures for verification. Saarland University, 2009 - [c6]Swen Jacobs
Incremental Instance Generation in Local Reasoning. CAV 2009: 368-382 - 2008
- [c5]Carsten Ihlemann, Swen Jacobs
On Local Reasoning in Verification. TACAS 2008: 265-281 - 2007
- [j1]Swen Jacobs
Comparing Instance Generation Methods for Automated Reasoning. J. Autom. Reason. 38(1-3): 57-78 (2007) - [c4]Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA 2007: 425-440 - [c3]Johannes Faber, Swen Jacobs
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. IFM 2007: 233-252 - [i1]Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs:
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures 2007 - 2006
- [c2]Swen Jacobs
Applications of Hierarchical Reasoning in the Verification of Complex Systems. PDPAR/PaUL@FLoC 2006: 39-54 - 2005
- [c1]Swen Jacobs
Comparing Instance Generation Methods for Automated Reasoning. TABLEAUX 2005: 153-168
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: