Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Swen Jacobs

> Home > Persons

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

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2015
[b2]
- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2015Bloem
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2015Bloem
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder:
Decidability of Parameterized Verification. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2015, ISBN 978-3-031-00883-2
2009
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Jacobs2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Jacobs2009
Swen Jacobs:
Hierarchic decision procedures for verification. Saarland University, 2009

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j9]
- view
  - electronic edition @ eatcs.org
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Jacobs022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Jacobs022
Swen Jacobs, Christoph Lenzen:
Current Challenges in Reliable and Secure Clock Synchronization. Bull. EATCS 138 (2022)
2021
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/JaberWJKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/JaberWJKS21
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): 1-31 (2021)
2020
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/JacobsS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/JacobsS20
Swen Jacobs, Mouhammad Sakr:
A symbolic algorithm for lazy synthesis of eager strategies. Acta Informatica 57(1-2): 81-106 (2020)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/MirzaieFJB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/MirzaieFJB20
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour:
Parameterized synthesis of self-stabilizing protocols in symmetric networks. Acta Informatica 57(1-2): 271-304 (2020)
2018
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/JacobsTZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/JacobsTZ18
Swen Jacobs, Leander Tentrup, Martin Zimmermann:
Distributed synthesis for parameterized temporal logics. Inf. Comput. 262: 311-328 (2018)
2017
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JacobsBBEHKPRRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JacobsBBEHKPRRS17
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): 367-390 (2017)
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/BloemJKKRVW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/BloemJKKRVW16
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder:
Decidability in Parameterized Verification. SIGACT News 47(2): 53-64 (2016)
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JacobsB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsB14
Swen Jacobs, Roderick Bloem:
Parameterized Synthesis. Log. Methods Comput. Sci. 10(1) (2014)
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/JacobsW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/JacobsW07
Swen Jacobs, Uwe Waldmann:
Comparing Instance Generation Methods for Automated Reasoning. J. Autom. Reason. 38(1-3): 57-78 (2007)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/FismanIJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FismanIJ24
Dana Fisman, Noa Izsak, Swen Jacobs:
Learning Broadcast Protocols. AAAI 2024: 12016-12023
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AndreEJK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AndreEJK24
Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. VMCAI (1) 2024: 124-146
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BardJV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BardJV24
Joachim Bard, Swen Jacobs, Yakir Vizel:
Automatic and Incremental Repair for Speculative Information Leaks. VMCAI (2) 2024: 291-313
2023
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JaberWJKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JaberWJKS23
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
2022
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/JacobsSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/JacobsSV22
Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Automatic Repair and Deadlock Detection for Parameterized Systems. FMCAD 2022: 225-234
2021
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JacobsS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JacobsS20
Swen Jacobs, Mouhammad Sakr:
AIGEN: Random Generation of Symbolic Transition Systems. CAV (2) 2021: 435-446
2020
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/NematiBLGJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NematiBLGJ20
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs:
Validation of Abstract Side-Channel Models for Computer Architectures. CAV (1) 2020: 225-248
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JaberJW0S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JaberJW0S20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JacobsSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JacobsSZ20
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann:
Promptness and Bounded Fairness in Concurrent and Parameterized Systems. VMCAI 2020: 337-359
2019
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BloemJV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BloemJV19
Roderick Bloem, Swen Jacobs, Yakir Vizel:
Efficient Information-Flow Verification Under Speculative Execution. ATVA 2019: 499-514
2018
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JacobsS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JacobsS18
Swen Jacobs, Mouhammad Sakr:
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. ATVA 2018: 211-227
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/opodis/MirzaieFJB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/opodis/MirzaieFJB18
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour:
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. OPODIS 2018: 29:1-29:17
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsi/FeyGJMRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/FeyGJMRR18
Görschwin Fey, Tara Ghasempouri, Swen Jacobs, Gianluca Martino, Jaan Raik, Heinz Riener:
Design Understanding: From Logic to Specification^*. VLSI-SoC 2018: 172-175
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JacobsS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JacobsS18
Swen Jacobs, Mouhammad Sakr:
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. VMCAI 2018: 247-268
2017
[c25]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-11439
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-11439
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: 116-143
2016
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BloemBJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BloemBJ16
Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs:
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. CAV (1) 2016: 157-176
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AusserlechnerJK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AusserlechnerJK16
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov:
Tight Cutoffs for Guarded Protocols with Fairness. VMCAI 2016: 476-494
[c22]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Jacobs016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Jacobs016
Swen Jacobs, Felix Klein, Sebastian Schirmer:
A High-Level LTL Synthesis Format: TLSF v1.1. SYNT@CAV 2016: 112-132
[c21]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JacobsB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsB16
Swen Jacobs, Roderick Bloem:
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. SYNT@CAV 2016: 133-148
[c20]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JacobsBBK0KKLNP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsBBK0KKLNP16
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: 149-177
[c19]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JacobsTZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsTZ15
Swen Jacobs, Leander Tentrup, Martin Zimmermann:
Distributed PROMPT-LTL Synthesis. GandALF 2016: 228-241
2015
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BloemCJK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BloemCJK15
Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer:
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. TACAS 2015: 517-532
[c17]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JacobsBBKPRRSST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsBBKPRRSST16
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: 27-57
2014
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AminofJKR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AminofJKR14
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin:
Parameterized Model Checking of Token-Passing Systems. VMCAI 2014: 262-281
[c15]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BloemEJK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BloemEJK14
Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer:
How to Handle Assumptions in Synthesis. SYNT 2014: 34-50
[c14]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BloemJK14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BloemJK14a
Roderick Bloem, Swen Jacobs, Ayrat Khalimov:
Parameterized Synthesis Case Study: AMBA AHB. SYNT 2014: 68-83
2013
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KhalimovJB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KhalimovJB13
Ayrat Khalimov, Swen Jacobs, Roderick Bloem:
PARTY Parameterized Synthesis of Token Rings. CAV 2013: 928-933
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JacobsKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JacobsKS13
Swen Jacobs, Viktor Kuncak, Philippe Suter:
Reductions for Synthesis Procedures. VMCAI 2013: 88-107
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/KhalimovJB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/KhalimovJB13
Ayrat Khalimov, Swen Jacobs, Roderick Bloem:
Towards Efficient Parameterized Synthesis. VMCAI 2013: 108-127
2012
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JacobsB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JacobsB12
Swen Jacobs, Roderick Bloem:
Parameterized Synthesis. TACAS 2012: 362-376
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/FinkbeinerJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/FinkbeinerJ12
Bernd Finkbeiner, Swen Jacobs:
Lazy Synthesis. VMCAI 2012: 219-234
2011
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JacobsK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JacobsK11
Swen Jacobs, Viktor Kuncak:
Towards Complete Reasoning about Axiomatic Specifications. VMCAI 2011: 278-293
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FaberIJS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FaberIJS10
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans:
Automatic Verification of Parametric Specifications with Complex Topologies. IFM 2010: 152-167
2009
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Jacobs09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Jacobs09
Swen Jacobs:
Incremental Instance Generation in Local Reasoning. CAV 2009: 368-382
2008
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/IhlemannJS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/IhlemannJS08
Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans:
On Local Reasoning in Verification. TACAS 2008: 265-281
2007
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DammDHJPPSWW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DammDHJPPSWW07
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: 425-440
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FaberJS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FaberJS07
Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans:
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. IFM 2007: 233-252
2006
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JacobsS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JacobsS07
Swen Jacobs, Viorica Sofronie-Stokkermans:
Applications of Hierarchical Reasoning in the Verification of Complex Systems. PDPAR/PaUL@FLoC 2006: 39-54
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/JacobsW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/JacobsW05
Swen Jacobs, Uwe Waldmann:
Comparing Instance Generation Methods for Automated Reasoning. TABLEAUX 2005: 153-168

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2017
[e1]
- view
- export record
  dblp key:
  - journals/corr/abs-1711-10224
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10224
Dana Fisman, Swen Jacobs:
Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. EPTCS 260, 2017 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-03839
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-03839
Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier:
The Temporal Logic Synthesis Format TLSF v1.2. CoRR abs/2303.03839 (2023)
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-07295
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-07295
Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. CoRR abs/2305.07295 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-10092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-10092
Joachim Bard, Swen Jacobs, Yakir Vizel:
Automatic and Incremental Repair for Speculative Information Leaks. CoRR abs/2305.10092 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-14284
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-14284
Dana Fisman, Noa Izsak, Swen Jacobs:
Learning Broadcast Protocols. CoRR abs/2306.14284 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/JacobsMSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/JacobsMSS23
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
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-00251
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-00251
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-12400
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-12400
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
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-03322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-03322
Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Parameterized Repair of Concurrent Systems. CoRR abs/2111.03322 (2021)
2020
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-04613
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-04613
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta:
Parameterized Reasoning for Distributed Systems with Consensus. CoRR abs/2004.04613 (2020)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-04896
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-04896
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05254
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05254
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs:
Validation of Abstract Side-Channel Models for Computer Architectures. CoRR abs/2005.05254 (2020)
2019
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07736
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07736
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 abs/1904.07736 (2019)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-03122
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-03122
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann:
Promptness and Bounded Fairness in Concurrent and Parameterized Systems. CoRR abs/1911.03122 (2019)
2017
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JacobsT017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsT017
Swen Jacobs, Leander Tentrup, Martin Zimmermann:
Distributed Synthesis for Parameterized Temporal Logics. CoRR abs/1705.08112 (2017)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JacobsS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsS17
Swen Jacobs, Mouhammad Sakr:
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. CoRR abs/1707.01369 (2017)
2016
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JacobsK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsK16
Swen Jacobs, Felix Klein:
A High-Level LTL Synthesis Format: TLSF v1.0. CoRR abs/1601.05228 (2016)
2015
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AusserlechnerJK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AusserlechnerJK15
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov:
Tight Cutoffs for Guarded Protocols with Fairness. CoRR abs/1505.03273 (2015)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JacobsBBEHKPRRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsBBEHKPRRS15
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
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Jacobs14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Jacobs14
Swen Jacobs:
Extended AIGER Format for Synthesis. CoRR abs/1405.5793 (2014)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BloemJK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BloemJK14
Roderick Bloem, Swen Jacobs, Ayrat Khalimov:
Parameterized Synthesis Case Study: AMBA AHB. CoRR abs/1406.7608 (2014)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BloemCJK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BloemCJK14
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
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AminofJKR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AminofJKR13
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin:
Parameterized Model Checking of Token-Passing Systems. CoRR abs/1311.4425 (2013)
2010
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1010-1602
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-1602
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans:
Automatic Verification of Parametric Specifications with Complex Topologies. CoRR abs/1010.1602 (2010)
2007
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/Sofronie-StokkermansIJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Sofronie-StokkermansIJ07
Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs:
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures 2007

Coauthor Index

see FAQ

a service of

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.