Search dblp for Publications

export results for "toc:db/conf/fase/fase2024.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fase/AlBataineh24,
  author       = {Omar I. Al{-}Bataineh},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Invariant-based Program Repair},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {255--265},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_12},
  doi          = {10.1007/978-3-031-57259-3\_12},
  timestamp    = {Sun, 14 Apr 2024 18:32:17 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/AlBataineh24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/BarthDHJ24,
  author       = {Max Barth and
                  Daniel Dietsch and
                  Matthias Heizmann and
                  Marie{-}Christine Jakobs},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Ultimate TestGen: Test-Case Generation with Automata-based Software
                  Model Checking (Competition Contribution)},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {326--330},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_20},
  doi          = {10.1007/978-3-031-57259-3\_20},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BarthDHJ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/BernierZKL24,
  author       = {T{\'{e}}o Bernier and
                  Yani Ziani and
                  Nikolai Kosmatov and
                  Fr{\'{e}}d{\'{e}}ric Loulergue},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Combining Deductive Verification with Shape Analysis},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {280--289},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_14},
  doi          = {10.1007/978-3-031-57259-3\_14},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BernierZKL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/Blazy24,
  author       = {Sandrine Blazy},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {From Mechanized Semantics to Verified Compilation: the Clight Semantics
                  of CompCert},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_1},
  doi          = {10.1007/978-3-031-57259-3\_1},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/Blazy24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/BoockmannL24,
  author       = {Jan H. Boockmann and
                  Gerald L{\"{u}}ttgen},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Comprehending Object State via Dynamic Class Invariant Learning},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {143--164},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_7},
  doi          = {10.1007/978-3-031-57259-3\_7},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BoockmannL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/BrancasTVMM24,
  author       = {Ricardo Brancas and
                  Miguel Terra{-}Neves and
                  Miguel Ventura and
                  Vasco M. Manquinho and
                  Ruben Martins},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Towards Reliable {SQL} Synthesis: Fuzzing-Based Evaluation and Disambiguation},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {232--254},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_11},
  doi          = {10.1007/978-3-031-57259-3\_11},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BrancasTVMM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/CaprettoCS24,
  author       = {Margarita Capretto and
                  Mart{\'{\i}}n Ceresa and
                  C{\'{e}}sar S{\'{a}}nchez},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Monitoring the Future of Smart Contracts},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {122--142},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_6},
  doi          = {10.1007/978-3-031-57259-3\_6},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/CaprettoCS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/ChenPWFLM24,
  author       = {Liushan Chen and
                  Yu Pei and
                  Mingyang Wan and
                  Zhihui Fei and
                  Tao Liang and
                  Guojun Ma},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Smart Issue Detection for Large-Scale Online Service Systems Using
                  Multi-Channel Data},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {165--187},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_8},
  doi          = {10.1007/978-3-031-57259-3\_8},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/ChenPWFLM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/DangLS24,
  author       = {Thi Kim Nhung Dang and
                  Milan Lopuha{\"{a}}{-}Zwakenberg and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Fuzzy quantitative attack tree analysis},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {210--231},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_10},
  doi          = {10.1007/978-3-031-57259-3\_10},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/DangLS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/DuttaMJGY24,
  author       = {Arpita Dutta and
                  Rasool Maghareh and
                  Joxan Jaffar and
                  Sangharatna Godboley and
                  Xiao Liang Yu},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest
                  Precondition Interpolation (Competition Contribution)},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {320--325},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_19},
  doi          = {10.1007/978-3-031-57259-3\_19},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/DuttaMJGY24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/FalconeSZ24,
  author       = {Yli{\`{e}}s Falcone and
                  Gwen Sala{\"{u}}n and
                  Ahang Zuo},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Probabilistic Runtime Enforcement of Executable {BPMN} Processes},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {56--76},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_3},
  doi          = {10.1007/978-3-031-57259-3\_3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/FalconeSZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/JanssenRW24,
  author       = {Christian Jan{\ss}en and
                  Cedric Richter and
                  Heike Wehrheim},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Can ChatGPT support software verification?},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {266--279},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_13},
  doi          = {10.1007/978-3-031-57259-3\_13},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/JanssenRW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/JonasSTU24,
  author       = {Martin Jon{\'{a}}s and
                  Jan Strejcek and
                  Marek Trt{\'{\i}}k and
                  Luk{\'{a}}s Urban},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Fizzer: New Gray-Box Fuzzer - (Competition Contribution)},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {309--313},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_17},
  doi          = {10.1007/978-3-031-57259-3\_17},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/JonasSTU24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/LiCGZWS24,
  author       = {Ximeng Li and
                  Shanyan Chen and
                  Yong Guan and
                  Qianying Zhang and
                  Guohui Wang and
                  Zhiping Shi},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Refinement Verification of {OS} Services based on a Verified Preemptive
                  Microkernel},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {188--209},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_9},
  doi          = {10.1007/978-3-031-57259-3\_9},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/LiCGZWS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/MisonizhnikMKKBMI24,
  author       = {Aleksandr Misonizhnik and
                  Sergey Morozov and
                  Yurii Kostyukov and
                  Vladislav Kalugin and
                  Aleksei Babushkin and
                  Dmitry Mordvinov and
                  Dmitry Ivanov},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {{KLEEF:} Symbolic Execution Engine (Competition Contribution)},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {314--319},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_18},
  doi          = {10.1007/978-3-031-57259-3\_18},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/MisonizhnikMKKBMI24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/OorschotHS24,
  author       = {Dr{\'{e}} van Oorschot and
                  Marieke Huisman and
                  {\"{O}}mer Sakar},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {First Steps towards Deductive Verification of {LLVM} {IR}},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {290--303},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_15},
  doi          = {10.1007/978-3-031-57259-3\_15},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/OorschotHS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/SakizloglouGL24,
  author       = {Lucas Sakizloglou and
                  Holger Giese and
                  Leen Lambers},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Foundations for Query-based Runtime Monitoring of Temporal Properties
                  over Runtime Models},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {22--55},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_2},
  doi          = {10.1007/978-3-031-57259-3\_2},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/SakizloglouGL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/XuSG24,
  author       = {He Xu and
                  Sven Schneider and
                  Holger Giese},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Combining Look-ahead Design-time and Run-time Control-synthesis for
                  Graph Transformation Systems},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {77--100},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_4},
  doi          = {10.1007/978-3-031-57259-3\_4},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/XuSG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/YuCBM24,
  author       = {Geunyeol Yu and
                  Seunghyun Chae and
                  Kyungmin Bae and
                  Sungkun Moon},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Formal Specification of Trusted Execution Environment APIs},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {101--121},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_5},
  doi          = {10.1007/978-3-031-57259-3\_5},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/YuCBM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/ZhangSMLCW24,
  author       = {Guofeng Zhang and
                  Ziqi Shuai and
                  Kelin Ma and
                  Kunlin Liu and
                  Zhenbang Chen and
                  Ji Wang},
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {{FDSE:} Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition
                  Contribution)},
  booktitle    = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  pages        = {304--308},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3\_16},
  doi          = {10.1007/978-3-031-57259-3\_16},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/ZhangSMLCW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fase/2024,
  editor       = {Dirk Beyer and
                  Ana Cavalcanti},
  title        = {Fundamental Approaches to Software Engineering - 27th International
                  Conference, {FASE} 2024, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14573},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57259-3},
  doi          = {10.1007/978-3-031-57259-3},
  isbn         = {978-3-031-57258-6},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.