Stefan Löwe - RankMe

18 papers A 5B 1C 2Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Correction to: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Stefan Löwe, Philipp Wendler
2019	J	`jnl`	Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Stefan Löwe, Philipp Wendler
2017	—	`—`	Effective Approaches to Abstraction Refinement for Automatic Software Verification. Stefan Löwe
2016	A	`conf`	CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution). TACAS Stefan Löwe
2015	—	`conf`	Benchmarking and Resource Measurement. SPIN Dirk Beyer, Stefan Löwe, Philipp Wendler
2015	A	`conf`	CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). TACAS Matthias Dangl, Stefan Löwe, Philipp Wendler
2015	J	`jnl`	Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes. CoRR Dirk Beyer, Stefan Löwe, Philipp Wendler
2015	—	`conf`	Interpolation for Value Analysis. Software Engineering & Management Dirk Beyer, Stefan Löwe
2015	—	`conf`	Refinement Selection. SPIN Dirk Beyer, Stefan Löwe, Philipp Wendler
2015	C	`conf`	Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. FORTE Dirk Beyer, Stefan Löwe, Philipp Wendler
2014	A	`conf`	CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). TACAS Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler
2014	C	`conf`	Precision Reuse in CPAchecker. Software Engineering Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
2013	A	`conf`	CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution). TACAS Stefan Löwe
2013	B	`conf`	Explicit-State Software Model Checking Based on CEGAR and Interpolation. FASE Dirk Beyer, Stefan Löwe
2013	—	`conf`	Precision reuse for efficient regression verification. ESEC/SIGSOFT FSE Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
2013	J	`jnl`	Reusing Precisions for Efficient Regression Verification CoRR Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
2012	A	`conf`	CPAchecker with Adjustable Predicate Analysis - (Competition Contribution). TACAS Stefan Löwe, Philipp Wendler
2012	J	`jnl`	Explicit-Value Analysis Based on CEGAR and Interpolation CoRR Dirk Beyer, Stefan Löwe