Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Florian Merz 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Carsten Sinz

> Home > Persons > Florian Merz 0001

Publications

2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/MerzSPGK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MerzSPGK15
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): 233-242 (2015)
2014
[j1]
- view
  - electronic edition @ uni-siegen.de (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/stt/FaragoMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/FaragoMS14
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)
2013
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/FalkeMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/FalkeMS13
Stephan Falke, Florian Merz, Carsten Sinz:
The bounded model checker LLBMC. ASE 2013: 706-709
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FalkeMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FalkeMS13
Stephan Falke, Florian Merz, Carsten Sinz:
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). TACAS 2013: 623-626
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/FalkeMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/FalkeMS13
Stephan Falke, Florian Merz, Carsten Sinz:
Extending the Theory of Arrays: memset, memcpy, and Beyond. VSTTE 2013: 108-128
2012
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/MerzSF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MerzSF12
Florian Merz, Carsten Sinz, Stephan Falke:
Challenges in Comparing Software Verification Tools for C. COMPARE 2012: 60-65
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/FalkeSM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FalkeSM12
Stephan Falke, Carsten Sinz, Florian Merz:
A Theory of Arrays with set and copy Operations. SMT@IJCAR 2012: 98-108
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SinzMF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SinzMF12
Carsten Sinz, Florian Merz, Stephan Falke:
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). TACAS 2012: 542-544
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/MerzFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/MerzFS12
Florian Merz, Stephan Falke, Carsten Sinz:
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. VSTTE 2012: 146-161
2011
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/BeckertBMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/BeckertBMS11
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz:
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS 2011: 86-104
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/MerzSPGK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/MerzSPGK10
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf:
Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC 2010: 89-96
[c2]
- view
  - electronic edition @ usenix.org
  - no references & citations available
- export record
  dblp key:
  - conf/ssv/SinzFM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/SinzFM10
Carsten Sinz, Stephan Falke, Florian Merz:
A Precise Memory Model for Low-Level Bounded Model Checking. SSV 2010
2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/re/PostSMGK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/PostSMGK09
Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf:
Linking Functional Requirements and Software Verification. RE 2009: 295-302

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.