Thorsten Bormer

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Venues

SSV

SEFM

J. Inf. Secur. Appl.

SSBSE

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
Using Relational Verification for Program Slicing. SEFM (2019)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. IFM (2017)
Bernhard Beckert, Thorsten Bormer, Daniel Grahl
Deductive Verification of Legacy Code. ISoLA (1) (2016)
Mahmoud A. Bokhari, Thorsten Bormer, Markus Wagner
An Improved Beam-Search for the Test Case Generation for Formal Verification Systems. SSBSE (2015)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang
Verifying voting schemes. J. Inf. Secur. Appl. 19 (2) (2014)
Bernhard Beckert, Thorsten Bormer, Markus Wagner
A Metric for Testing Program Verification Systems. TAP@STAF (2013)
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck SSV (2012)
Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev
Proving Memory Separation in a Microkernel by Code Level Verification. ISORC Workshops (2011)
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS (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, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. FMCO (2010)
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
Formal Verification of a Microkernel Used in Dependable Software Systems. SAFECOMP (2009)

Thorsten Bormer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thorsten Bormer