Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dirk Beyer" ( http://dblp.L3S.de/Authors/Dirk_Beyer )

URL (Homepage):  http://www.sosy-lab.org/~dbeyer/  Author page on DBLP  Author page in RDF  Community of Dirk Beyer in ASPL-2

Publication years (Num. hits)
1998-2004 (16) 2005-2007 (18) 2008-2011 (16) 2012 (1)
Publication types (Num. hits)
article(7) inproceedings(44)
Venues (Conferences, Journals, ...)
CAV(6) CoRR(5) ICPC(4) ICSE(4) FBT(3) IWPC(3) ASE(2) FASE(2) FMCAD(2) WCRE(2) CHARME(1) FME(1) FORTE(1) ICSE Companion(1) ICSM (Industrial and Tool Volu...(1) ICWS(1) More (+10 of total 28)
Authors
Dirk Beyer(51) Thomas A. Henzinger(18) Rupak Majumdar(10) Andreas Noack(7) Ranjit Jhala(7) M. Erkan Keremoglu(6) Claus Lewerentz(5) Grégory Théoduloz(5) Adam Chlipala(4) Philipp Wendler(4) Ashgan Fararooy(3) Sven Apel(3) Ahmed E. Hassan(2) Alberto Griggio(2) Alessandro Cimatti(2) Alexander von Rhein(2) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 55 occurrences of 39 keywords
Results
Found 51 publication records. Showing 51 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Dirk Beyer Competition on Software Verification - (SV-COMP). Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer Feature-Aware Verification Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler Conditional Model Checking Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer Detection of feature interactions using feature-aware verification. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, M. Erkan Keremoglu CPAchecker: A Tool for Configurable Software Verification. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sven Apel, Dirk Beyer Feature cohesion in software product lines: an exploratory study. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler Predicate abstraction with adjustable-block encoding. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey Shape Refinement through Explicit Heap Analysis. Search on Bibsonomy FASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Ashgan Fararooy DepDigger: A Tool for Detecting Complex Low-Level Dependencies. Search on Bibsonomy ICPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Refactoring, Program Understanding, Dependency Analysis, Software Structure
1Dirk Beyer, Ashgan Fararooy A Simple and Effective Measure for Complex Low-Level Dependencies. Search on Bibsonomy ICPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Ashgan Fararooy CheckDep: A Tool for Tracking Software Dependencies. Search on Bibsonomy ICPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani Software Model Checking via Large-Block Encoding Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Dirk Beyer, M. Erkan Keremoglu CPAchecker: A Tool for Configurable Software Verification Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani Software model checking via large-block encoding. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz Program Analysis with Dynamic Precision Adjustment. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Damien Zufferey, Rupak Majumdar CSIsat: Interpolation for LA+EUF. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dirk Beyer CCVisu: automatic visual software decomposition. Search on Bibsonomy ICSE Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF force-directed graph layout, clustering, reverse engineering, software visualization, software quality assurance, software decomposition
1Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar The software model checker Blast. Search on Bibsonomy STTT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model checking, Software verification, Test-case generation, Software specification, Memory safety
1Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko Path invariants. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement
1Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Thomas A. Henzinger, Vasu Singh Algorithms for Interface Synthesis. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko Invariant Synthesis for Combined Theories. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia An Application ofWeb-Service Interfaces. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz Lazy Shape Analysis. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
1Dirk Beyer, Ahmed E. Hassan Animated Visualization of Software History using Evolution Storyboards. Search on Bibsonomy WCRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Ahmed E. Hassan Evolution Storyboards: Visualization of Software Structure Dynamics. Search on Bibsonomy ICPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software structure analysis, force-directed graph layout, Software evolution, software visualization, reengineering, dependency analysis, software clustering
1Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz Lazy Shape Analysis. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dirk Beyer Relational programming with CrocoPat. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pattern matching, relational algebra, BDD, transitive closure, graph models, software analysis, predicate logic
1Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling Symbolic invariant verification for systems with dynamic structural adaptation. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF gormal verification, hraph transformation systems, structural invariants, transition invariants, embedded systems, mechatronics, symbolic algorithms
1Dirk Beyer Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). Search on Bibsonomy MSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF force-directed graph layout, software structure analysis, software visualization, software clustering
1Dirk Beyer, Andreas Noack, Claus Lewerentz Efficient Relational Calculation for Software Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data structures, reverse engineering, Logic programming, graph algorithms, reengineering
1Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger Web service interfaces. Search on Bibsonomy WWW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Web service compatibility, Web service interfaces, Web service substitutivity, Web services, formal specification, formal verification
1Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar Checking Memory Safety with Blast. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Andreas Noack Clustering Software Artifacts Based on Frequent Common Changes. Search on Bibsonomy IWPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dirk Beyer Co-Change Visualization. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
1Dirk Beyer, Andreas Noack CrocoPat 2.1 Introduction and Reference Manual Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar Invited talk: the blast query language for software verification. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software verification, software specification
1Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar An Eclipse Plug-in for Model Checking. Search on Bibsonomy IWPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar Invited talk: the blast query language for software verification. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software verification, software specification
1Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar The Blast Query Language for Software Verification.. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar Generating Tests from Counterexamples. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Andreas Noack Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? Search on Bibsonomy FORTE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Andreas Noack, Claus Lewerentz Simple and Efficient Relational Querying of Software Structures. Search on Bibsonomy WCRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Claus Lewerentz CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. (PDF / PS) Search on Bibsonomy IWPC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Claus Lewerentz, Andreas Noack Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Dirk Beyer Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. Search on Bibsonomy CHARME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Real-time systems, Formal verification, Timed Automata
1Dirk Beyer Improvements in BDD-Based Reachability Analysis of Timed Automata. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Real-time systems, Formal verification, Timed automata, BDDs, Discretization
1Dirk Beyer, Claus Lewerentz, Frank Simon Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems. Search on Bibsonomy IWSM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dirk Beyer, Andreas Noack BDD-basierte Verifikation von Echtzeit-Systemen. Search on Bibsonomy FBT The full citation details ... 2000 DBLP  BibTeX  RDF
1Dirk Beyer, Heinrich Rust Concepts of Cottbus Timed Automata. Search on Bibsonomy FBT The full citation details ... 1999 DBLP  BibTeX  RDF
1Dirk Beyer, Heinrich Rust Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. Search on Bibsonomy FBT The full citation details ... 1998 DBLP  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.