Helmut Seidl
Technische Universität München
H-index: 41
Europe-Germany
Top articles of Helmut Seidl
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Prenex Universal First-order Safety Properties | Information Processing Letters | Besik Dundua Ioane Kapanadze Helmut Seidl | 2024/2/28 |
Checking in polynomial time whether or not a regular tree language is deterministic top-down | Information Processing Letters | Sebastian Maneth Helmut Seidl | 2024/2/1 |
Non-Numerical Weakly Relational Domains | arXiv preprint arXiv:2401.05165 | Helmut Seidl Julian Erhard Sarah Tilscher Michael Schwarz | 2024/1/10 |
Goblint Validator: Correctness Witness Validation by Abstract Interpretation: (Competition Contribution) | Simmo Saan Julian Erhard Michael Schwarz Stanimir Bozhilov Karoliine Holter | 2024/4/5 | |
Functionality of compositions of top-down tree transducers is decidable | Information and Computation | Sebastian Maneth Helmut Seidl Martin Vu | 2024/1/1 |
Goblint: Abstract Interpretation for Memory Safety and Termination: (Competition Contribution) | Simmo Saan Julian Erhard Michael Schwarz Stanimir Bozhilov Karoliine Holter | 2024/4/5 | |
2-pointer logic | Helmut Seidl Julian Erhard Michael Schwarz Sarah Tilscher | 2024/3/20 | |
Definability results for top-down tree transducers | International Journal of Foundations of Computer Science | Sebastian Maneth Helmut Seidl Martin Vu | 2023/2/16 |
Octagons Revisited: Elegant Proofs and Simplified Algorithms | Michael Schwarz Helmut Seidl | 2023/10/22 | |
Deciding origin equivalence of weakly self-nesting macro tree transducers | Information Processing Letters | Sebastian Maneth Helmut Seidl | 2023/2/1 |
The Top-Down Solver—An Exercise in I | Sarah Tilscher Yannick Stade Michael Schwarz Ralf Vogler Helmut Seidl | 2023/7/22 | |
When long jumps fall short: Control-flow tracking and misuse detection for non-local jumps in C | Michael Schwarz Julian Erhard Vesal Vojdani Simmo Saan Helmut Seidl | 2023/6/6 | |
Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution) | Simmo Saan Michael Schwarz Julian Erhard Manuel Pietsch Helmut Seidl | 2023/4/20 | |
Correctness witness validation by abstract interpretation | Simmo Saan Michael Schwarz Julian Erhard Helmut Seidl Sarah Tilscher | 2023/12/30 | |
Clustered relational thread-modular abstract interpretation with local traces | Michael Schwarz Simmo Saan Helmut Seidl Julian Erhard Vesal Vojdani | 2023/4/17 | |
Correction to: Octagons Revisited: Elegant Proofs and Simplified Algorithms | Michael Schwarz Helmut Seidl | 2023/10/22 | |
Stratified guarded first-order transition systems | Formal Methods in System Design | Christian Müller Helmut Seidl | 2022/11/22 |
How to decide functionality of compositions of top-down tree transducers | Sebastian Maneth Helmut Seidl Martin Vu | 2022/10/18 | |
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap | arXiv preprint arXiv:2209.10445 | Julian Erhard Simmo Saan Sarah Tilscher Michael Schwarz Karoliine Holter | 2022/9/21 |
On the balancedness of tree-to-word transducers | International Journal of Foundations of Computer Science | Raphaela Löbel Michael Luttenberger Helmut Seidl | 2021/9/14 |