Stefan Löwe

According to our database1, Stefan Löwe authored at least 17 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Reliable benchmarking: requirements and solutions.
Int. J. Softw. Tools Technol. Transf., 2019

2017
Effective Approaches to Abstraction Refinement for Automatic Software Verification.
PhD thesis, 2017

2016
CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution).
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.
CoRR, 2015

CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Benchmarking and Resource Measurement.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

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

Interpolation for Value Analysis.
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.
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

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

2013
Reusing Precisions for Efficient Regression Verification
CoRR, 2013

CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Precision reuse for efficient regression verification.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012
Explicit-Value Analysis Based on CEGAR and Interpolation
CoRR, 2012

CPAchecker with Adjustable Predicate Analysis - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012


  Loading...