The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dirk Beyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
    Lazy Shape Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:532-546 [Conf]
  2. 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]
  3. Dirk Beyer
    Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:86-91 [Conf]
  4. 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]
  5. Dirk Beyer, Andreas Noack
    BDD-basierte Verifikation von Echtzeit-Systemen. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:79-89 [Conf]
  6. 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]
  7. Dirk Beyer, Heinrich Rust
    Concepts of Cottbus Timed Automata. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:27-34 [Conf]
  8. Dirk Beyer
    Improvements in BDD-Based Reachability Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:318-343 [Conf]
  9. 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]
  10. 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]
  11. Dirk Beyer
    Relational programming with CrocoPat. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:807-810 [Conf]
  12. 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]
  13. Dirk Beyer
    Co-Change Visualization. [Citation Graph (0, 0)][DBLP]
    ICSM (Industrial and Tool Volume), 2005, pp:89-92 [Conf]
  14. 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]
  15. Dirk Beyer, Claus Lewerentz
    CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    IWPC, 2003, pp:294-295 [Conf]
  16. Dirk Beyer, Andreas Noack
    Clustering Software Artifacts Based on Frequent Common Changes. [Citation Graph (0, 0)][DBLP]
    IWPC, 2005, pp:259-268 [Conf]
  17. Dirk Beyer, Ahmed E. Hassan
    Evolution Storyboards: Visualization of Software Structure Dynamics. [Citation Graph (0, 0)][DBLP]
    ICPC, 2006, pp:248-251 [Conf]
  18. 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]
  19. Dirk Beyer
    Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). [Citation Graph (0, 0)][DBLP]
    MSR, 2006, pp:165-166 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Dirk Beyer, Ahmed E. Hassan
    Animated Visualization of Software History using Evolution Storyboards. [Citation Graph (0, 0)][DBLP]
    WCRE, 2006, pp:199-210 [Conf]
  25. Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger
    Web service interfaces. [Citation Graph (0, 0)][DBLP]
    WWW, 2005, pp:148-159 [Conf]
  26. Dirk Beyer, Andreas Noack
    CrocoPat 2.1 Introduction and Reference Manual [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  27. 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]
  28. 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]
  29. Dirk Beyer, Thomas A. Henzinger, Vasu Singh
    Algorithms for Interface Synthesis. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:4-19 [Conf]
  30. 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]
  31. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
    Path invariants. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:300-309 [Conf]

  32. CSIsat: Interpolation for LA+EUF. [Citation Graph (, )][DBLP]


  33. Lazy Shape Analysis. [Citation Graph (, )][DBLP]


  34. Shape Refinement through Explicit Heap Analysis. [Citation Graph (, )][DBLP]


  35. Software model checking via large-block encoding. [Citation Graph (, )][DBLP]


  36. CCVisu: automatic visual software decomposition. [Citation Graph (, )][DBLP]


  37. A Simple and Effective Measure for Complex Low-Level Dependencies. [Citation Graph (, )][DBLP]


  38. DepDigger: A Tool for Detecting Complex Low-Level Dependencies. [Citation Graph (, )][DBLP]


  39. CheckDep: A Tool for Tracking Software Dependencies. [Citation Graph (, )][DBLP]


  40. Program Analysis with Dynamic Precision Adjustment. [Citation Graph (, )][DBLP]


  41. Invariant Synthesis for Combined Theories. [Citation Graph (, )][DBLP]


  42. CPAchecker: A Tool for Configurable Software Verification [Citation Graph (, )][DBLP]


  43. Software Model Checking via Large-Block Encoding [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002