Dirk Beyer
Orcid: 0000-0003-4832-7662Affiliations:
- LMU Munich, SoSy Lab, Germany
- University of Passau, Faculty of Computer Science and Mathematics, Germany
- Simon Fraser University, School of Computing Science, Canada
- EPFL, Lausanne, School of Computer and Communication Sciences, Switzerland
- Brandenburg Technical University at Cottbus, Germany
According to our database1,
Dirk Beyer
authored at least 243 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on sosy-lab.org
-
on scopus.com
-
on idref.fr
-
on viaf.org
-
on twitter.com
-
on orcid.org
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proc. ACM Softw. Eng., 2024
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Proc. ACM Softw. Eng., 2024
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version).
CoRR, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Software Engineering 2023, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
CoRR, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
Proceedings of the Static Analysis - 29th International Symposium, 2022
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
Proceedings of the Fundamental Approaches to Software Engineering, 2022
Proceedings of the Fundamental Approaches to Software Engineering, 2022
Proceedings of the Principles of Systems Design, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Tools Technol. Transf., 2021
J. Autom. Reason., 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the Fundamental Approaches to Software Engineering, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Automated Technology for Verification and Analysis, 2021
2020
Reproduction Package for SEFM 2020 Article `Difference Verification with Conditions'.
Dataset, July, 2020
Replication Package for SEFM 2020 Article `FRed: Conditional Model Checking via Reducers and Folders'.
Dataset, July, 2020
Dataset, June, 2020
Reproduction Package for ESEC/FSE 2020 Article `Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'.
Dataset, June, 2020
Reproduction Package for ISoLA 2020 Article `Violation Witnesses and Result Validation for Multi-Threaded Programs'.
Dataset, June, 2020
Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'.
Dataset, June, 2020
Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'.
Dataset, June, 2020
Reproduction Package (Virtual Machine) for CAV 2020 Article 'MetaVal: Witness Validation via Verification'.
Dataset, May, 2020
Replication Package (Virtual Machine) for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'.
Dataset, May, 2020
Dataset, May, 2020
SV-Benchmarks: Benchmark Set of the 1st Intl. Competition on Software Testing (Test-Comp 2019).
Dataset, May, 2020
Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'.
Dataset, March, 2020
Dataset, March, 2020
Reproduction Artifact for TACAS 2020 Article 'CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering'.
Dataset, February, 2020
Reproduction Package for STTT Article 'Cooperative, Verifier-Based Testing with CoVeriTest'.
Dataset, February, 2020
Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'.
Dataset, February, 2020
Dataset, February, 2020
SV-Benchmarks: Benchmark Set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020).
Dataset, February, 2020
Dataset, January, 2020
Dataset, January, 2020
SV-Benchmarks: Benchmark Set of 9th Intl. Competition on Software Verification (SV-COMP 2020).
Dataset, January, 2020
Results of the 9th International Competition on Software Verification (SV-COMP 2020).
Dataset, January, 2020
Dataset, January, 2020
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Domain-independent interprocedural program analysis using block-abstraction memoization.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
Proceedings of the Software Engineering 2020, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Reproduction Package for ATVA 2019 Article 'Conditional Testing: Off-the-Shelf Combination of Test-Case Generators'.
Dataset, October, 2019
Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'.
Dataset, October, 2019
Reproduction Package for Article ASE 2019 'TestCov: Robust Test-Suite Execution and Coverage Measurement'.
Dataset, September, 2019
Reproduction Package for TACAS 2020 Article 'Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art'.
Dataset, August, 2019
Replication Artifact for Article "Conditional Testing: Off-the-Shelf Combination of Test-Case Generators".
Dataset, June, 2019
SV-Benchmarks: Benchmark Set of 8th Intl. Competition on Software Verification (SV-COMP 2019).
Dataset, March, 2019
Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19.
Dataset, February, 2019
Dataset, February, 2019
Int. J. Softw. Tools Technol. Transf., 2019
Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art.
CoRR, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Software Engineering and Software Management, 2019
Proceedings of the 16th International Conference on Mining Software Repositories, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
Reproduction Package for ASE 2018 Article 'CPA-SymExec: Efficient Symbolic Execution in CPAchecker'.
Dataset, July, 2018
Reproduction Package for ASE 2018 Article 'Domain-Independent Multi-threaded Software Model Checking'.
Dataset, July, 2018
Replication Package for Article "CPA-SymExec: Efficient Symbolic Execution in CPAchecker".
Dataset, May, 2018
Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'.
Dataset, February, 2018
SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16).
Dataset, January, 2018
Dataset, January, 2018
Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17.
Dataset, January, 2018
Proceedings of the Handbook of Model Checking., 2018
Proceedings of the Tests and Proofs - 12th International Conference, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Software Engineering 2017, 2017
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art.
Proceedings of the Hardware and Software: Verification and Testing, 2017
Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017
2016
Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers".
Dataset, July, 2016
Data Set for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16.
Dataset, July, 2016
Replication Package (Virtual Machine) for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16.
Dataset, July, 2016
Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
On facilitating reuse in multi-goal test-suite generation for software product lines.
Proceedings of the Software Engineering 2016, 2016
Proceedings of the Software Engineering 2016, 2016
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Reproduction Package (Virtual Machine) for CAV 2015 Article 'Boosting k‑Induction with Continuously‑Refined Invariants'.
Dataset, June, 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
Interpolation for Value Analysis.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
Int. J. Softw. Tools Technol. Transf., 2014
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).
Dagstuhl Reports, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
Proceedings of the 22nd International Conference on Program Comprehension, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses.
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
Proceedings of the Fundamental Approaches to Software Engineering, 2013
Proceedings of the Programming Languages and Systems, 2013
2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010
Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010
Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
2008
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006
Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
IEEE Trans. Software Eng., 2005
Proceedings of the 14th international conference on World Wide Web, 2005
Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005
Co-Change Visualization.
Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005
2004
Proceedings of the Static Analysis, 11th International Symposium, 2004
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
2003
Proceedings of the 10th Working Conference on Reverse Engineering, 2003
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
PhD thesis, 2002
2001
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.
Proceedings of the Correct Hardware Design and Verification Methods, 2001
2000
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems.
Proceedings of the New Approaches in Software Measurement, 10th International Workshop, 2000
BDD-basierte Verifikation von Echtzeit-Systemen.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000
1999
Concepts of Cottbus Timed Automata.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999
1998
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998