Thorsten Bormer

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