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

Completeness Thresholds for Memory Safety of Array Traversi..:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,
Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart - p. 47-54 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Formally verified superblock scheduling:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain... - p. 40-54 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Expressive modular verification of termination for busy-wai..:

Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2312.15379.  , 2023
Link: http://arxiv.org/abs/231..
 
?
4

Completeness Thresholds for Memory Safety: Unbounded Guaran..:

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2309.09731.  , 2023
Link: http://arxiv.org/abs/230..
 
?
5

Completeness Thresholds for Memory Safety of Array Traversi..:

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2305.03606.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679.  , 2022
Link: https://hal.science/hal-..
 
?
7

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679.  , 2022
Link: https://hal.archives-ouv..
 
?
8

Modular termination verification with a higher-order concur..:

Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2212.14126.  , 2022
Link: http://arxiv.org/abs/221..
 
?
9

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679.  , 2022
Link: https://hal.science/hal-..
 
?
10

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679.  , 2022
Link: https://hal.science/hal-..
 
?
11

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679.  , 2022
Link: https://hal.archives-ouv..
 
?
12

Artifact for the intermediate report "Modular termination v..:

Justus Fasse ; Bart Jacobs
doi:10.5281/zenodo.7488894.  , 2023
Link: https://zenodo.org/recor..
 
?
13

Artifact for the intermediate report "Modular termination v..:

Justus Fasse ; Bart Jacobs
doi:10.5281/zenodo.7488894.  , 2022
Link: https://zenodo.org/recor..
 
1-13