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

1

A Deductive Verification Infrastructure for Probabilistic P..:

Schröer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2052-2082 , 2023

Link: https://doi.org/10.1145/..

2

A Decision Procedure for Guarded Separation Logic Complete ..:

Matheja, Christoph ; Pagel, Jens ; Zuleger, Florian
ACM Transactions on Computational Logic. 24 (2023) 1 - p. 1-76 , 2023

Link: https://doi.org/10.1145/..

3

Probabilistic Program Verification via Inductive Synthesis ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian... - p. 410-429 , 2023

Link: https://doi.org/10.1007/..

4

A Calculus for Amortized Expected Runtimes:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1957-1986 , 2023

Link: https://doi.org/10.1145/..

5

The Prusti Project: Formal Verification for Rust:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Astrauskas, Vytautas ; Bílý, Aurel ; Fiala, Jonáš... - p. 88-108 , 2022

Link: https://doi.org/10.1007/..

6

Foundations for Entailment Checking in Quantitative Separat..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Batz, Kevin ; Fesefeldt, Ira ; Jansen, Marvin... - p. 57-84 , 2022

Link: https://doi.org/10.1007/..

7

A pre-expectation calculus for probabilistic sensitivity:

Aguirre, Alejandro ; Barthe, Gilles ; Hsu, Justin...
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

Link: https://dl.acm.org/doi/1..

8

Automated Checking and Completion of Backward Confluence fo..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Fesefeldt, Ira ; Matheja, Christoph ; Noll, Thomas. - p. 283-293 , 2021

Link: https://doi.org/10.1007/..

9

Modular specification and verification of closures in Rust:

Wolff, Fabian ; Bílý, Aurel ; Matheja, Christoph..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-29 , 2021

Link: https://doi.org/10.1145/..

10

A pre-expectation calculus for probabilistic sensitivity:

Aguirre, Alejandro ; Barthe, Gilles ; Hsu, Justin...
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

Link: https://doi.org/10.1145/..

11

Latticed k-Induction with an Application to Probabilistic P..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Batz, Kevin ; Chen, Mingshuai ; Kaminski, Benjamin Lucien... - p. 524-549 , 2021

Link: https://doi.org/10.1007/..

12

Modular specification and verification of closures in Rust:

Wolff, Fabian ; Bílý, Aurel ; Matheja, Christoph..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-29 , 2021

Link: https://dl.acm.org/doi/1..

13

Relatively complete verification of probabilistic programs:..:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-30 , 2021

Link: https://dl.acm.org/doi/1..

14

Relatively complete verification of probabilistic programs:..:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-30 , 2021

Link: https://doi.org/10.1145/..

15

How do programmers use unsafe rust?:

Astrauskas, Vytautas ; Matheja, Christoph ; Poli, Federico..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-27 , 2020

Link: https://doi.org/10.1145/..