Thorsten Bormer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2009–2019
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SEFM | Using Relational Verification for Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2017 | IFM | SemSlice: Exploiting Relational Verification for Automatic Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2016 | ISoLA | Deductive Verification of Legacy Code. | Bernhard Beckert, Thorsten Bormer, Daniel Grahl |
| 2015 | SSBSE | An Improved Beam-Search for the Test Case Generation for Formal Verification Systems. | Mahmoud A. Bokhari, Thorsten Bormer, Markus Wagner |
| 2013 | TAP | A Metric for Testing Program Verification Systems. | Bernhard Beckert, Thorsten Bormer, Markus Wagner |
| 2011 | ISORC | Proving Memory Separation in a Microkernel by Code Level Verification. | Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev |
| 2009 | SAFECOMP | Formal Verification of a Microkernel Used in Dependable Software Systems. | Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |