Dirk Beyer

University of Passau / Simon Fraser University

other persons with the same name:

• Dirk Beyer - Hewlett-Packard Laboratories, Palo Alto, CA, USA

	2012
51		Dirk Beyer: Competition on Software Verification - (SV-COMP). TACAS 2012: 504-524
	2011
50		Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer: Detection of feature interactions using feature-aware verification. ASE 2011: 372-375
49		Dirk Beyer, M. Erkan Keremoglu: CPAchecker: A Tool for Configurable Software Verification. CAV 2011: 184-190
48		Sven Apel, Dirk Beyer: Feature cohesion in software product lines: an exploratory study. ICSE 2011: 421-430
47		Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler: Conditional Model Checking CoRR abs/1109.6926: (2011)
46		Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer: Feature-Aware Verification CoRR abs/1110.0021: (2011)
	2010
45		Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey: Shape Refinement through Explicit Heap Analysis. FASE 2010: 263-277
44		Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler: Predicate abstraction with adjustable-block encoding. FMCAD 2010: 189-197
43		Dirk Beyer, Ashgan Fararooy: DepDigger: A Tool for Detecting Complex Low-Level Dependencies. ICPC 2010: 40-41
42		Dirk Beyer, Ashgan Fararooy: CheckDep: A Tool for Tracking Software Dependencies. ICPC 2010: 42-43
41		Dirk Beyer, Ashgan Fararooy: A Simple and Effective Measure for Complex Low-Level Dependencies. ICPC 2010: 80-83
	2009
40		Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software model checking via large-block encoding. FMCAD 2009: 25-32
39		Dirk Beyer, M. Erkan Keremoglu: CPAchecker: A Tool for Configurable Software Verification CoRR abs/0902.0019: (2009)
38		Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software Model Checking via Large-Block Encoding CoRR abs/0904.4709: (2009)
	2008
37		Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38
36		Dirk Beyer, Damien Zufferey, Rupak Majumdar: CSIsat: Interpolation for LA+EUF. CAV 2008: 304-308
35		Dirk Beyer: CCVisu: automatic visual software decomposition. ICSE Companion 2008: 967-968
	2007
34		Dirk Beyer, Thomas A. Henzinger, Vasu Singh: Algorithms for Interface Synthesis. CAV 2007: 4-19
33		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
32		Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia: An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
31		Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
30		Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
29		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
	2006
28		Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. CAV 2006: 532-546
27		Dirk Beyer, Ahmed E. Hassan: Evolution Storyboards: Visualization of Software Structure Dynamics. ICPC 2006: 248-251
26		Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81
25		Dirk Beyer: Relational programming with CrocoPat. ICSE 2006: 807-810
24		Dirk Beyer: Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). MSR 2006: 165-166
23		Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
22		Dirk Beyer, Ahmed E. Hassan: Animated Visualization of Software History using Evolution Storyboards. WCRE 2006: 199-210
	2005
21		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18
20		Dirk Beyer: Co-Change Visualization. ICSM (Industrial and Tool Volume) 2005: 89-92
19		Dirk Beyer, Andreas Noack: Clustering Software Artifacts Based on Frequent Common Changes. IWPC 2005: 259-268
18		Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger: Web service interfaces. WWW 2005: 148-159
17		Dirk Beyer, Andreas Noack, Claus Lewerentz: Efficient Relational Calculation for Software Analysis. IEEE Trans. Software Eng. 31(2): 137-149 (2005)
	2004
16		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
15		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
14		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202
13		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2
12		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
11		Dirk Beyer, Andreas Noack: CrocoPat 2.1 Introduction and Reference Manual CoRR cs.PL/0409009: (2004)
	2003
10		Dirk Beyer, Claus Lewerentz, Andreas Noack: Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. CAV 2003: 122-125
9		Dirk Beyer, Andreas Noack: Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? FORTE 2003: 193-208
8		Dirk Beyer, Claus Lewerentz: CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. IWPC 2003: 294-295
7		Dirk Beyer, Andreas Noack, Claus Lewerentz: Simple and Efficient Relational Querying of Software Structures. WCRE 2003: 216-225
	2001
6		Dirk Beyer: Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. CHARME 2001: 86-91
5		Dirk Beyer: Improvements in BDD-Based Reachability Analysis of Timed Automata. FME 2001: 318-343
	2000
4		Dirk Beyer, Andreas Noack: BDD-basierte Verifikation von Echtzeit-Systemen. FBT 2000: 79-89
3		Dirk Beyer, Claus Lewerentz, Frank Simon: Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems. IWSM 2000: 1-17
	1999
2		Dirk Beyer, Heinrich Rust: Concepts of Cottbus Timed Automata. FBT 1999: 27-34
	1998
1		Dirk Beyer, Heinrich Rust: Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. FBT 1998: 148-159

Coauthor Index

1	Sven Apel	[46] [48] [50]
2	Basil Becker	[26]
3	Arindam Chakrabarti	[18] [32]
4	Adam Chlipala	[12] [13] [14] [16]
5	Alessandro Cimatti	[38] [40]
6	Ashgan Fararooy	[41] [42] [43]
7	Holger Giese	[26]
8	Alberto Griggio	[38] [40]
9	Ahmed E. Hassan	[22] [27]
10	Thomas A. Henzinger	[12] [13] [14] [15] [16] [18] [21] [23] [28] [29] [30] [31] [32] [33] [34] [37] [45] [47]
11	Ranjit Jhala	[12] [13] [14] [15] [16] [21] [29]
12	M. Erkan Keremoglu	[38] [39] [40] [44] [47] [49]
13	Claus Lewerentz	[3] [7] [8] [10] [17]
14	Rupak Majumdar	[12] [13] [14] [15] [16] [21] [29] [30] [31] [36]
15	Andreas Noack	[4] [7] [9] [10] [11] [17] [19]
16	Alexander von Rhein	[46] [50]
17	Heinrich Rust	[1] [2]
18	Andrey Rybalchenko	[30] [31]
19	Daniela Schilling	[26]
20	Roberto Sebastiani	[38] [40]
21	Sanjit A. Seshia	[32]
22	Frank Simon	[3]
23	Vasu Singh	[34]
24	Hendrik Speidel	[46] [50]
25	Florian Stallmann (Florian Klein)	[26]
26	Grégory Théoduloz	[23] [28] [33] [37] [45]
27	Philipp Wendler	[44] [46] [47] [50]
28	Damien Zufferey	[36] [45]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page