Linking Functional Requirements and Software Verification. - Hendrik Post; Carsten Sinz; Florian Merz 001; Thomas Gorges; Thomas Kropf (RE, 2009)

Abstract Testing: Connecting Source Code Verification with Requirements. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (QUATIC, 2010)

A Precise Memory Model for Low-Level Bounded Model Checking. - Carsten Sinz; Stephan Falke 001; Florian Merz 001 (SSV, 2010)

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

A Theory of Arrays with set and copy Operations. - Stephan Falke 001; Carsten Sinz; Florian Merz 001 (SMT@IJCAR, 2012)

Challenges in Comparing Software Verification Tools for C. - Florian Merz 001; Carsten Sinz; Stephan Falke 001 (COMPARE, 2012)

LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). - Carsten Sinz; Florian Merz 001; Stephan Falke 001 (TACAS, 2012)

LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. - Florian Merz 001; Stephan Falke 001; Carsten Sinz (VSTTE, 2012)

The bounded model checker LLBMC. - Stephan Falke 001; Florian Merz 001; Carsten Sinz (ASE, 2013)

LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). - Stephan Falke 001; Florian Merz 001; Carsten Sinz (TACAS, 2013)

Extending the Theory of Arrays: memset, memcpy, and Beyond. - Stephan Falke 001; Florian Merz 001; Carsten Sinz (VSTTE, 2013)

Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code. - David Faragó; Florian Merz 001; Carsten Sinz (Softwaretechnik-Trends, 2014)

Bridging the gap between test cases and requirements by abstract testing. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (Innov. Syst. Softw. Eng., 2015)

Theory and Implementation of Software Bounded Model Checking. - Florian Merz 001 (2016)