2009 |
10 | EE | Ralf Wimmer,
Bettina Braitling,
Bernd Becker:
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.
VMCAI 2009: 366-380 |
9 | EE | Eckard Böde,
Marc Herbstritt,
Holger Hermanns,
Sven Johr,
Thomas Peikenkamp,
Reza Pulungan,
Jan Rakow,
Ralf Wimmer,
Bernd Becker:
Compositional Dependability Evaluation for STATEMATE.
IEEE Trans. Software Eng. 35(2): 274-292 (2009) |
2008 |
8 | EE | Ralf Wimmer,
Alexander Kortus,
Marc Herbstritt,
Bernd Becker:
Probabilistic Model Checking and Reliability of Results.
DDECS 2008: 207-212 |
7 | EE | Bernd Becker,
Marc Herbstritt,
Natalia Kalinnik,
Matthew D. T. Lewis,
Juri Lichtner,
Tobias Nopper,
Ralf Wimmer:
Propositional approximations for bounded model checking of partial circuit designs.
ICCD 2008: 52-59 |
6 | EE | Ralf Wimmer,
Salem Derisavi,
Holger Hermanns:
Symbolic Partition Refinement with Dynamic Balancing of Time and Space.
QEST 2008: 65-74 |
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 |