Stefan Lwe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2012–2016
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TACAS | CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution). | Stefan Lwe |
| 2015 | FORTE | Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. | Dirk Beyer, Stefan Lwe, Philipp Wendler |
| 2015 | TACAS | CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). | Matthias Dangl, Stefan Lwe, Philipp Wendler |
| 2014 | TACAS | CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). | Stefan Lwe, Mikhail U. Mandrykin, Philipp Wendler |
| 2013 | FASE | Explicit-State Software Model Checking Based on CEGAR and Interpolation. | Dirk Beyer, Stefan Lwe |
| 2013 | TACAS | CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution). | Stefan Lwe |
| 2012 | TACAS | CPAchecker with Adjustable Predicate Analysis - (Competition Contribution). | Stefan Lwe, Philipp Wendler |