Travelled to:1 × Austria
1 × Estonia
1 × France
1 × Italy
1 × Russia
1 × United Kingdom
4 × USA
Collaborated with:D.Beyer S.Löwe M.Dangl ∅ S.Apel A.v.Rhein G.Dresler M.U.Mandrykin T.A.Henzinger M.E.Keremoglu E.Novikov A.Stahlbauer A.Größlinger H.Speidel
Talks about:contribut (4) competit (4) acheck (4) verif (4) analysi (3) predic (3) sequenti (2) explicit (2) featur (2) combin (2)
Person: Philipp Wendler
DBLP: Wendler:Philipp
Contributed to:
2015
201520142014
2013
20132013
20122012
2011Wrote 10 papers:
- CAV-2015-BeyerW #invariant
- Boosting k-Induction with Continuously-Refined Invariants (DB, MD, PW), pp. 622–640.
- TACAS-2015-DanglLW #contest #float #recursion #source code
- CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.
- CAV-2014-BeyerDW #verification
- Software Verification in the Google App-Engine Cloud (DB, GD, PW), pp. 327–333.
- TACAS-2014-LoweMW #analysis #contest
- CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.
- ESEC-FSE-2013-BeyerLNSW #performance #precise #reuse #verification
- Precision reuse for efficient regression verification (DB, SL, EN, AS, PW), pp. 389–399.
- ICSE-2013-ApelRWGB #case study #product line #verification
- Strategies for product-line verification: case studies and experiments (SA, AvR, PW, AG, DB), pp. 482–491.
- TACAS-2013-Wendler #analysis #contest
- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis — (Competition Contribution) (PW), pp. 613–615.
- FSE-2012-BeyerHKW #model checking #verification
- Conditional model checking: a technique to pass information between verifiers (DB, TAH, MEK, PW), p. 57.
- TACAS-2012-LoweW #analysis #contest
- CPAchecker with Adjustable Predicate Analysis — (Competition Contribution) (SL, PW), pp. 528–530.
- ASE-2011-ApelSWRB #detection #feature model #interactive #using #verification
- Detection of feature interactions using feature-aware verification (SA, HS, PW, AvR, DB), pp. 372–375.