| 2007 |
|---|
| 5 | EE | Ralf Wimmer,
Marc Herbstritt,
Bernd Becker:
Optimization techniques for BDD-based bisimulation computation.
ACM Great Lakes Symposium on VLSI 2007: 405-410 |
| 2006 |
|---|
| 4 | EE | Ralf Wimmer,
Marc Herbstritt,
Holger Hermanns,
Kelley Strampp,
Bernd Becker:
Sigref- A Symbolic Bisimulation Tool Box.
ATVA 2006: 477-492 |
| 3 | | Ralf Wimmer,
Marc Herbstritt,
Bernd Becker:
Minimization of Large State Spaces using Symbolic Branching Bisimulation.
DDECS 2006: 9-14 |
| 2 | EE | Eckard Böde,
Marc Herbstritt,
Holger Hermanns,
Sven Johr,
Thomas Peikenkamp,
Reza Pulungan,
Ralf Wimmer,
Bernd Becker:
Compositional Performability Evaluation for STATEMATE.
QEST 2006: 167-178 |
| 2005 |
|---|
| 1 | EE | Bernd Becker,
Markus Behle,
Friedrich Eisenbrand,
Ralf Wimmer:
BDDs in a Branch and Cut Framework.
WEA 2005: 452-463 |
