BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wendler:Philipp

Contributed to:

CAV 20152015
TACAS 20152015
CAV 20142014
TACAS 20142014
ESEC/FSE 20132013
ICSE 20132013
TACAS 20132013
FSE 20122012
TACAS 20122012
ASE 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.