Stefan Löwe

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 9

Top Venues

TACAS

CoRR

Int. J. Softw. Tools Technol. Transf.

SPIN

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Dirk Beyer, Stefan Löwe, Philipp Wendler
Correction to: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Stefan Löwe
CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution). TACAS (2016)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Benchmarking and Resource Measurement. SPIN (2015)
Dirk Beyer, Stefan Löwe
Interpolation for Value Analysis. Software Engineering & Management (2015)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Refinement Selection. SPIN (2015)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes. CoRR (2015)
Matthias Dangl, Stefan Löwe, Philipp Wendler
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). TACAS (2015)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. FORTE (2015)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Precision Reuse in CPAchecker. Software Engineering (2014)
Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). TACAS (2014)
Stefan Löwe
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution). TACAS (2013)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Reusing Precisions for Efficient Regression Verification CoRR (2013)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Precision reuse for efficient regression verification. ESEC/SIGSOFT FSE (2013)
Dirk Beyer, Stefan Löwe
Explicit-State Software Model Checking Based on CEGAR and Interpolation. FASE (2013)
Stefan Löwe, Philipp Wendler
CPAchecker with Adjustable Predicate Analysis - (Competition Contribution). TACAS (2012)
Dirk Beyer, Stefan Löwe
Explicit-Value Analysis Based on CEGAR and Interpolation CoRR (2012)

Stefan Löwe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Löwe