( en | de | ru )

 

Disambiguation of "Klein, Gerwin"

Author of the publication

copydeleteadd this publication to your clipboard
Cogent: uniqueness types and certifying compilation.

, , , , , , , , and . J. Funct. Program., (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gerwin Klein

Gerwin Lingg

Gerwin Marahrens

Gerwin Fischer

Edgar Gerwin

 

Other publications of authors with the same name

A Formal Approach to Constructing Secure Air Vehicle Software., , , , , , , , , and 2 other author(s). Computer, 51 (11): 14-23 (2018)An empirical research agenda for understanding formal methods productivity., , , , and . Inf. Softw. Technol., (2015)Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems., , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 103-121. Springer, (2023)Formal Reasoning Under Cached Address Translation., and . J. Autom. Reason., 64 (5): 911-945 (2020)Formal Specifications Better Than Function Points for Code Sizing, , , , , , , and . International Conference on Software Engineering, page 1257--1260. (May 2013)Cyberassured Systems Engineering at Scale., , , , , , , , , and 2 other author(s). IEEE Secur. Priv., 20 (3): 52-64 (2022)Cogent: uniqueness types and certifying compilation., , , , , , , , and . J. Funct. Program., (2021)Refinement in the Formal Verification of the seL4 Microkernel., , and . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)Proving the Absence of Microarchitectural Timing Channels., , , , , , and . CoRR, (2023)Property-Based Testing: Climbing the Stairway to Verification., , , , , , and . SLE, page 84-97. ACM, (2022)