Stefan Löwe
Stefan Löwe
Unknown affiliation
Verified email at fim.uni-passau.de
Title
Cited by
Cited by
Year
Explicit-state software model checking based on CEGAR and interpolation
D Beyer, S Löwe
International Conference on Fundamental Approaches to Software Engineering …, 2013
1232013
Reliable benchmarking: Requirements and solutions
D Beyer, S Löwe, P Wendler
International Journal on Software Tools for Technology Transfer 21 (1), 1-29, 2019
852019
Benchmarking and resource measurement
D Beyer, S Löwe, P Wendler
International SPIN Workshop on Model Checking of Software, 160-178, 2015
722015
Precision reuse for efficient regression verification
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
522013
Refinement selection
D Beyer, S Löwe, P Wendler
International SPIN Workshop on Model Checking of Software, 20-38, 2015
362015
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic
M Dangl, S Löwe, P Wendler
International Conference on Tools and Algorithms for the Construction and …, 2015
292015
Sliced path prefixes: An effective method to enable refinement selection
D Beyer, S Löwe, P Wendler
International Conference on Formal Techniques for Distributed Objects …, 2015
172015
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses
S Löwe, M Mandrykin, P Wendler
International Conference on Tools and Algorithms for the Construction and …, 2014
142014
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation
S Löwe
International Conference on Tools and Algorithms for the Construction and …, 2013
102013
CPAchecker with Adjustable Predicate Analysis
S Löwe, P Wendler
International Conference on Tools and Algorithms for the Construction and …, 2012
72012
Explicit-value analysis based on CEGAR and interpolation
D Beyer, S Löwe
arXiv preprint arXiv:1212.6542, 2012
62012
Interpolation for value analysis
D Beyer, S Löwe
Software-engineering and management 2015, 2015
52015
Effective approaches to abstraction refinement for automatic software verification
S Löwe
Universität Passau, 2017
42017
Domain-type-guided refinement selection based on sliced path prefixes
D Beyer, S Löwe, P Wendler
arXiv preprint arXiv:1502.00045, 2015
42015
Reusing precisions for efficient regression verification
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
arXiv preprint arXiv:1305.6915, 2013
22013
CPA-RefSel: CPAchecker with Refinement Selection
S Löwe
International Conference on Tools and Algorithms for the Construction and …, 2016
12016
Precision Reuse in CPAchecker.
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
Software Engineering, 41-42, 2014
2014
Proc. SPIN 2015,(c) Springer
D Beyer, S Löwe, P Wendler
CPAchecker with Dynamically Adjustable Predicate Analysis
S Löwe, P Wendler
The system can't perform the operation now. Try again later.
Articles 1–19