E-LIB Suche - Ergebnisse für: Schwerhoff, Malte

1

A Generic Methodology for the Modular Verification of Secur..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Arquint, Linard ; Schwerhoff, Malte ; Mehta, Vaibhav. - p. 1377-1391 , 2023

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

2

Concise outlines for a complex logic: a proof outline check..:

Wolf, Felix A. ; Schwerhoff, Malte ; Müller, Peter
Formal Methods in System Design. 61 (2022) 1 - p. 110-136 , 2022

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

3

Concise Outlines for a Complex Logic: A Proof Outline Check..:

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

Wolf, Felix A. ; Schwerhoff, Malte ; Müller, Peter - p. 407-426 , 2021

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

4

Constraint Semantics for Abstract Read Permissions:

, In: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,

Boyland, John Tang ; Müller, Peter ; Schwerhoff, Malte. - p. 1-6 , 2014

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

5

A Generic Methodology for the Modular Verification of Secur..:

Arquint, Linard ; id_orcid:0 000-0002-6230-8014 ; Schwerhoff, Malte...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3576915.3623105. , 2023

Link: https://hdl.handle.net/2..

6

Concise outlines for a complex logic: a proof outline check..:

Wolf, Felix ; id_orcid:0 000-0002-8573-2387 ; Schwerhoff, Malte..
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10703-023-00427-w. , 2023

Link: https://hdl.handle.net/2..

7

A Generic Methodology for the Modular Verification of Secur..:

Arquint, Linard ; Schwerhoff, Malte ; Mehta, Vaibhav.
doi:10.5281/zenodo.8330913. , 2023

Link: https://zenodo.org/recor..

8

A Generic Methodology for the Modular Verification of Secur..:

Arquint, Linard ; id_orcid:0 000-0002-6230-8014 ; Schwerhoff, Malte...
info:eu-repo/semantics/altIdentifier/doi/10.48550/ARXIV.2212.02626. , 2023

Link: https://hdl.handle.net/2..

9

A Generic Methodology for the Modular Verification of Secur..:

Arquint, Linard ; Schwerhoff, Malte ; Mehta, Vaibhav.
http://arxiv.org/abs/2212.02626. , 2022

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

10

A Generic Methodology for the Modular Verification of Secur..:

Arquint, Linard ; id_orcid:0 000-0002-6230-8014 ; Schwerhoff, Malte..
info:eu-repo/semantics/altIdentifier/arxiv/2212.02626. , 2022

Link: https://hdl.handle.net/2..

11

Concise Outlines for a Complex Logic: A Proof Outline Check..:

Wolf, Felix A ; Schwerhoff, Malte ; Müller, Peter
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-90870-6_22. , 2021

Link: https://hdl.handle.net/2..

12

Concise Outlines for a Complex Logic: A Proof Outline Check..:

Müller, Peter ; Wolf, Felix A ; Schwerhoff, Malte
info:eu-repo/semantics/altIdentifier/doi/10.48550/arXiv.2010.07080. , 2020

Link: https://hdl.handle.net/2..

13

Concise Outlines for a Complex Logic: A Proof Outline Check..:

Wolf, Felix A ; Schwerhoff, Malte ; Müller, Peter
http://arxiv.org/abs/2010.07080. , 2020

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

14

Automatic Verification of Iterated Separating Conjunctions ..:

Müller, Peter ; Schwerhoff, Malte ; Summers, Alexander J
http://arxiv.org/abs/1603.00649. , 2016

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

15

Lightweight Support for Magic Wands in an Automatic Verifie:

Schwerhoff, Malte ; Summers, Alexander J
Is Part Of LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015). , 2015

Link: https://doi.org/10.4230/..