Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
9 links
Dirk Beyer
Researcher
PaperSoftware Verification with PDR: Implementation and Empirical Evaluation of the State of the ArtAuthorship / preprint / 2020PaperExplicit-Value Analysis Based on CEGAR and InterpolationAuthorship / preprint / 2012PaperReusing Precisions for Efficient Regression VerificationAuthorship / preprint / 2013PaperDomain-Type-Guided Refinement Selection Based on Sliced Path PrefixesAuthorship / preprint / 2015PaperCombining k-Induction with Continuously-Refined InvariantsAuthorship / preprint / 2015PaperConditional Model CheckingAuthorship / preprint / 2011PaperA Light-Weight Approach for Verifying Multi-Threaded Programs with CPAcheckerAuthorship / preprint / 2016PaperDomain Types: Selecting Abstractions Based on Variable UsageAuthorship / preprint / 2013