The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ralf Wimmer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  6. A Model Checker for AADL. [Citation Graph (, )][DBLP]


  7. Probabilistic Model Checking and Reliability of Results. [Citation Graph (, )][DBLP]


  8. Propositional approximations for bounded model checking of partial circuit designs. [Citation Graph (, )][DBLP]


  9. Correctness Issues of Symbolic Bisimulation Computation for Markov Chains. [Citation Graph (, )][DBLP]


  10. Picoso - A Parallel Interval Constraint Solver. [Citation Graph (, )][DBLP]


  11. Symbolic Partition Refinement with Dynamic Balancing of Time and Space. [Citation Graph (, )][DBLP]


  12. Dependability Engineering of Silent Self-stabilizing Systems. [Citation Graph (, )][DBLP]


  13. Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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