Concepedia

Thorsten Bormer

TB

2

Publications

74

Citations

2

H-Index

2011

Active since

Affiliations

Karlsruhe Institute of Technology(Current)

Saarland University

Thorsten Bormer is an author at Karlsruhe Institute of Technology specializing in system software, formal verification, and engineering.

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