E-LIB Suche - Ergebnisse für: Matheja, Christoph

1

A Calculus for Amortized Expected Runtimes:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter..
https://discovery.ucl.ac.uk/id/eprint/10163423/1/3571260.pdf. , 2023

Link: https://discovery.ucl.ac..

2

A Deductive Verification Infrastructure for Probabilistic P..:

Schroer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2023-10748. , 2023

Link: https://publications.rwt..

3

A Deductive Verification Infrastructure for Probabilistic P..:

Schröer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
https://discovery.ucl.ac.uk/id/eprint/10179714/1/3622870.pdf. , 2023

Link: https://discovery.ucl.ac..

4

A Deductive Verification Infrastructure for Probabilistic P..:

Schroer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
info:eu-repo/semantics/altIdentifier/wos/WOS:001087279100074. , 2023

Link: https://publications.rwt..

5

Probabilistic Program Verification via Inductive Synthesis ..:

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian...
https://orbit.dtu.dk/en/publications/12fadc93-f6b6-4a4f-81d6-4c7b44a30618. , 2023

Link: https://orbit.dtu.dk/en/..

6

A Deductive Verification Infrastructure for Probabilistic P..:

Schröer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
http://arxiv.org/abs/2309.07781. , 2023

Link: http://arxiv.org/abs/230..

7

Probabilistic Program Verification via Inductive Synthesis ..:

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian...
info:eu-repo/semantics/altIdentifier/isbn/978-3-031-30821-5. , 2023

Link: https://publications.rwt..

8

A Deductive Verification Infrastructure for Probabilistic P..:

Schröer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
https://orbit.dtu.dk/en/publications/5cf95ba4-cd8c-4e18-9cd7-103ddfb2410e. , 2023

Link: https://orbit.dtu.dk/en/..

9

A Decision Procedure for Guarded Separation Logic: Complete..:

Matheja, Christoph ; Pagel, Jens ; Zuleger, Florian
https://orbit.dtu.dk/en/publications/0189cd99-f648-418f-81b0-25341138ade4. , 2023

Link: https://orbit.dtu.dk/en/..

10

A Calculus for Amortized Expected Runtimes:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter..
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2023-01175. , 2023

Link: https://publications.rwt..

11

Foundations for Entailment Checking in Quantitative Separat..:

Batz, Kevin ; Fesefeldt, Ira Justus ; Jansen, Marvin...
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2022-03408. , 2022

Link: https://publications.rwt..

12

Probabilistic Program Verification via Inductive Synthesis ..:

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian...
http://arxiv.org/abs/2205.06152. , 2022

Link: http://arxiv.org/abs/220..

13

Foundations for Entailment Checking in Quantitative Separat..:

Batz, Kevin ; Fesefeldt, Ira ; Jansen, Marvin...
http://arxiv.org/abs/2201.11464. , 2022

Link: http://arxiv.org/abs/220..

14

A Calculus for Amortized Expected Runtimes:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter..
http://arxiv.org/abs/2211.12923. , 2022

Link: http://arxiv.org/abs/221..

15

The Prusti Project:Formal Verification for Rust:

Astrauskas, Vytautas ; Bílý, Aurel ; Fiala, Jonáš...
https://orbit.dtu.dk/en/publications/5dd8818e-c952-4c09-93b2-ea030240954a. , 2022

Link: https://orbit.dtu.dk/en/..