BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Cyprus
1 × France
1 × Germany
1 × Greece
1 × Hungary
1 × India
1 × Portugal
1 × Russia
10 × Italy
12 × USA
2 × China
4 × United Kingdom
Collaborated with:
T.A.Henzinger R.Majumdar P.Wendler A.Fararooy R.Jhala M.Dangl G.Théoduloz S.Apel A.Noack C.Lewerentz A.E.Hassan A.Chlipala M.E.Keremoglu A.v.Rhein S.Löwe D.Zufferey P.Häring A.Rybalchenko K.Friedberger T.Lemberger D.Dietsch M.Heizmann A.Stahlbauer A.Holzer G.Dresler V.Singh M.Tautschnig H.Veith E.Novikov A.Größlinger H.Speidel B.Becker H.Giese F.Klein D.Schilling A.Grebhahn N.Siegmund T.Berger J.Bürdek M.Lochau S.Bauregger
Talks about:
softwar (17) verif (14) check (7) analysi (5) model (5) program (4) visual (4) verifi (4) invari (4) effici (4)

♂ Person: Dirk Beyer

DBLP DBLP: Beyer_0001:Dirk

Facilitated 4 volumes:

CSMR-WCRE 2014PrCo
WCRE 2013PrCo
ICPC 2012Ed
MSR 2009LoCh

Contributed to:

CAV 20152015
ESEC/FSE 20152015
FASE 20152015
ICSE 20152015
TACAS 20152015
CAV 20142014
ICPC 20142014
ESEC/FSE 20132013
ESOP 20132013
FASE 20132013
ICSE 20132013
FSE 20122012
ASE 20112011
CAV 20112011
ICSE 20112011
FASE 20102010
ICPC 20102010
ASE 20082008
CAV 20082008
CAV 20072007
PLDI 20072007
VMCAI 20072007
CAV 20062006
ICPC 20062006
ICSE 20062006
MSR 20062006
WCRE 20062006
FASE 20052005
ICSM 20052005
IWPC 20052005
ICSE 20042004
IWPC 20042004
PEPM 20042004
PPDP 20042004
SAS 20042004
CAV 20032003
IWPC 20032003
WCRE 20032003
FSE 20162016
ASE 20182018
CAV (2) 20162016

Wrote 46 papers:

CAV-2015-BeyerW #invariant
Boosting k-Induction with Continuously-Refined Invariants (DB, MD, PW), pp. 622–640.
ESEC-FSE-2015-0001DDHS #validation #verification
Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.
FASE-2015-BurdekLBHRA015 #generative #multi #product line #reuse #testing
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.
ICSE-v1-2015-RheinGAS0B #configuration management
Presence-Condition Simplification in Highly Configurable Systems (AvR, AG, SA, NS, DB, TB), pp. 178–188.
TACAS-2015-Beyer #verification
Software Verification and Verifiable Witnesses — (Report on SV-COMP 2015) (DB), pp. 401–416.
CAV-2014-BeyerDW #verification
Software Verification in the Google App-Engine Cloud (DB, GD, PW), pp. 327–333.
ICPC-2014-BeyerH #evaluation
A formal evaluation of DepDegree based on weyuker’s properties (DB, PH), pp. 258–261.
ESEC-FSE-2013-BeyerLNSW #performance #precise #reuse #verification
Precision reuse for efficient regression verification (DB, SL, EN, AS, PW), pp. 389–399.
ESOP-2013-BeyerHTV #analysis #multi #reachability #reuse
Information Reuse for Multi-goal Reachability Analyses (DB, AH, MT, HV), pp. 472–491.
FASE-2013-BeyerL #model checking
Explicit-State Software Model Checking Based on CEGAR and Interpolation (DB, SL), pp. 146–162.
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.
FSE-2012-BeyerHKW #model checking #verification
Conditional model checking: a technique to pass information between verifiers (DB, TAH, MEK, PW), p. 57.
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.
CAV-2011-BeyerK #configuration management #named #verification
CPAchecker: A Tool for Configurable Software Verification (DB, MEK), pp. 184–190.
ICSE-2011-ApelB #case study #product line
Feature cohesion in software product lines: an exploratory study (SA, DB), pp. 421–430.
FASE-2010-BeyerHTZ #analysis #refinement
Shape Refinement through Explicit Heap Analysis (DB, TAH, GT, DZ), pp. 263–277.
ICPC-2010-BeyerF #dependence #detection #low level #named
DepDigger: A Tool for Detecting Complex Low-Level Dependencies (DB, AF), pp. 40–41.
ICPC-2010-BeyerF10a #dependence #named
CheckDep: A Tool for Tracking Software Dependencies (DB, AF), pp. 42–43.
ICPC-2010-BeyerF10b #dependence #effectiveness #low level
A Simple and Effective Measure for Complex Low-Level Dependencies (DB, AF), pp. 80–83.
ASE-2008-BeyerHT #precise #program analysis
Program Analysis with Dynamic Precision Adjustment (DB, TAH, GT), pp. 29–38.
CAV-2008-BeyerZM #named
CSIsat: Interpolation for LA+EUF (DB, DZ, RM), pp. 304–308.
CAV-2007-BeyerHS #algorithm #interface #synthesis
Algorithms for Interface Synthesis (DB, TAH, VS), pp. 4–19.
CAV-2007-BeyerHT #configuration management #convergence #model checking #program analysis #verification
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis (DB, TAH, GT), pp. 504–518.
PLDI-2007-BeyerHMR #invariant
Path invariants (DB, TAH, RM, AR), pp. 300–309.
VMCAI-2007-BeyerHMR #invariant #synthesis
Invariant Synthesis for Combined Theories (DB, TAH, RM, AR), pp. 378–394.
CAV-2006-BeyerHT #analysis #lazy evaluation
Lazy Shape Analysis (DB, TAH, GT), pp. 532–546.
ICPC-2006-BeyerH #evolution #visualisation
Evolution Storyboards: Visualization of Software Structure Dynamics (DB, AEH), pp. 248–251.
ICSE-2006-BeckerBGKS #adaptation #invariant #verification
Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.
ICSE-2006-Beyer #programming #relational
Relational programming with CrocoPat (DB), pp. 807–810.
MSR-2006-Beyer #challenge #co-evolution #visualisation
Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report) (DB), pp. 165–166.
WCRE-2006-BeyerH #evolution #using #visualisation
Animated Visualization of Software History using Evolution Storyboards (DB, AEH), pp. 199–210.
FASE-2005-BeyerHJM #memory management #safety
Checking Memory Safety with Blast (DB, TAH, RJ, RM), pp. 2–18.
ICSM-IT-2005-Beyer #co-evolution #visualisation
Co-Change Visualization (DB), pp. 89–92.
IWPC-2005-BeyerN #clustering
Clustering Software Artifacts Based on Frequent Common Changes (DB, AN), pp. 259–268.
ICSE-2004-BeyerCM #generative #testing
Generating Tests from Counterexamples (DB, AC, TAH, RJ, RM), pp. 326–335.
IWPC-2004-BeyerHJM #eclipse #model checking #plugin
An Eclipse Plug-in for Model Checking (DB, TAH, RJ, RM), pp. 251–255.
PEPM-2004-BeyerCHJM #query #verification
Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 201–202.
PPDP-2004-BeyerCHJM #query #verification
Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 1–2.
SAS-2004-BeyerCHJM #query #verification
The Blast Query Language for Software Verification. (DB, AC, TAH, RJ, RM), pp. 2–18.
CAV-2003-BeyerLN #named #realtime #verification
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems (DB, CL, AN), pp. 122–125.
IWPC-2003-BeyerL #analysis #named #object-oriented #performance #source code
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs (DB, CL), pp. 294–295.
WCRE-2003-BeyerNL #performance #query #relational
Simple and Efficient Relational Querying of Software Structures (DB, AN, CL), pp. 216–225.
FSE-2016-BeyerDDH #correctness #verification
Correctness witnesses: exchanging verification results between verifiers (DB, MD, DD, MH), pp. 326–337.
ASE-2018-BeyerF #concurrent #independence #model checking #multi #thread
Domain-independent multi-threaded software model checking (DB, KF), pp. 634–644.
ASE-2018-BeyerL #execution #named #performance #symbolic computation
CPA-SymExec: efficient symbolic execution in CPAchecker (DB, TL), pp. 900–903.
CAV-2016-BeyerD #debugging #fault #interactive
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses (DB, MD), pp. 502–509.

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.