Stefan Löwe

According to our database, Stefan Löwe authored at least 18 papers between 2012 and 2022.

Collaborative distances:

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

2022

Correction to: Reliable benchmarking: requirements and solutions.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Int. J. Softw. Tools Technol. Transf., 2022

2019

Reliable benchmarking: requirements and solutions.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Int. J. Softw. Tools Technol. Transf., 2019

2017

Effective Approaches to Abstraction Refinement for Automatic Software Verification.

Stefan Löwe

PhD thesis, 2017

2016

CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution).

Stefan Löwe

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

2015

Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes.

Dirk Beyer, Stefan Löwe, Philipp Wendler

CoRR, 2015

CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution).

Matthias Dangl, Stefan Löwe, Philipp Wendler

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

Benchmarking and Resource Measurement.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Refinement Selection.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Interpolation for Value Analysis.

Dirk Beyer, Stefan Löwe

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014

CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution).

Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler

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

Precision Reuse in CPAchecker.

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

Reusing Precisions for Efficient Regression Verification

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

CoRR, 2013

CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution).

Stefan Löwe

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

Precision reuse for efficient regression verification.

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Explicit-State Software Model Checking Based on CEGAR and Interpolation.

Dirk Beyer, Stefan Löwe

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

Explicit-Value Analysis Based on CEGAR and Interpolation

Dirk Beyer, Stefan Löwe

CoRR, 2012

CPAchecker with Adjustable Predicate Analysis - (Competition Contribution).

Stefan Löwe, Philipp Wendler

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