Dirk Beyer - RankMe

221 papers A* 26A 16B 27C 12Journal 42Unranked 88

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module. TACAS (2) Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger
2026	—	`ed.`	Companion Proceedings of the 10th International Conference on the Art, Science, and Engineering of Programming, ‹Programming› Companion 2026, MunichGermany, March 16-20, 2026 Programming Dirk Beyer
2026	—	`conf`	Evaluating Software Verifiers for C, Java, and SV-LIB - (Report on SV-COMP 2026). TACAS (2) Dirk Beyer, Jan Strejcek
2026	B	`conf`	Evaluating Tools for Automatic Software Testing (Report on Test-Comp 2026). FASE Dirk Beyer
2026	—	`conf`	Find, Use, and Conserve Tools for Formal Methods. On the Pursuit of Insight and Elegance Dirk Beyer
2026	B	`conf`	Testing in Formal Verification via Witness Generation (Empirical Evaluation). FASE Dirk Beyer, Thomas Lemberger, Henrik Wachowitz
2025	J	`jnl`	A Modular Program-Transformation Framework for Reducing Specifications to Reachability. CoRR Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng
2025	B	`conf`	Advances in Automatic Software Testing: Test-Comp 2025. FASE Dirk Beyer
2025	—	`conf`	Artifact Evaluations for Stronger Research Results. SIGSOFT FSE Companion Dirk Beyer, Stefan Winter
2025	C	`conf`	AutoSV-Annotator: Integrating Deductive and Automatic Software Verification. FMICS Lukas Armborst, Dirk Beyer, Marieke Huisman, Marian Lingsch Rosenfeld
2025	—	`conf`	CPAchecker 4.0 as Witness Validator - (Competition Contribution). TACAS (3) Dirk Beyer, Marian Lingsch Rosenfeld
2025	J	`jnl`	Construction of verifier combinations from off-the-shelf components. Formal Methods Syst. Des. Dirk Beyer, Sudeep Kanav, Tobias Kleinert, Cedric Richter
2025	—	`conf`	Improvements in Software Verification and Witness Validation: SV-COMP 2025. TACAS (3) Dirk Beyer, Jan Strejcek
2025	J	`jnl`	Information Exchange in Software Verification (Dagstuhl Seminar 25172). Dagstuhl Reports Dirk Beyer, Marieke Huisman, Jan Strejcek, Heike Wehrheim
2025	J	`jnl`	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. J. Autom. Reason. Dirk Beyer, Nian-Ze Lee, Philipp Wendler
2025	A*	`conf`	Non-termination Witnesses and Their Validation. ASE Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek
2025	J	`jnl`	Reproducibility and replication of research results. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Arnd Hartmanns
2025	J	`jnl`	SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks. CoRR Dirk Beyer, Gidon Ernst, Martin Jonás, Marian Lingsch Rosenfeld
2025	—	`conf`	TransVer: A Modular Program-Transformation Framework for Reduction to Reachability. SPIN Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng
2024	C	`conf`	A Retrospective Study of one Decade of Artifact Evaluations. Software Engineering Stefan Winter, Christopher Steven Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell, Michael Hilton, Dirk Beyer
2024	J	`jnl`	A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. Proc. ACM Softw. Eng. Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee
2024	J	`jnl`	Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version). CoRR Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2024	—	`conf`	Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. SPIN Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2024	A*	`conf`	BenchCloud: A Platform for Scalable Performance Benchmarking. ASE Dirk Beyer, Po-Chun Chien, Marek Jankola
2024	—	`conf`	Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. TACAS (3) Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg
2024	—	`conf`	CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. ATVA (2) Dirk Beyer, Thomas Lemberger, Henrik Wachowitz
2024	—	`conf`	CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler
2024	J	`jnl`	Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. Dirk Beyer, Matthias Kettl, Thomas Lemberger
2024	—	`conf`	FM-Weck: Containerized Execution of Formal-Methods Tools. FM (2) Dirk Beyer, Henrik Wachowitz
2024	—	`conf`	Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion Dirk Beyer, Matthias Kettl, Thomas Lemberger
2024	—	`conf`	Fault Localization on Verification Witnesses. SPIN Dirk Beyer, Matthias Kettl, Thomas Lemberger
2024	B	`ed.`	Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings FASE Dirk Beyer, Ana Cavalcanti
2024	—	`conf`	MoXIchecker: An Extensible Model Checker for MoXI. VSTTE Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2024	J	`jnl`	MoXIchecker: An Extensible Model Checker for MoXI. CoRR Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2024	A	`conf`	P3: A Dataset of Partial Program Patches. MSR Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo
2024	J	`jnl`	Six years later: testing vs. model checking. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Thomas Lemberger
2024	—	`conf`	Software Verification Witnesses 2.0. SPIN Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek
2024	J	`jnl`	Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). CoRR Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler
2024	—	`conf`	Software Verification with CPAchecker 3.0: Tutorial and User Guide. FM (2) Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler
2024	—	`conf`	State of the Art in Software Verification and Witness Validation: SV-COMP 2024. TACAS (3) Dirk Beyer
2024	—	`ed.`	TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France TOOLympics@ETAPS Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
2024	—	`conf`	The Transformation Game: Joining Forces for Verification. Principles of Verification (3) Dirk Beyer, Nian-Ze Lee
2023	—	`conf`	Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. TACAS (2) Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2023	A*	`conf`	CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. ASE Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2023	—	`conf`	CoVeriTeam Service: Verification as a Service. ICSE Companion Dirk Beyer, Sudeep Kanav, Henrik Wachowitz
2023	—	`conf`	Competition on Software Verification and Witness Validation: SV-COMP 2023. TACAS (2) Dirk Beyer
2023	C	`conf`	Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
2023	A*	`conf`	LIV: Loop-Invariant Validation Using Straight-Line Programs. ASE Dirk Beyer, Martin Spiessl
2023	—	`conf`	Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper). AISoLA (Selected Papers) Dirk Beyer
2023	B	`conf`	Software Testing: 5th Comparative Evaluation: Test-Comp 2023. FASE Dirk Beyer
2023	A*	`conf`	cegar-pt: A Tool for Abstraction by Program Transformation. ASE Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
2022	B	`conf`	A Unifying Approach for Control-Flow-Based Loop Abstraction. SEFM Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
2022	—	`conf`	A retrospective study of one decade of artifact evaluations. ESEC/SIGSOFT FSE Stefan Winter, Christopher Steven Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell, Michael Hilton, Dirk Beyer
2022	B	`conf`	Advances in Automatic Software Testing: Test-Comp 2022. FASE Dirk Beyer
2022	B	`conf`	Case Study on Verification-Witness Validators: Where We Are and Where We Go. SAS Dirk Beyer, Jan Strejcek
2022	—	`conf`	CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. TACAS (1) Dirk Beyer, Sudeep Kanav
2022	B	`conf`	Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. FASE Dirk Beyer, Sudeep Kanav, Cedric Richter
2022	B	`conf`	Cooperation Between Automatic and Interactive Software Verifiers. SEFM Dirk Beyer, Martin Spiessl, Sven Umbricht
2022	—	`conf`	Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk). FTSCS Dirk Beyer
2022	J	`jnl`	Correction to: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Stefan Löwe, Philipp Wendler
2022	A*	`conf`	Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. ICSE Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
2022	J	`jnl`	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. CoRR Dirk Beyer, Nian-Ze Lee, Philipp Wendler
2022	—	`conf`	Progress on Software Verification: SV-COMP 2022. TACAS (2) Dirk Beyer
2022	—	`conf`	Software Model Checking: 20 Years and Beyond. Principles of Systems Design Dirk Beyer, Andreas Podelski
2022	—	`conf`	The Static Analyzer Frama-C in SV-COMP (Competition Contribution). TACAS (2) Dirk Beyer, Martin Spiessl
2022	J	`jnl`	Verification Witnesses. ACM Trans. Softw. Eng. Methodol. Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig
2021	J	`jnl`	Cooperative verifier-based testing with CoVeriTest. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Marie-Christine Jakobs
2021	J	`jnl`	Correction to: A Unifying View on SMT-Based Software Verification. J. Autom. Reason. Dirk Beyer, Matthias Dangl, Philipp Wendler
2021	J	`jnl`	First international competition on software testing. Int. J. Softw. Tools Technol. Transf. Dirk Beyer
2021	—	`conf`	JavaSMT 3: Interacting with SMT Solvers in Java. CAV (2) Daniel Baier, Dirk Beyer, Karlheinz Friedberger
2021	B	`conf`	PJBDD: A BDD Library for Java and Multi-Threading. ATVA Dirk Beyer, Karlheinz Friedberger, Stephan Holzner
2021	—	`conf`	Software Verification: 10th Comparative Evaluation (SV-COMP 2021). TACAS (2) Dirk Beyer
2021	B	`conf`	Status Report on Software Testing: Test-Comp 2021. FASE Dirk Beyer
2021	J	`jnl`	TOOLympics I: Competition on software testing. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Marieke Huisman
2021	J	`jnl`	TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
2021	J	`jnl`	Towards a Benchmark Set for Program Repair Based on Partial Fixes. CoRR Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang
2020	—	`conf`	Advances in Automatic Software Verification: SV-COMP 2020. TACAS (2) Dirk Beyer
2020	—	`conf`	An Interface Theory for Program Verification. ISoLA (1) Dirk Beyer, Sudeep Kanav
2020	—	`conf`	CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering. TACAS (2) Dirk Beyer, Philipp Wendler
2020	—	`conf`	Cooperative Test-Case Generation with Verifiers. SE Dirk Beyer, Marie-Christine Jakobs
2020	B	`conf`	Difference Verification with Conditions. SEFM Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger
2020	—	`conf`	Domain-independent interprocedural program analysis using block-abstraction memoization. ESEC/SIGSOFT FSE Dirk Beyer, Karlheinz Friedberger
2020	B	`conf`	FRed: Conditional Model Checking via Reducers and Folders. SEFM Dirk Beyer, Marie-Christine Jakobs
2020	—	`conf`	MetaVal: Witness Validation via Verification. CAV (2) Dirk Beyer, Martin Spiessl
2020	B	`conf`	Second Competition on Software Testing: Test-Comp 2020. FASE Dirk Beyer
2020	J	`jnl`	Selected and Extended Papers from TACAS 2018: Preface. J. Autom. Reason. Dirk Beyer, Marieke Huisman
2020	—	`conf`	Software Verification Tools (Track Introduction). ISoLA (4) Markus Schordan, Dirk Beyer, Irena Bojanova
2020	—	`conf`	Software Verification with PDR: An Implementation of the State of the Art. TACAS (1) Dirk Beyer, Matthias Dangl
2020	J	`jnl`	Tools for the construction and analysis of systems. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Marieke Huisman
2020	—	`conf`	Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. ISoLA (1) Dirk Beyer, Heike Wehrheim
2020	B	`ed.`	Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings VMCAI Dirk Beyer, Damien Zufferey
2020	—	`conf`	Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker. ISoLA (1) Dirk Beyer, Karlheinz Friedberger
2019	A	`conf`	A data set of program invariants and error paths. MSR Dirk Beyer
2019	—	`conf`	Automatic Verification of C and Java Programs: SV-COMP 2019. TACAS (3) Dirk Beyer
2019	B	`conf`	CoVeriTest: Cooperative Verifier-Based Testing. FASE Dirk Beyer, Marie-Christine Jakobs
2019	—	`conf`	Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
2019	B	`conf`	Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ATVA Dirk Beyer, Thomas Lemberger
2019	—	`conf`	International Competition on Software Testing (Test-Comp). TACAS (3) Dirk Beyer
2019	J	`jnl`	Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Stefan Löwe, Philipp Wendler
2019	J	`jnl`	Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art. CoRR Dirk Beyer, Matthias Dangl
2019	—	`conf`	TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
2019	A*	`conf`	TestCov: Robust Test-Suite Execution and Coverage Measurement. ASE Dirk Beyer, Thomas Lemberger
2019	—	`ed.`	Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings TAP@FM Dirk Beyer, Chantal Keller
2019	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III TACAS (3) Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
2019	J	`jnl`	Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR Dirk Beyer, Heike Wehrheim
2018	J	`jnl`	A Unifying View on SMT-Based Software Verification. J. Autom. Reason. Dirk Beyer, Matthias Dangl, Philipp Wendler
2018	A*	`conf`	CPA-SymExec: efficient symbolic execution in CPAchecker. ASE Dirk Beyer, Thomas Lemberger
2018	—	`ch.`	Combining Model Checking and Data-Flow Analysis. Handbook of Model Checking Dirk Beyer, Sumit Gulwani, David A. Schmidt
2018	A*	`conf`	Domain-independent multi-threaded software model checking. ASE Dirk Beyer, Karlheinz Friedberger
2018	—	`conf`	Evaluating Tools for Software Verification (Track Introduction). ISoLA (2) Markus Schordan, Dirk Beyer, Stephen F. Siegel
2018	—	`conf`	In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. ISoLA (2) Dirk Beyer, Karlheinz Friedberger
2018	A*	`conf`	Reducer-based construction of conditional verifiers. ICSE Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
2018	—	`conf`	Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach. ISoLA (2) Dirk Beyer, Matthias Dangl
2018	—	`conf`	Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig
2018	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I TACAS (1) Dirk Beyer, Marieke Huisman
2018	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II TACAS (2) Dirk Beyer, Marieke Huisman
2017	C	`conf`	Exchanging Verification Witnesses between Verifiers. Software Engineering Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
2017	—	`conf`	Software Verification with Validation of Results - (Report on SV-COMP 2017). TACAS (2) Dirk Beyer
2017	—	`conf`	Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Haifa Verification Conference Dirk Beyer, Thomas Lemberger
2017	—	`ch.`	Software-Verifikation. 50 Jahre Universitäts-Informatik in München Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing
2016	—	`conf`	A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. MEMICS Dirk Beyer, Karlheinz Friedberger
2016	—	`conf`	Correctness witnesses: exchanging verification results between verifiers. SIGSOFT FSE Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
2016	—	`conf`	Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). ISoLA (1) Markus Schordan, Dirk Beyer, Jonas Lundberg
2016	—	`conf`	JavaSMT: A Unified Interface for SMT Solvers in Java. VSTTE Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer
2016	C	`conf`	On facilitating reuse in multi-goal test-suite generation for software product lines. Software Engineering Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
2016	—	`conf`	On-the-fly decomposition of specifications in software model checking. SIGSOFT FSE Sven Apel, Dirk Beyer, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer
2016	—	`conf`	Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. ISoLA (1) Dirk Beyer
2016	A	`conf`	Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016). TACAS Dirk Beyer
2016	—	`conf`	SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms. VSTTE Dirk Beyer, Matthias Dangl
2016	—	`conf`	Symbolic Execution with CEGAR. ISoLA (1) Dirk Beyer, Thomas Lemberger
2016	—	`conf`	Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses. CAV (2) Dirk Beyer, Matthias Dangl
2016	C	`conf`	Witness validation and stepwise testification across software verifiers. Software Engineering Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
2015	—	`conf`	Benchmarking and Resource Measurement. SPIN Dirk Beyer, Stefan Löwe, Philipp Wendler
2015	—	`conf`	Boosting k-Induction with Continuously-Refined Invariants. CAV (1) Dirk Beyer, Matthias Dangl, Philipp Wendler
2015	J	`jnl`	Combining k-Induction with Continuously-Refined Invariants. CoRR Dirk Beyer, Matthias Dangl, Philipp Wendler
2015	J	`jnl`	Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes. CoRR Dirk Beyer, Stefan Löwe, Philipp Wendler
2015	B	`conf`	Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. FASE Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
2015	—	`conf`	Interpolation for Value Analysis. Software Engineering & Management Dirk Beyer, Stefan Löwe
2015	—	`conf`	Presence-Condition Simplification in Highly Configurable Systems. ICSE (1) Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, Thorsten Berger
2015	—	`conf`	Refinement Selection. SPIN Dirk Beyer, Stefan Löwe, Philipp Wendler
2015	C	`conf`	Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. FORTE Dirk Beyer, Stefan Löwe, Philipp Wendler
2015	A	`conf`	Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015). TACAS Dirk Beyer
2015	—	`conf`	Witness validation and stepwise testification across software verifiers. ESEC/SIGSOFT FSE Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
2014	A	`conf`	A formal evaluation of DepDegree based on weyuker's properties. ICPC Dirk Beyer, Peter Häring
2014	J	`jnl`	BDD-based software verification - Applications to event-condition-action systems. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Andreas Stahlbauer
2014	J	`jnl`	Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). Dagstuhl Reports Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
2014	—	`conf`	Evaluation and Reproducibility of Program Analysis (Track Introduction). ISoLA (2) Markus Schordan, Welf Löwe, Dirk Beyer
2014	C	`conf`	Precision Reuse in CPAchecker. Software Engineering Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
2014	C	`conf`	Reusing Information in Multi-Goal Reachability Analyses. Software Engineering Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
2014	J	`jnl`	Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
2014	A*	`conf`	Software Verification in the Google App-Engine Cloud. CAV Dirk Beyer, Georg Dresler, Philipp Wendler
2014	A	`conf`	Status Report on Software Verification - (Competition Summary SV-COMP 2014). TACAS Dirk Beyer
2013	—	`conf`	Domain Types: Abstract-Domain Selection Based on Variable Usage. Haifa Verification Conference Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein
2013	J	`jnl`	Domain Types: Selecting Abstractions Based on Variable Usage CoRR Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein
2013	B	`conf`	Explicit-State Software Model Checking Based on CEGAR and Interpolation. FASE Dirk Beyer, Stefan Löwe
2013	—	`ed.`	Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings FMOODS/FORTE Dirk Beyer, Michele Boreale
2013	A	`conf`	Information Reuse for Multi-goal Reachability Analyses. ESOP Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
2013	—	`conf`	Precision reuse for efficient regression verification. ESEC/SIGSOFT FSE Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
2013	—	`conf`	Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. SPIN Dirk Beyer, Philipp Wendler
2013	J	`jnl`	Reusing Precisions for Efficient Regression Verification CoRR Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
2013	A	`conf`	Second Competition on Software Verification - (Summary of SV-COMP 2013). TACAS Dirk Beyer
2013	A*	`conf`	Strategies for product-line verification: case studies and experiments. ICSE Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer
2012	B	`conf`	Algorithms for software model checking: Predicate abstraction vs. Impact. FMCAD Dirk Beyer, Philipp Wendler
2012	—	`conf`	BDD-Based Software Model Checking with CPAchecker. MEMICS Dirk Beyer, Andreas Stahlbauer
2012	A	`conf`	Competition on Software Verification - (SV-COMP). TACAS Dirk Beyer
2012	—	`conf`	Conditional model checking: a technique to pass information between verifiers. SIGSOFT FSE Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler
2012	J	`jnl`	Explicit-Value Analysis Based on CEGAR and Interpolation CoRR Dirk Beyer, Stefan Löwe
2012	A	`ed.`	IEEE 20th International Conference on Program Comprehension, ICPC 2012, Passau, Germany, June 11-13, 2012 ICPC Dirk Beyer, Arie van Deursen, Michael W. Godfrey
2012	—	`conf`	Linux Driver Verification - (Position Paper). ISoLA (2) Dirk Beyer, Alexander K. Petrenko
2012	—	`conf`	The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer
2011	A*	`conf`	CPAchecker: A Tool for Configurable Software Verification. CAV Dirk Beyer, M. Erkan Keremoglu
2011	J	`jnl`	Conditional Model Checking CoRR Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler
2011	A*	`conf`	Detection of feature interactions using feature-aware verification. ASE Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer
2011	A*	`conf`	Feature cohesion in software product lines: an exploratory study. ICSE Sven Apel, Dirk Beyer
2011	J	`jnl`	Feature-Aware Verification CoRR Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer
2010	A	`conf`	A Simple and Effective Measure for Complex Low-Level Dependencies. ICPC Dirk Beyer, Ashgan Fararooy
2010	A	`conf`	CheckDep: A Tool for Tracking Software Dependencies. ICPC Dirk Beyer, Ashgan Fararooy
2010	A	`conf`	DepDigger: A Tool for Detecting Complex Low-Level Dependencies. ICPC Dirk Beyer, Ashgan Fararooy
2010	B	`conf`	Predicate abstraction with adjustable-block encoding. FMCAD Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler
2010	B	`conf`	Shape Refinement through Explicit Heap Analysis. FASE Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey
2009	J	`jnl`	CPAchecker: A Tool for Configurable Software Verification CoRR Dirk Beyer, M. Erkan Keremoglu
2009	J	`jnl`	Software Model Checking via Large-Block Encoding CoRR Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani
2009	B	`conf`	Software model checking via large-block encoding. FMCAD Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani
2008	—	`conf`	CCVisu: automatic visual software decomposition. ICSE Companion Dirk Beyer
2008	A*	`conf`	CSIsat: Interpolation for LA+EUF. CAV Dirk Beyer, Damien Zufferey, Rupak Majumdar
2008	A*	`conf`	Program Analysis with Dynamic Precision Adjustment. ASE Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
2007	A*	`conf`	Algorithms for Interface Synthesis. CAV Dirk Beyer, Thomas A. Henzinger, Vasu Singh
2007	A	`conf`	An Application ofWeb-Service Interfaces. ICWS Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia
2007	A*	`conf`	Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. CAV Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
2007	B	`conf`	Invariant Synthesis for Combined Theories. VMCAI Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
2007	A*	`conf`	Path invariants. PLDI Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
2007	J	`jnl`	The software model checker Blast. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2006	—	`conf`	Animated Visualization of Software History using Evolution Storyboards. WCRE Dirk Beyer, Ahmed E. Hassan
2006	A	`conf`	Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). MSR Dirk Beyer
2006	A	`conf`	Evolution Storyboards: Visualization of Software Structure Dynamics. ICPC Dirk Beyer, Ahmed E. Hassan
2006	A*	`conf`	Lazy Shape Analysis. CAV Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
2006	—	`conf`	Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
2006	A*	`conf`	Relational programming with CrocoPat. ICSE Dirk Beyer
2006	A*	`conf`	Symbolic invariant verification for systems with dynamic structural adaptation. ICSE Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling
2005	B	`conf`	Checking Memory Safety with Blast. FASE Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2005	—	`conf`	Clustering Software Artifacts Based on Frequent Common Changes. IWPC Dirk Beyer, Andreas Noack
2005	—	`conf`	Co-Change Visualization. ICSM (Industrial and Tool Volume) Dirk Beyer
2005	J	`jnl`	Efficient Relational Calculation for Software Analysis. IEEE Trans. Software Eng. Dirk Beyer, Andreas Noack, Claus Lewerentz
2005	A*	`conf`	Web service interfaces. WWW Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger
2004	—	`conf`	An Eclipse Plug-in for Model Checking. IWPC Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	J	`jnl`	CrocoPat 2.1 Introduction and Reference Manual CoRR Dirk Beyer, Andreas Noack
2004	A*	`conf`	Generating Tests from Counterexamples. ICSE Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	C	`conf`	Invited talk: the blast query language for software verification. PEPM Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	C	`conf`	Invited talk: the blast query language for software verification. PPDP Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	B	`conf`	The Blast Query Language for Software Verification.. SAS Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2003	C	`conf`	Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? FORTE Dirk Beyer, Andreas Noack
2003	—	`conf`	CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. IWPC Dirk Beyer, Claus Lewerentz
2003	A*	`conf`	Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. CAV Dirk Beyer, Claus Lewerentz, Andreas Noack
2003	—	`conf`	Simple and Efficient Relational Querying of Software Structures. WCRE Dirk Beyer, Andreas Noack, Claus Lewerentz
2002	—	`—`	Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata. Dirk Beyer
2001	—	`conf`	Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. CHARME Dirk Beyer
2001	—	`conf`	Improvements in BDD-Based Reachability Analysis of Timed Automata. FME Dirk Beyer
2000	—	`conf`	BDD-basierte Verifikation von Echtzeit-Systemen. FBT Dirk Beyer, Andreas Noack
2000	—	`conf`	Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems. IWSM Dirk Beyer, Claus Lewerentz, Frank Simon
1999	—	`conf`	Concepts of Cottbus Timed Automata. FBT Dirk Beyer, Heinrich Rust
1998	—	`conf`	Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. FBT Dirk Beyer, Heinrich Rust