Formal Verification of a Microkernel Used in Dependable Software Systems. - Christoph Baumann; Bernhard Beckert; Holger Blasum; Thorsten Bormer (SAFECOMP, 2009)

Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. - Bernhard Beckert; Thorsten Bormer; Vladimir Klebanov (FMCO, 2010)

Integration of Bounded Model Checking and Deductive Verification. - Bernhard Beckert; Thorsten Bormer; Florian Merz 001; Carsten Sinz (FoVeOOS, 2011)

The COST IC0701 Verification Competition 2011. - Thorsten Bormer; Marc Brockschmidt; Dino Distefano; Gidon Ernst; Jean-Christophe Filliâtre; Radu Grigore; Marieke Huisman; Vladimir Klebanov; Claude Marché; Rosemary Monahan; Wojciech Mostowski; Nadia Polikarpova; et al. (FoVeOOS, 2011)

Proving Memory Separation in a Microkernel by Code Level Verification. - Christoph Baumann; Thorsten Bormer; Holger Blasum; Sergey Tverdyshev (ISORC Workshops, 2011)

Lessons Learned From Microkernel Verification – Specification is the New Bottleneck - Christoph Baumann; Bernhard Beckert; Holger Blasum; Thorsten Bormer (SSV, 2012)

A Metric for Testing Program Verification Systems. - Bernhard Beckert; Thorsten Bormer; Markus Wagner 007 (TAP@STAF, 2013)

Verifying voting schemes. - Bernhard Beckert; Rajeev Goré; Carsten Schürmann 001; Thorsten Bormer; Jian Wang (J. Inf. Secur. Appl., 2014)

Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study. - Thorsten Bormer (2014)

An Improved Beam-Search for the Test Case Generation for Formal Verification Systems. - Mahmoud A. Bokhari; Thorsten Bormer; Markus Wagner 007 (SSBSE, 2015)

Deductive Verification of Legacy Code. - Bernhard Beckert; Thorsten Bormer; Daniel Grahl (ISoLA (1), 2016)

SemSlice: Exploiting Relational Verification for Automatic Program Slicing. - Bernhard Beckert; Thorsten Bormer; Stephan Gocht; Mihai Herda; Daniel Lentzsch; Mattias Ulbrich (IFM, 2017)

Using Relational Verification for Program Slicing. - Bernhard Beckert; Thorsten Bormer; Stephan Gocht; Mihai Herda; Daniel Lentzsch; Mattias Ulbrich (SEFM, 2019)