Seuraa
Philipp Wendler
Philipp Wendler
LMU Munich, Germany
Vahvistettu sähköpostiosoite verkkotunnuksessa lmu.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
2502019
Strategies for product-line verification: Case studies and experiments
S Apel, A Rhein, P Wendler, A Größlinger, D Beyer
Proceedings of the 2013 International Conference on Software Engineering …, 2013
2362013
Detection of feature interactions using feature-aware verification
S Apel, H Speidel, P Wendler, A von Rhein, D Beyer
Proceedings of the 2011 26th IEEE/ACM International Conference on Automated …, 2011
1902011
Predicate abstraction with adjustable-block encoding
D Beyer, ME Keremoglu, P Wendler
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010
1872010
Conditional Model Checking: A Technique to Pass Information between Verifiers
D Beyer, TA Henzinger, ME Keremoglu, P Wendler
1382012
Boosting k-Induction with Continuously-Refined Invariants
D Beyer, M Dangl, P Wendler
Computer Aided Verification, 622-640, 2015
1252015
A unifying view on SMT-based software verification
D Beyer, M Dangl, P Wendler
Journal of Automated Reasoning 60 (3), 299-335, 2018
902018
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
832013
Benchmarking and Resource Measurement
D Beyer, S Löwe, P Wendler
80*
CPAchecker with support for recursive programs and floating-point arithmetic
M Dangl, S Löwe, P Wendler
Tools and Algorithms for the Construction and Analysis of Systems, 423-425, 2015
552015
Reuse of Verification Results
D Beyer, P Wendler
Model Checking Software, 1-17, 2013
452013
Refinement Selection
D Beyer, S Löwe, P Wendler
Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015
442015
Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT
D Beyer, P Wendler
12th International Conference on Formal Methods in Computer-Aided Design …, 2012
422012
CPU Energy Meter: A tool for energy-aware algorithms engineering
D Beyer, P Wendler
International Conference on Tools and Algorithms for the Construction and …, 2020
332020
Software Verification in the Google App-Engine Cloud
D Beyer, G Dresler, P Wendler
Computer Aided Verification, 327-333, 2014
252014
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, 228-243, 2015
232015
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses
S Löwe, M Mandrykin, P Wendler
Tools and Algorithms for the Construction and Analysis of Systems, 392-394, 2014
212014
Program Analysis with Local Policy Iteration
EG Karpenkov, D Monniaux, P Wendler
Verification, Model Checking, and Abstract Interpretation, 127-146, 2016
202016
Combining k-Induction with Continuously-Refined Invariants
D Beyer, M Dangl, P Wendler
arXiv preprint arXiv:1502.00096, 2015
182015
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
D Beyer, NZ Lee, P Wendler
17*
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20