Thorsten Bormer

According to our database, Thorsten Bormer authored at least 13 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Using Relational Verification for Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2017

SemSlice: Exploiting Relational Verification for Automatic Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Deductive Verification of Legacy Code.

Bernhard Beckert, Thorsten Bormer, Daniel Grahl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

An Improved Beam-Search for the Test Case Generation for Formal Verification Systems.

Mahmoud A. Bokhari, Thorsten Bormer, Markus Wagner

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

2014

Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study.

Thorsten Bormer

PhD thesis, 2014

Verifying voting schemes.

Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang

J. Inf. Secur. Appl., 2014

2013

A Metric for Testing Program Verification Systems.

Bernhard Beckert, Thorsten Bormer, Markus Wagner

Proceedings of the Tests and Proofs - 7th International Conference, 2013

2012

Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck

Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011

Proving Memory Separation in a Microkernel by Code Level Verification.

Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 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, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Integration of Bounded Model Checking and Deductive Verification.

Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

Improving the Usability of Specification Languages and Methods for Annotation-Based Verification.

Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Formal Verification of a Microkernel Used in Dependable Software Systems.

Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer

Proceedings of the Computer Safety, 2009