Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Seidl, Helmut
289  Ergebnisse:
Personensuche X
?
1

Checking in polynomial time whether or not a regular tree l..:

Maneth, Sebastian ; Seidl, Helmut
Information Processing Letters.  184 (2024)  - p. 106449 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Prenex universal first-order safety properties:

Dundua, Besik ; Kapanadze, Ioane ; Seidl, Helmut
Information Processing Letters.  186 (2024)  - p. 106488 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Goblint Validator: Correctness Witness Validation by Abstra..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Saan, Simmo ; Erhard, Julian ; Schwarz, Michael... - p. 335-340 , 2024
Link: https://doi.org/10.1007/..
 
?
4

2-Pointer Logic:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
Seidl, Helmut ; Erhard, Julian ; Schwarz, Michael. - p. 281-307 , 2024
Link: https://doi.org/10.1007/..
 
?
5

Goblint: Abstract Interpretation for Memory Safety and Term..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Saan, Simmo ; Erhard, Julian ; Schwarz, Michael... - p. 381-386 , 2024
Link: https://doi.org/10.1007/..
 
?
6

Functionality of compositions of top-down tree transducers ..:

Maneth, Sebastian ; Seidl, Helmut ; Vu, Martin
Information and Computation.  296 (2024)  - p. 105131 , 2024
Link: https://doi.org/10.1016/..
 
?
7

Efficient Analysis of Population Protocols and Chemical Rea..:

Helfrich, Martin , 2023
Link: http://nbn-resolving.de/..
 
?
8

Deciding origin equivalence of weakly self-nesting macro tr..:

Maneth, Sebastian ; Seidl, Helmut
Information Processing Letters.  180 (2023)  - p. 106332 , 2023
Link: https://doi.org/10.1016/..
 
?
9

Octagons Revisited: Elegant Proofs and Simplified Algorithm:

, In: Static Analysis; Lecture Notes in Computer Science,
Schwarz, Michael ; Seidl, Helmut - p. 485-507 , 2023
Link: https://doi.org/10.1007/..
 
?
10

Clustered Relational Thread-Modular Abstract Interpretation..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Schwarz, Michael ; Saan, Simmo ; Seidl, Helmut.. - p. 28-58 , 2023
Link: https://doi.org/10.1007/..
 
?
11

The Top-Down Solver—An Exercise in $$\text {A}^{2}$$I:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,
Tilscher, Sarah ; Stade, Yannick ; Schwarz, Michael.. - p. 157-179 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Correction to: Octagons Revisited: Elegant Proofs and Simpl..:

, In: Static Analysis; Lecture Notes in Computer Science,
Schwarz, Michael ; Seidl, Helmut - p. C1-C1 , 2023
Link: https://doi.org/10.1007/..
 
?
13

Goblint: Autotuning Thread-Modular Abstract Interpretation:..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Saan, Simmo ; Schwarz, Michael ; Erhard, Julian... - p. 547-552 , 2023
Link: https://doi.org/10.1007/..
 
?
14

Correctness Witness Validation by Abstract Interpretation:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Saan, Simmo ; Schwarz, Michael ; Erhard, Julian... - p. 74-97 , 2023
Link: https://doi.org/10.1007/..
 
?
15

When Long Jumps Fall Short: Control-Flow Tracking and Misus..:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,
Schwarz, Michael ; Erhard, Julian ; Vojdani, Vesal.. - p. 20-26 , 2023
Link: https://dl.acm.org/doi/1..
 
1-15