|
Search the dblp DataBase
Dirk Beyer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
Lazy Shape Analysis. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:532-546 [Conf]
- Dirk Beyer, Claus Lewerentz, Andreas Noack
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:122-125 [Conf]
- Dirk Beyer
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. [Citation Graph (0, 0)][DBLP] CHARME, 2001, pp:86-91 [Conf]
- Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Checking Memory Safety with Blast. [Citation Graph (0, 0)][DBLP] FASE, 2005, pp:2-18 [Conf]
- Dirk Beyer, Andreas Noack
BDD-basierte Verifikation von Echtzeit-Systemen. [Citation Graph (0, 0)][DBLP] FBT, 2000, pp:79-89 [Conf]
- Dirk Beyer, Heinrich Rust
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. [Citation Graph (0, 0)][DBLP] FBT, 1998, pp:148-159 [Conf]
- Dirk Beyer, Heinrich Rust
Concepts of Cottbus Timed Automata. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:27-34 [Conf]
- Dirk Beyer
Improvements in BDD-Based Reachability Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP] FME, 2001, pp:318-343 [Conf]
- Dirk Beyer, Andreas Noack
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? [Citation Graph (0, 0)][DBLP] FORTE, 2003, pp:193-208 [Conf]
- Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling
Symbolic invariant verification for systems with dynamic structural adaptation. [Citation Graph (0, 0)][DBLP] ICSE, 2006, pp:72-81 [Conf]
- Dirk Beyer
Relational programming with CrocoPat. [Citation Graph (0, 0)][DBLP] ICSE, 2006, pp:807-810 [Conf]
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Generating Tests from Counterexamples. [Citation Graph (0, 0)][DBLP] ICSE, 2004, pp:326-335 [Conf]
- Dirk Beyer
Co-Change Visualization. [Citation Graph (0, 0)][DBLP] ICSM (Industrial and Tool Volume), 2005, pp:89-92 [Conf]
- Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
An Eclipse Plug-in for Model Checking. [Citation Graph (0, 0)][DBLP] IWPC, 2004, pp:251-255 [Conf]
- Dirk Beyer, Claus Lewerentz
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. [Citation Graph (0, 0)][DBLP] IWPC, 2003, pp:294-295 [Conf]
- Dirk Beyer, Andreas Noack
Clustering Software Artifacts Based on Frequent Common Changes. [Citation Graph (0, 0)][DBLP] IWPC, 2005, pp:259-268 [Conf]
- Dirk Beyer, Ahmed E. Hassan
Evolution Storyboards: Visualization of Software Structure Dynamics. [Citation Graph (0, 0)][DBLP] ICPC, 2006, pp:248-251 [Conf]
- Dirk Beyer, Claus Lewerentz, Frank Simon
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems. [Citation Graph (0, 0)][DBLP] IWSM, 2000, pp:1-17 [Conf]
- Dirk Beyer
Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). [Citation Graph (0, 0)][DBLP] MSR, 2006, pp:165-166 [Conf]
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP] PEPM, 2004, pp:201-202 [Conf]
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP] PPDP, 2004, pp:1-2 [Conf]
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
The Blast Query Language for Software Verification.. [Citation Graph (0, 0)][DBLP] SAS, 2004, pp:2-18 [Conf]
- Dirk Beyer, Andreas Noack, Claus Lewerentz
Simple and Efficient Relational Querying of Software Structures. [Citation Graph (0, 0)][DBLP] WCRE, 2003, pp:216-225 [Conf]
- Dirk Beyer, Ahmed E. Hassan
Animated Visualization of Software History using Evolution Storyboards. [Citation Graph (0, 0)][DBLP] WCRE, 2006, pp:199-210 [Conf]
- Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger
Web service interfaces. [Citation Graph (0, 0)][DBLP] WWW, 2005, pp:148-159 [Conf]
- Dirk Beyer, Andreas Noack
CrocoPat 2.1 Introduction and Reference Manual [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Dirk Beyer, Andreas Noack, Claus Lewerentz
Efficient Relational Calculation for Software Analysis. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2005, v:31, n:2, pp:137-149 [Journal]
- Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:504-518 [Conf]
- Dirk Beyer, Thomas A. Henzinger, Vasu Singh
Algorithms for Interface Synthesis. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:4-19 [Conf]
- Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia
An Application ofWeb-Service Interfaces. [Citation Graph (0, 0)][DBLP] ICWS, 2007, pp:831-838 [Conf]
- Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
Path invariants. [Citation Graph (0, 0)][DBLP] PLDI, 2007, pp:300-309 [Conf]
CSIsat: Interpolation for LA+EUF. [Citation Graph (, )][DBLP]
Lazy Shape Analysis. [Citation Graph (, )][DBLP]
Shape Refinement through Explicit Heap Analysis. [Citation Graph (, )][DBLP]
Software model checking via large-block encoding. [Citation Graph (, )][DBLP]
CCVisu: automatic visual software decomposition. [Citation Graph (, )][DBLP]
A Simple and Effective Measure for Complex Low-Level Dependencies. [Citation Graph (, )][DBLP]
DepDigger: A Tool for Detecting Complex Low-Level Dependencies. [Citation Graph (, )][DBLP]
CheckDep: A Tool for Tracking Software Dependencies. [Citation Graph (, )][DBLP]
Program Analysis with Dynamic Precision Adjustment. [Citation Graph (, )][DBLP]
Invariant Synthesis for Combined Theories. [Citation Graph (, )][DBLP]
CPAchecker: A Tool for Configurable Software Verification [Citation Graph (, )][DBLP]
Software Model Checking via Large-Block Encoding [Citation Graph (, )][DBLP]
Search in 0.020secs, Finished in 0.023secs
|