Concepedia

Holger Blasum

HB

2

Publications

74

Citations

2

H-Index

2011

Active since

Affiliations

Saarland University(Current)

Karlsruhe Institute of Technology

Holger Blasum is an author at Saarland University specializing in system software, computer science, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2011–2012

2

Publications

2

Lessons Learned From Microkernel Verification — Specification is the New Bottleneck

Christoph Baumann, Bernhard Beckert, Holger Blasum et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 41 citations · Full text

Software Maintenance, Engineering, Verisoft Xt Project +24

Proving Memory Separation in a Microkernel by Code Level Verification

Christoph Baumann, Thorsten Bormer, Holger Blasum et al. · 2011 · 33 citations

Engineering, Hardware Verification Language, Pikeos Separation Kernel +23

Rows per page

1–2 of 2