Stefan Löwe

Stefan Löwe

Universität Passau - Passau / Germany
Others
AD Scientific Index ID: 1786393
University of Passau
person_outline Stefan Löwe's MOST POPULAR ARTICLES
1-) Reliable benchmarking: requirements and solutionsD Beyer, S Löwe, P WendlerInternational Journal on Software Tools for Technology Transfer 21, 1-29, 20191412019
2-) Explicit-state software model checking based on CEGAR and interpolationD Beyer, S LöweFundamental Approaches to Software Engineering: 16th International …, 20131402013
3-) Precision reuse for efficient regression verificationD Beyer, S Löwe, E Novikov, A Stahlbauer, P WendlerProceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013802013
4-) Benchmarking and resource measurementD Beyer, S Löwe, P WendlerModel Checking Software: 22nd International Symposium, SPIN 2015 …, 2015792015
5-) CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic: (Competition Contribution)M Dangl, S Löwe, P WendlerTools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015562015