Dirk Beyer | Academic Influence

Dirk Beyer's AcademicInfluence.com Rankings

Dirk Beyer

Computer Science

#9989

World Rank

#10479

Historical Rank

Software Engineering

#273

World Rank

#278

Historical Rank

Algorithms

#410

World Rank

#415

Historical Rank

Database

#6938

World Rank

#7180

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Dirk Beyer's Degrees

PhD Computer Science Stanford University
Masters Computer Science University of California, Berkeley
Bachelors Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Dirk Beyer Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Dirk Beyer's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

CPAchecker: A Tool for Configurable Software Verification (2009) (530)
The software model checker Blast (2007) (442)
The software model checker B last : Applications to software engineering (2007) (423)
Generating tests from counterexamples (2004) (239)
Designing for Disasters (2004) (206)
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis (2007) (203)
Software model checking via large-block encoding (2009) (171)
Strategies for product-line verification: Case studies and experiments (2013) (169)
Web service interfaces (2005) (161)
Symbolic invariant verification for systems with dynamic structural adaptation (2006) (142)
Path invariants (2007) (136)
Competition on Software Verification - (SV-COMP) (2012) (134)
Clustering software artifacts based on frequent common changes (2005) (133)
Predicate abstraction with adjustable-block encoding (2010) (132)
Detection of feature interactions using feature-aware verification (2011) (125)
Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016) (2016) (121)
Efficient relational calculation for software analysis (2005) (119)
Program Analysis with Dynamic Precision Adjustment (2008) (114)
Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015) (2015) (110)
Invariant Synthesis for Combined Theories (2007) (107)
Explicit-State Software Model Checking Based on CEGAR and Interpolation (2013) (103)
Self-Adaptive SLA-Driven Capacity Management for Internet Services (2006) (95)
Software Verification with Validation of Results - (Report on SV-COMP 2017) (2017) (94)
Reliable benchmarking: requirements and solutions (2017) (92)
The Blast Query Language for Software Verification (2004) (87)
Conditional model checking: a technique to pass information between verifiers (2012) (86)
Second Competition on Software Verification - (Summary of SV-COMP 2013) (2013) (84)
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems (2003) (82)
Status Report on Software Verification - (Competition Summary SV-COMP 2014) (2014) (77)
Animated Visualization of Software History using Evolution Storyboards (2006) (77)
Automatic Verification of C and Java Programs: SV-COMP 2019 (2019) (75)
Markovian demand inventory models (2010) (74)
Feature cohesion in software product lines: an exploratory study (2011) (71)
Boosting k-Induction with Continuously-Refined Invariants (2015) (71)
Witness validation and stepwise testification across software verifiers (2015) (69)
Relational programming with CrocoPat (2006) (66)
Lazy Shape Analysis (2006) (66)
Average Cost Optimality in Inventory Models with Markovian Demands (1997) (64)
Benchmarking and Resource Measurement (2015) (61)
Checking Memory Safety with Blast (2005) (60)
Presence-Condition Simplification in Highly Configurable Systems (2015) (59)
Correctness witnesses: exchanging verification results between verifiers (2016) (59)
CSIsat: Interpolation for LA+EUF (2008) (56)
CrocoPat: efficient pattern analysis in object-oriented programs (2003) (55)
Improvements in BDD-Based Reachability Analysis of Timed Automata (2001) (55)
On the road to recovery: restoring data after disasters (2006) (51)
Inventory Models with Markovian Demands and Cost Functions of Polynomial Growth (1998) (50)
Simple and efficient relational querying of software structures (2003) (50)
A Unifying View on SMT-Based Software Verification (2017) (49)
Precision reuse for efficient regression verification (2013) (48)
Advances in Automatic Software Verification: SV-COMP 2020 (2020) (47)
Combining Model Checking and Data-Flow Analysis (2018) (43)
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems (2012) (41)
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems (2000) (38)
Software Verification: 10th Comparative Evaluation (SV-COMP 2021) (2021) (38)
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art (2017) (38)
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (2015) (38)
Rigorous examination of reactive systems (2014) (37)
The Classical Average-Cost Inventory Models of Iglehart and Veinott–Wagner Revisited (1999) (35)
HP Transforms Product Portfolio Management with Operations Research (2010) (34)
TOOLympics 2019: An Overview of Competitions in Formal Methods (2019) (32)
Quartermaster - a resource utility system (2005) (32)
Information Reuse for Multi-goal Reachability Analyses (2013) (29)
Algorithms for software model checking: Predicate abstraction vs. Impact (2012) (29)
Automated application component placement in data centers using mathematical programming (2008) (29)
Algorithms for Interface Synthesis (2007) (29)
Progress on Software Verification: SV-COMP 2022 (2022) (28)
Refinement Selection (2015) (28)
BDD-based software verification (2014) (27)
Co-Change Visualization (2005) (27)
JavaSMT: A Unified Interface for SMT Solvers in Java (2016) (27)
Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses (2013) (27)
Domain Types: Abstract-Domain Selection Based on Variable Usage (2013) (26)
Network Server Supply Chain at HP: A Case Study (2002) (26)
Optimal Server Resource Allocation Using an Open Queueing Network Model of Response Time (2002) (26)
Reducer-Based Construction of Conditional Verifiers (2018) (25)
CoVeriTest: Cooperative Verifier-Based Testing (2019) (23)
Stochastic Multiproduct Inventory Models with Limited Storage (2001) (22)
Tests from Witnesses - Execution-Based Validation of Verification Results (2018) (22)
Does Relevance Influence Reporting About Environmental and Intangible Success Factors? - Empirical Results from a Survey of Executives from Intangible-Driven Industries (2005) (22)
CCVisu: automatic visual software decomposition (2008) (21)
A Simple and Effective Measure for Complex Low-Level Dependencies (2010) (21)
A Proof of the EOQ Formula Using Quasi-Variational Inequalities (1998) (21)
International Competition on Software Testing (Test-Comp) (2019) (20)
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? (2003) (20)
An Application ofWeb-Service Interfaces (2007) (19)
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection (2015) (18)
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata (1998) (18)
An eclipse plug-in for model checking (2004) (18)
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses (2016) (17)
Value-maximizing deadline scheduling and its application to animation rendering (2005) (16)
Don't Settle for Less Than the Best: Use Optimization to Make Decisions (2007) (16)
Hurdles for the Voluntary Disclosure of Information on Intangibles - Empirical Results for "New Economy" Industries (2003) (16)
BDD-Based Software Model Checking with CPAchecker (2012) (15)
Normal concentration of uranium in urine. (1993) (15)
Mining Co-Change Clusters from Version Repositories (2005) (15)
An Interface Formalism for Web Services (2007) (15)
Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach (2018) (15)
Symbolic Execution with CEGAR (2016) (15)
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs (2001) (14)
An Application of Web-Service Interfaces ∗ (2007) (14)
An inventory model with wiener demand process and positive lead time (1994) (14)
Software Verification in the Google App-Engine Cloud (2014) (13)
Resource Assignment for Large-Scale Computing Utilities using Mathematical Programming (2003) (13)
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework (2019) (13)
Combining k-Induction with Continuously-Refined Invariants (2015) (13)
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171) (2014) (13)
TestCov: Robust Test-Suite Execution and Coverage Measurement (2019) (13)
Invited talk: the blast query language for software verification (2004) (12)
Status Report on Software Testing: Test-Comp 2021 (2021) (12)
Additional Academic Paper: Pricing of shared computer services (2005) (12)
Second Competition on Software Testing: Test-Comp 2020 (2020) (12)
A Tool for Verified Design using Alloy for Specification and CrocoPat for Verification (2006) (12)
Policy-Based Resource Assignment in Utility Computing Environments (2004) (11)
HP Enterprise Services Uses Optimization for Resource Planning (2013) (11)
Shape Refinement through Explicit Heap Analysis (2010) (11)
Evolution Storyboards: Visualization of Software Structure Dynamics (2006) (11)
CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering (2020) (11)
Explicit-Value Analysis Based on CEGAR and Interpolation (2012) (10)
Cottbus Timed Automata: Formal Definition and Semantics (2001) (10)
CrocoPat 2.1 Introduction and Reference Manual (2004) (10)
Applications to event-condition-action systems (2014) (10)
Rabbit: Verification of Real-Time Systems (2001) (10)
Formal Techniques for Distributed Systems (2013) (10)
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker (2016) (10)
Modeling the Price-Demand Relationship Using Auction Bid Data (2002) (10)
Conditional Model Checking (2011) (9)
Linux Driver Verification (2012) (9)
Pricing of shared computer services (2005) (9)
On Facilitating Reuse in Multigoal Test-Suite Generation for Software Product Lines ∗ † (2015) (8)
On-the-fly decomposition of specifications in software model checking (2016) (8)
Efficient Verification of Timed Automata using BDDs (2001) (8)
MetaVal: Witness Validation via Verification (2020) (8)
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms (2016) (8)
First international competition on software testing (2021) (7)
CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs ? (2003) (7)
Tools and Algorithms for the Construction and Analysis of Systems (2018) (7)
Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report) (2006) (7)
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems (2022) (6)
Tool and process optimization for 100-nm maskmaking using a 50-kV variable shaped e-beam system (2002) (6)
DepDigger: A Tool for Detecting Complex Low-Level Dependencies (2010) (6)
Software Verification with PDR: An Implementation of the State of the Art (2020) (6)
Improving registration metrology by correlation methods based on alias-free image simulation (2010) (5)
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker (2020) (5)
Average Cost Optimality in Inventory Models with Markovian Demands and Lost Sales (2003) (5)
Evaluating software verification systems: benchmarks and competitions (2014) (5)
Results of the 9th International Competition on Software Verification (SV-COMP 2020) (2020) (5)
A Tool for Modular Modelling and Verification of Hybrid Systems (2000) (5)
Linux Driver Verification - (Position Paper) (2012) (5)
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators (2019) (4)
Correlation method based mask to mask overlay metrology for 32nm node and beyond (2011) (4)
Domain-Independent Multi-threaded Software Model Checking (2018) (4)
A Tool for Configurable Software Verification (2021) (4)
Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques (2016) (4)
JavaSMT 3: Interacting with SMT Solvers in Java (2021) (4)
Sectoral analysis of the differences in profitability of Czech and German business ventures – an empirical benchmark study (2018) (4)
Average Cost Optimality in Inventory Models with Markovian Demands: A Summary (1997) (4)
Tests from Witnesses (2018) (4)
CheckDep: A Tool for Tracking Software Dependencies (2010) (4)
SV-Benchmarks: Benchmark Set of 10th Intl. Competition on Software Verification (SV-COMP 2021) (2021) (4)
CPA-SymExec: Efficient Symbolic Execution in CPAchecker (2018) (3)
Domain Types: Selecting Abstractions Based on Variable Usage (2013) (3)
Average-Cost Optimality of a Base-Stock Policy for a Multi-Product Inventory Model with Limited Storage (2000) (3)
A matrix approach to valuation and performance measurement based on accounting information considering different financing policies (2018) (3)
Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art (2019) (3)
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes (2015) (3)
Interpolation for Value Analysis (2015) (3)
Advances in Automatic Software Testing: Test-Comp 2022 (2022) (3)
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata (2002) (3)
Test Suites from Test-Comp 2020 Test-Generation Tools (2020) (3)
Remarks on the Swiss premium principle on positive risks (1993) (3)
An economical resetting model in continuous review (1994) (2)
Reliable benchmarking: requirements and solutions (2017) (2)
Lessons and challenges in automating data dependability (2004) (2)
Software-Verifikation (2017) (2)
A retrospective study of one decade of artifact evaluations (2022) (2)
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers (2022) (2)
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching (2018) (2)
European benchmarking of determinants of profitability for companies with accrual accounting in the agricultural sector (2020) (2)
Feature-Aware Verification (2011) (2)
Concepts of Cottbus Timed Automata (1999) (2)
The Static Analyzer Frama-C in SV-COMP (Competition Contribution) (2022) (2)
A formal evaluation of DepDegree based on weyuker's properties (2014) (2)
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR (2022) (2)
An Interface Theory for Program Verification (2020) (2)
Towards a Benchmark Set for Program Repair Based on Partial Fixes (2021) (2)
The evolution of pattern placement metrology for mask making (2011) (2)
Reusing Precisions for Efficient Regression Verification (2013) (2)
High Temperature Positron Diffusion in Si, Ge and GaAs (1992) (2)
Verification Witnesses (2022) (2)
Verification Witnesses (2022) (2)
University of Trento Software Model Checking via Large-block Encoding Software Model Checking via Large-block Encoding (2009) (1)
Reproduction Package (VM) for Article 'JavaSMT 3: Interacting with SMT Solvers in Java' (2021) (1)
Evaluating Tools for Software Verification (Track Introduction) (2018) (1)
A Data Set of Program Invariants and Error Paths (2019) (1)
Measuring , Visualizing , and Optimizing the Energy Consumption of Computer Clusters (2017) (1)
Cooperation Between Automatic and Interactive Software Verifiers (2022) (1)
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings (2019) (1)
SV-Benchmarks: Benchmark Set of the 1st Intl. Competition on Software Testing (Test-Comp 2019) (2020) (1)
Analytical quality control and information value of results in environmental analysis (1974) (1)
Automated campaign system (2006) (1)
Results of the 2nd International Competition on Software Testing (Test-Comp 2020) (2020) (1)
FRed: Conditional Model Checking via Reducers and Folders (2020) (1)
Domain-independent interprocedural program analysis using block-abstraction memoization (2020) (1)
CSIsat :I nterpolation for LA+EUF Tool Paper (2008) (1)
Modelling and Analysing a Railroad Crossing in a Modular Way (2000) (1)
A Unifying Approach for Control-Flow-Based Loop Abstraction (2022) (1)
Does the time shape of inventory data hold clues on inventory behaviour (1996) (1)
Cooperative verifier-based testing with CoVeriTest (2021) (1)
BDD-basierte Verifikation von Realzeit-Systemen (1)
Three Algorithms for Interface Synthesis: A Comparative Study (2006) (1)
A Specification Language for Observer Automata in Feature-Oriented Verification (2011) (1)
Benchmarking and Resource Measurement Application to Automatic Verification (2015) (1)
Exchanging Verification Witnesses between Verifiers (2017) (1)
A matrix approach to valuation and performance measurement based on accounting information considering different financing policies (2018) (0)
Proc . ISoLA 2016 , c © Springer Symbolic Execution with CEGAR (2017) (0)
Combining Verifiers in Conditional Model Checking via Reducers (2019) (0)
The effect of different modes of operation on the drying processes (1975) (0)
Program Analysis with Dynamic Change of Precision (2008) (0)
Evaluation and Reproducibility of Program Analysis (Track Introduction) (2014) (0)
Befestigungselement für einen Fahrzeugfensterheber (2010) (0)
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components (2023) (0)
Average Cost Models with Backorders (2010) (0)
MSR Challenge Report) (2006) (0)
TOOLympics II: competitions on formal methods (2021) (0)
Rigorous examination of reactive systems (2014) (0)
Average Cost Models with Polynomially Growing Surplus Cost (2010) (0)
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction) (2016) (0)
Correction to: Reliable benchmarking: requirements and solutions (2022) (0)
(Competition Summary SV-COMP 2014) (2014) (0)
A Unifying View on SMT-Based Software Verification (2017) (0)
Replication Package For Article "Symbolic Execution With Cegar", Proc. Isola'16 (2018) (0)
Software Testing: 5th Comparative Evaluation: Test-Comp 2023 (2023) (0)
Discount Cost Models with Polynomially Growing Surplus Cost (2010) (0)
Tools for the construction and analysis of systems (2020) (0)
Integrating Shape Analysis into the Model Checker BLAST (2006) (0)
Interactive Visualization of Verification Results from CPAchecker with D 3 LMU Munich Software and (2017) (0)
Tools for the construction and analysis of systems (2020) (0)
PJBDD: A BDD Library for Java and Multi-Threading (2021) (0)
[Inventory taking in the district of Stassfurt using automatic data processing in 1971]. (1972) (0)
Factoring in replacement value when opimizing computer procurement (2002) (0)
Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk) (2022) (0)
Statement of Contributions Stochastic Multi-product Inventory Models with Limited Storage (2007) (0)
Reusing Information in Multi-Goal Reachability Analyses (2014) (0)
Correction to: Reliable benchmarking: requirements and solutions (2022) (0)
Deadline scheduling for animation rendering (2005) (0)
Statement of Originality English : Declaration of Authorship (2019) (0)
Vanishing Discount Approach Versus Stationary Distribution Approach (2010) (0)
Size effects in drivers of profitability for Czech and German manufacturing firms (2019) (0)
Selected and Extended Papers from TACAS 2018: Preface (2020) (0)
Association Proceedings of the Third USENIX Conference on File and Storage Technologies San Francisco , CA , USA March 31 – April 2 , 2004 (2004) (0)
Discounted Cost Models with Backorders (2010) (0)
Difference Verification with Conditions (2020) (0)
Software Model Checking: 20 Years and Beyond (2022) (0)
3 Verification Communities : Remarks on Commonalities , Differences , and Terminology (2014) (0)
Software Verification Tools (Track Introduction) (2020) (0)
CCVisu 3.0 Introduction and Reference Manual — Draft — (2010) (0)
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator (2023) (0)
Case Study on Verification-Witness Validators: Where We Are and Where We Go (2022) (0)
Cooperative Test-Case Generation with Verifiers (2020) (0)
Proc . CAV 2015 , ( c ) Springer Boosting k-Induction with Continuously-Refined Invariants (2015) (0)
Size Effects in Drivers of Profitability for Czech adn German Manufacturing Firms (2019) (0)
Competition on Software Verification and Witness Validation: SV-COMP 2023 (2023) (0)
Algorithms for Interface Synthesis (Invited Tutorial) (2007) (0)
Models with Demand Influenced by Promotion (2010) (0)
Implementation of a Modeling Tool Using Alloy as Meta-Modeling Language and CrocoPat as Validation Tool (2006) (0)
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification (2022) (0)
Results of the 3rd Intl. Competition on Software Testing (Test-Comp 2021) (2021) (0)
BDD-basierte Verifikation von Echtzeit-Systemen (2000) (0)
BDD-based software verification (2014) (0)
Precision Reuse in CPAchecker (2014) (0)
Correction to: A Unifying View on SMT-Based Software Verification (2021) (0)
SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS) (2018) (0)
Cottbus Timed Automata : Formal Definition and Compositional Semantics (2001) (0)
Solver-based Analysis of Memory Safety using Separation Logic (2020) (0)
SMT Formulas for Boolean Programs from SLAM (2020) (0)
Average Cost Models with Lost Sales (2010) (0)
Proc . SPIN 2015 , ( c ) Springer Refinement Selection (2015) (0)
Conclusions and Open Research Problems (2010) (0)
Tritium-labeled wrist watches. (1996) (0)
TOOLympics I: Competition on software testing (2021) (0)
Cohesion as Software Design Decisive Measure: A Metric Approach (2019) (0)
Discounted Cost Models with Lost Sales (2010) (0)

This paper list is powered by the following services:

Other Resources About Dirk Beyer

www.sosy-lab.org

What Schools Are Affiliated With Dirk Beyer?

Dirk Beyer is affiliated with the following schools: