Philipp Wendler Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2016
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgor George Karpenkov, David Monniaux, Philipp Wendler: Program Analysis with Local Policy Iteration. VMCAI 2016: 127-146
2015
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Matthias Dangl, Philipp Wendler: Boosting k-Induction with Continuously-Refined Invariants. CAV (1) 2015: 622-640
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Stefan Löwe, Philipp Wendler: Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. FORTE 2015: 228-243
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Stefan Löwe, Philipp Wendler: Refinement Selection. SPIN 2015: 20-38
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Stefan Löwe, Philipp Wendler: Benchmarking and Resource Measurement. SPIN 2015: 160-178
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Dangl, Stefan Löwe, Philipp Wendler: CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). TACAS 2015: 423-425
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Stefan Löwe, Philipp Wendler: Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes. CoRR abs/1502.00045 (2015)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Matthias Dangl, Philipp Wendler: Combining k-Induction with Continuously-Refined Invariants. CoRR abs/1502.00096 (2015)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Karpenkov, David Monniaux, Philipp Wendler: Program Analysis with Local Policy Iteration. CoRR abs/1509.03424 (2015)
2014
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Georg Dresler, Philipp Wendler: Software Verification in the Google App-Engine Cloud. CAV 2014: 327-333
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler: Precision Reuse in CPAchecker. Software Engineering 2014: 41-42
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Löwe, Mikhail U. Mandrykin, Philipp Wendler: CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). TACAS 2014: 392-394
2013
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer: Strategies for product-line verification: case studies and experiments. ICSE 2013: 482-491
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler: Precision reuse for efficient regression verification. ESEC/SIGSOFT FSE 2013: 389-399
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Philipp Wendler: Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. SPIN 2013: 1-17
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilipp Wendler: CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution). TACAS 2013: 613-615
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler: Reusing Precisions for Efficient Regression Verification .CoRR abs/1305.6915 (2013)
2012
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Philipp Wendler: Algorithms for software model checking: Predicate abstraction vs. Impact. FMCAD 2012: 106-113
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler: Conditional model checking: a technique to pass information between verifiers. SIGSOFT FSE 2012: 57
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Löwe, Philipp Wendler: CPAchecker with Adjustable Predicate Analysis - (Competition Contribution). TACAS 2012: 528-530
2011
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer: Detection of feature interactions using feature-aware verification. ASE 2011: 372-375
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler: Conditional Model Checking .CoRR abs/1109.6926 (2011)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer: Feature-Aware Verification .CoRR abs/1110.0021 (2011)
2010
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, M. Erkan Keremoglu, Philipp Wendler: Predicate abstraction with adjustable-block encoding. FMCAD 2010: 189-197

Coauthor Index

1Sven Apel[c9] [c2] [i1]
2Dirk Beyer 0001[c17] [c16] [c15] [c14] [i6] [i5] [c12] [c11] [c9] [c8] [c7] [i3] [c5] [c4] [c2] [i2] [i1] [c1]
3Matthias Dangl[c17] [c13] [i5]
4Georg Dresler[c12]
5Armin Größlinger[c9]
6Thomas A. Henzinger[c4] [i2]
7Egor George Karpenkov
George Karpenkov
[c18] [i4]
8M. Erkan Keremoglu[c4] [i2] [c1]
9Stefan Löwe[c16] [c15] [c14] [c13] [i6] [c11] [c10] [c8] [i3] [c3]
10Mikhail U. Mandrykin[c10]
11David Monniaux[c18] [i4]
12Evgeny Novikov[c11] [c8] [i3]
13Alexander von Rhein[c9] [c2] [i1]
14Hendrik Speidel[c2] [i1]
15Andreas Stahlbauer[c11] [c8] [i3]

 

Last update 2016-05-04 23:32 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page