Florian Merz

According to our database, Florian Merz authored at least 14 papers between 2009 and 2016.

Collaborative distances:

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

2016

Theory and Implementation of Software Bounded Model Checking.

Florian Merz

PhD thesis, 2016

2015

Bridging the gap between test cases and requirements by abstract testing.

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf

Innov. Syst. Softw. Eng., 2015

2014

Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code.

David Faragó, Florian Merz, Carsten Sinz

Softwaretechnik-Trends, 2014

2013

Extending the Theory of Arrays: memset, memcpy, and Beyond.

Stephan Falke, Florian Merz, Carsten Sinz

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution).

Stephan Falke, Florian Merz, Carsten Sinz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

The bounded model checker LLBMC.

Stephan Falke, Florian Merz, Carsten Sinz

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR.

Florian Merz, Stephan Falke, Carsten Sinz

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution).

Carsten Sinz, Florian Merz, Stephan Falke

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Challenges in Comparing Software Verification Tools for C.

Florian Merz, Carsten Sinz, Stephan Falke

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

A Theory of Arrays with set and copy Operations.

Stephan Falke, Carsten Sinz, Florian Merz

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

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

A Precise Memory Model for Low-Level Bounded Model Checking.

Carsten Sinz, Stephan Falke, Florian Merz

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Abstract Testing: Connecting Source Code Verification with Requirements.

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf

Proceedings of the Quality of Information and Communications Technology, 2010

2009

Linking Functional Requirements and Software Verification.

Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009