Searching for authors named "Dirk Beyer" – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
Improvements in BDD-based Reachability Analysis of Timed Automata
- …Improvements in BDD-Based Reachability Analysis of Timed Automata Dirk Beyer Software Systems…
- Cited by 16 (6 self) – Add To MetaCart
-
Efficient reachability analysis and refinement checking of timed automata using BDDs
- …Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs Dirk Beyer…
- Cited by 6 (5 self) – Add To MetaCart
-
Co-Change Visualization
- … Beyer EPFL, Lausanne, Switzerland dirk.beyer@(email omitted); 89 Co-Change Graph. First, the tool CCVISU…
- Cited by 6 (3 self) – Add To MetaCart
-
Rabbit: Verification of Real-Time Systems
- …Rabbit: Verification of Real-Time Systems Dirk Beyer Software Systems Engineering Research Group…
- Cited by 2 (2 self) – Add To MetaCart
-
Animated Visualization of Software History using Evolution Storyboards
- …Animated Visualization of Software History using Evolution Storyboards Dirk Beyer ∗ EPFL…
- Cited by 1 (0 self) – Add To MetaCart
-
Relational Programming with CrocoPat
- … by the author/owner. ICSE’06, May 20–28, 2006, Shanghai, China. ACM 1-59593-085-X/06/0005. Dirk Beyer School…
- Cited by 7 (0 self) – Add To MetaCart
-
Co-Change Visualization Applied to PostgreSQL and ArgoUML
- …–23, 2006, Shanghai, China. ACM 1-59593-085-X/06/0005. (MSR Challenge Report) Dirk Beyer EPFL, Switzerland…
- Add To MetaCart
-
Cottbus Timed Automata: Formal Definition and Semantics
- …Cottbus Timed Automata: Formal Definition and Semantics Dirk Beyer and Heinrich Rust Software…
- Cited by 4 (4 self) – Add To MetaCart
-
CrocoPat 2.1 Introduction and Reference Manual
- …CrocoPat 2.1 Introduction and Reference Manual Dirk Beyer Andreas Noack Report No. UCB//CSD-04…
- Cited by 3 (1 self) – Add To MetaCart
-
CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs
- …CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs ⋆ Dirk Beyer…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
