Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dirk Beyer
Author information
- University of Passau / Simon Fraser University
Other persons with the same name
- Dirk Beyer 0002 — Hewlett-Packard Laboratories, Palo Alto, CA, USA
2010 – today
- 2013
[c54]Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith: Information Reuse for Multi-goal Reachability Analyses. ESOP 2013: 472-491- [c53]Dirk Beyer, Stefan Löwe: Explicit-State Software Model Checking Based on CEGAR and Interpolation. FASE 2013: 146-162
- [c52]Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer: Strategies for product-line verification: case studies and experiments. ICSE 2013: 482-491
- [c51]Dirk Beyer, Philipp Wendler: Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. SPIN 2013: 1-17
- [c50]Dirk Beyer: Second Competition on Software Verification - (Summary of SV-COMP 2013). TACAS 2013: 594-609
- [e2]Dirk Beyer, Michele Boreale (Eds.): 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. Lecture Notes in Computer Science 7892, Springer 2013, ISBN 978-3-642-38591-9
- [i8]Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein: Domain Types: Selecting Abstractions Based on Variable Usage. CoRR abs/1305.6640 (2013)
- [i7]Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler: Reusing Precisions for Efficient Regression Verification. CoRR abs/1305.6915 (2013)
- 2012
- [c49]Dirk Beyer, Philipp Wendler: Algorithms for software model checking: Predicate abstraction vs. Impact. FMCAD 2012: 106-113
- [c48]Dirk Beyer, Alexander K. Petrenko: Linux Driver Verification - (Position Paper). ISoLA (2) 2012: 1-6
- [c47]Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer: The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) 2012: 608-614
- [c46]Dirk Beyer, Andreas Stahlbauer: BDD-Based Software Model Checking with CPAchecker. MEMICS 2012: 1-11
- [c45]Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler: Conditional model checking: a technique to pass information between verifiers. SIGSOFT FSE 2012: 57
- [c44]
- [e1]Dirk Beyer, Arie van Deursen, Michael W. Godfrey (Eds.): IEEE 20th International Conference on Program Comprehension, ICPC 2012, Passau, Germany, June 11-13, 2012. 2012, ISBN 978-1-4673-1216-5
- [i6]Dirk Beyer, Stefan Löwe: Explicit-Value Analysis Based on CEGAR and Interpolation. CoRR abs/1212.6542 (2012)
- 2011
- [c43]Dirk Beyer, M. Erkan Keremoglu: CPAchecker: A Tool for Configurable Software Verification. CAV 2011: 184-190
- [c42]
- [c41]Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer: Detection of feature interactions using feature-aware verification. ASE 2011: 372-375
- [i5]Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler: Conditional Model Checking. CoRR abs/1109.6926 (2011)
- [i4]Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer: Feature-Aware Verification. CoRR abs/1110.0021 (2011)
- 2010
- [c40]Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey: Shape Refinement through Explicit Heap Analysis. FASE 2010: 263-277
- [c39]Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler: Predicate abstraction with adjustable-block encoding. FMCAD 2010: 189-197
- [c38]Dirk Beyer, Ashgan Fararooy: DepDigger: A Tool for Detecting Complex Low-Level Dependencies. ICPC 2010: 40-41
- [c37]
- [c36]Dirk Beyer, Ashgan Fararooy: A Simple and Effective Measure for Complex Low-Level Dependencies. ICPC 2010: 80-83
2000 – 2009
- 2009
- [c35]Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software model checking via large-block encoding. FMCAD 2009: 25-32
- [i3]Dirk Beyer, M. Erkan Keremoglu: CPAchecker: A Tool for Configurable Software Verification. CoRR abs/0902.0019 (2009)
- [i2]Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software Model Checking via Large-Block Encoding. CoRR abs/0904.4709 (2009)
- 2008
- [c34]
- [c33]
- [c32]Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38
- 2007
- [j2]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
- [c31]
- [c30]Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. CAV 2007: 504-518
- [c29]Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia: An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
- [c28]Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
- [c27]Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
- 2006
- [c26]
- [c25]Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
- [c24]Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81
- [c23]
- [c22]Dirk Beyer, Ahmed E. Hassan: Evolution Storyboards: Visualization of Software Structure Dynamics. ICPC 2006: 248-251
- [c21]Dirk Beyer: Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). MSR 2006: 165-166
- [c20]Dirk Beyer, Ahmed E. Hassan: Animated Visualization of Software History using Evolution Storyboards. WCRE 2006: 199-210
- 2005
- [j1]Dirk Beyer, Andreas Noack, Claus Lewerentz: Efficient Relational Calculation for Software Analysis. IEEE Trans. Software Eng. 31(2): 137-149 (2005)
- [c19]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18
- [c18]
- [c17]Dirk Beyer, Andreas Noack: Clustering Software Artifacts Based on Frequent Common Changes. IWPC 2005: 259-268
- [c16]
- 2004
- [c15]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
- [c14]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
- [c13]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202
- [c12]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2
- [c11]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
- [i1]Dirk Beyer, Andreas Noack: CrocoPat 2.1 Introduction and Reference Manual. CoRR cs.PL/0409009 (2004)
- 2003
- [c10]Dirk Beyer, Claus Lewerentz, Andreas Noack: Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. CAV 2003: 122-125
- [c9]Dirk Beyer, Andreas Noack: Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? FORTE 2003: 193-208
- [c8]Dirk Beyer, Claus Lewerentz: CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. IWPC 2003: 294-295
- [c7]Dirk Beyer, Andreas Noack, Claus Lewerentz: Simple and Efficient Relational Querying of Software Structures. WCRE 2003: 216-225
- 2001
- [c6]Dirk Beyer: Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. CHARME 2001: 86-91
- [c5]
- 2000
- [c4]
- [c3]Dirk Beyer, Claus Lewerentz, Frank Simon: Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems. IWSM 2000: 1-17
1990 – 1999
- 1999
- [c2]
- 1998
- [c1]Dirk Beyer, Heinrich Rust: Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. FBT 1998: 148-159
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-04 00:23 CEST by the dblp team