Philipp Wendler

According to our database1, Philipp Wendler authored at least 28 papers between 2010 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

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

2018
A Unifying View on SMT-Based Software Verification.
J. Autom. Reason., 2018

2017
Towards Practical Predicate Analysis.
PhD thesis, 2017

Beiträge zu praktikabler Prkatenanalyse.
Proceedings of the Ausgezeichnete Informatikdissertationen 2017, 2017

2016
Program Analysis with Local Policy Iteration.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes.
CoRR, 2015

Combining k-Induction with Continuously-Refined Invariants.
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

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Boosting k-Induction with Continuously-Refined Invariants.
Proceedings of the Computer Aided Verification - 27th International Conference, 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

Software Verification in the Google App-Engine Cloud.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Reusing Precisions for Efficient Regression Verification
CoRR, 2013

CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses.
Proceedings of the Model Checking Software - 20th International Symposium, 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

Strategies for product-line verification: case studies and experiments.
Proceedings of the 35th International Conference on Software Engineering, 2013

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

Conditional model checking: a technique to pass information between verifiers.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Algorithms for software model checking: Predicate abstraction vs. Impact.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011
Feature-Aware Verification
CoRR, 2011

Conditional Model Checking
CoRR, 2011

Detection of feature interactions using feature-aware verification.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010
Predicate abstraction with adjustable-block encoding.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010


  Loading...