Florian Merz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2009–2014
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ESA | PReaCH: A Fast Lightweight Reachability Index Using Pruning and Contraction Hierarchies. | Florian Merz, Peter Sanders |
| 2013 | TACAS | LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). | Stephan Falke, Florian Merz, Carsten Sinz |
| 2012 | CADE | A Theory of Arrays with set and copy Operations. | Stephan Falke, Carsten Sinz, Florian Merz |
| 2012 | CADE | Challenges in Comparing Software Verification Tools for C. | Florian Merz, Carsten Sinz, Stephan Falke |
| 2012 | TACAS | LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). | Carsten Sinz, Florian Merz, Stephan Falke |
| 2010 | QUATIC | Abstract Testing: Connecting Source Code Verification with Requirements. | Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf |
| 2009 | RE | Linking Functional Requirements and Software Verification. | Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf |