Dirk Beyer

Simon Fraser University

other persons with the same name:

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

2009
39	EE	Dirk Beyer, M. Erkan Keremoglu: CPAchecker: A Tool for Configurable Software Verification CoRR abs/0902.0019: (2009)
38	EE	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	EE	Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38
36	EE	Dirk Beyer, Damien Zufferey, Rupak Majumdar: CSIsat: Interpolation for LA+EUF. CAV 2008: 304-308
35	EE	Dirk Beyer: CCVisu: automatic visual software decomposition. ICSE Companion 2008: 967-968
2007
34	EE	Dirk Beyer, Thomas A. Henzinger, Vasu Singh: Algorithms for Interface Synthesis. CAV 2007: 4-19
33	EE	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	EE	Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia: An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
31	EE	Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
30	EE	Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
29	EE	Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
2006
28	EE	Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. CAV 2006: 532-546
27	EE	Dirk Beyer, Ahmed E. Hassan: Evolution Storyboards: Visualization of Software Structure Dynamics. ICPC 2006: 248-251
26	EE	Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81
25	EE	Dirk Beyer: Relational programming with CrocoPat. ICSE 2006: 807-810
24	EE	Dirk Beyer: Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). MSR 2006: 165-166
23	EE	Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
22	EE	Dirk Beyer, Ahmed E. Hassan: Animated Visualization of Software History using Evolution Storyboards. WCRE 2006: 199-210
2005
21	EE	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	EE	Dirk Beyer, Andreas Noack: Clustering Software Artifacts Based on Frequent Common Changes. IWPC 2005: 259-268
18	EE	Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger: Web service interfaces. WWW 2005: 148-159
17	EE	Dirk Beyer, Andreas Noack, Claus Lewerentz: Efficient Relational Calculation for Software Analysis. IEEE Trans. Software Eng. 31(2): 137-149 (2005)
2004
16	EE	Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
15	EE	Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
14	EE	Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202
13	EE	Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2
12	EE	Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
11	EE	Dirk Beyer, Andreas Noack: CrocoPat 2.1 Introduction and Reference Manual CoRR cs.PL/0409009: (2004)
2003
10	EE	Dirk Beyer, Claus Lewerentz, Andreas Noack: Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. CAV 2003: 122-125
9	EE	Dirk Beyer, Andreas Noack: Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? FORTE 2003: 193-208
8	EE	Dirk Beyer, Claus Lewerentz: CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. IWPC 2003: 294-295
7	EE	Dirk Beyer, Andreas Noack, Claus Lewerentz: Simple and Efficient Relational Querying of Software Structures. WCRE 2003: 216-225
2001
6	EE	Dirk Beyer: Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. CHARME 2001: 86-91
5	EE	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	EE	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	Basil Becker	[26]
2	Arindam Chakrabarti	[18] [32]
3	Adam J. Chlipala	[12] [13] [14] [16]
4	Alessandro Cimatti	[38]
5	Holger Giese	[26]
6	Alberto Griggio	[38]
7	Ahmed E. Hassan	[22] [27]
8	Thomas A. Henzinger	[12] [13] [14] [15] [16] [18] [21] [23] [28] [29] [30] [31] [32] [33] [34] [37]
9	Ranjit Jhala	[12] [13] [14] [15] [16] [21] [29]
10	M. Erkan Keremoglu	[38] [39]
11	Florian Klein	[26]
12	Claus Lewerentz	[3] [7] [8] [10] [17]
13	Rupak Majumdar	[12] [13] [14] [15] [16] [21] [29] [30] [31] [36]
14	Andreas Noack	[4] [7] [9] [10] [11] [17] [19]
15	Heinrich Rust	[1] [2]
16	Andrey Rybalchenko	[30] [31]
17	Daniela Schilling	[26]
18	Roberto Sebastiani	[38]
19	Sanjit A. Seshia	[32]
20	Frank Simon	[3]
21	Vasu Singh	[34]
22	Grégory Théoduloz	[23] [28] [33] [37]
23	Damien Zufferey	[36]

Colors in the list of coauthors