Sledovat
Stefan Löwe
Stefan Löwe
Neznámá organizace
E-mailová adresa ověřena na: fim.uni-passau.de
Název
Citace
Citace
Rok
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
1732019
Explicit-state software model checking based on CEGAR and interpolation
D Beyer, S Löwe
International Conference on Fundamental Approaches to Software Engineering …, 2013
1502013
Benchmarking and resource measurement
D Beyer, S Löwe, P Wendler
Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015
752015
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
742013
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic: (Competition Contribution)
M Dangl, S Löwe, P Wendler
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
502015
Refinement selection
D Beyer, S Löwe, P Wendler
Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015
412015
Sliced path prefixes: An effective method to enable refinement selection
D Beyer, S Löwe, P Wendler
Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015
232015
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses: (Competition Contribution)
S Löwe, M Mandrykin, P Wendler
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
162014
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation: (Competition Contribution)
S Löwe
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
122013
Explicit-value analysis based on CEGAR and interpolation
D Beyer, S Löwe
arXiv preprint arXiv:1212.6542, 2012
92012
CPAchecker with Adjustable Predicate Analysis: (Competition Contribution)
S Löwe, P Wendler
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
72012
Effective approaches to abstraction refinement for automatic software verification
S Löwe
Universität Passau, 2017
52017
Reliable benchmarking: Requirements and solutions. STTT 21 (1), 1–29 (2019)
D Beyer, S Löwe, P Wendler
5
Domain-type-guided refinement selection based on sliced path prefixes
D Beyer, S Löwe, P Wendler
arXiv preprint arXiv:1502.00045, 2015
42015
Interpolation for value analysis
D Beyer, S Löwe
Gesellschaft für Informatik eV, 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: (Competition Contribution)
S Löwe
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
12016
Correction to: Reliable benchmarking: requirements and solutions
D Beyer, S Löwe, P Wendler
International Journal on Software Tools for Technology Transfer 24 (4), 661-661, 2022
2022
Reliable benchmarking: requirements and solutions (vol 21, pg 1, 2019)
D Beyer, S Loewe, P Wendler
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 24 (4), 661-661, 2022
2022
Precision Reuse in CPAchecker.
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
Software Engineering, 41-42, 2014
2014
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20