Concepedia

Klaus von Gleissenthall

KV

7

Publications

177

Citations

7

H-Index

2016

Active since

Affiliations

University of California San Diego(Current)

Vrije Universiteit Amsterdam

Klaus von Gleissenthall is an author at University of California San Diego specializing in formal verification, computer science, and verification.

Top concepts

EngineeringVerificationComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisCryptographyFormal MethodsData SecurityHardware Security

Publications per year

2016–2023

7

Publications

7

Pretend synchrony: synchronous verification of asynchronous distributed programs

Klaus von Gleissenthall, Rami Gökhan Kıcı, Alexander Bakst et al. · Proceedings of the ACM on Programming Languages · 2019 · 58 citations · Full text

Synchronous Verification, Engineering, Verification +18

Verifying distributed programs via canonical sequentialization

Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kıcı et al. · Proceedings of the ACM on Programming Languages · 2017 · 31 citations · Full text

Program Checking, Engineering, Verification +20

Cardinalities and universal quantifiers for verifying parameterized systems

Klaus von Gleissenthall, Nikolaj Bjørner, Andrey Rybalchenko · 2016 · 20 citations

Engineering, Verification, Computer-aided Verification +18

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall et al. · 2023 · 19 citations · Full text

Engineering, Information Security, Verification +23

Randomized Testing of Byzantine Fault Tolerant Algorithms

Levin N. Winter, Florena Buse, Daan de Graaf et al. · Proceedings of the ACM on Programming Languages · 2023 · 18 citations · Full text

Rows per page

1–5 of 7