Florian Merz

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Venues

VSTTE

TACAS

SMT@IJCAR

Innov. Syst. Softw. Eng.

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
Bridging the gap between test cases and requirements by abstract testing. Innov. Syst. Softw. Eng. 11 (4) (2015)
David Faragó, Florian Merz, Carsten Sinz
Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code. Softwaretechnik-Trends 34 (3) (2014)
Stephan Falke, Florian Merz, Carsten Sinz
The bounded model checker LLBMC. ASE (2013)
Stephan Falke, Florian Merz, Carsten Sinz
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). TACAS (2013)
Stephan Falke, Florian Merz, Carsten Sinz
Extending the Theory of Arrays: memset, memcpy, and Beyond. VSTTE (2013)
Stephan Falke, Carsten Sinz, Florian Merz
A Theory of Arrays with set and copy Operations. SMT@IJCAR (2012)
Florian Merz, Stephan Falke, Carsten Sinz
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. VSTTE (2012)
Florian Merz, Carsten Sinz, Stephan Falke
Challenges in Comparing Software Verification Tools for C. COMPARE (2012)
Carsten Sinz, Florian Merz, Stephan Falke
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). TACAS (2012)
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS (2011)
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC (2010)
Carsten Sinz, Stephan Falke, Florian Merz
A Precise Memory Model for Low-Level Bounded Model Checking. SSV (2010)
Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf
Linking Functional Requirements and Software Verification. RE (2009)

Florian Merz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florian Merz